Haskell ecosystem

来自开放百科 - 灰狐
2021年12月5日 (日) 11:27Allen (讨论 | 贡献)的版本

跳转到: 导航, 搜索

Haskell ecosystem

目录

编译器解释器

语言类

  • Agda is a dependently typed programming language / interactive theorem prover.
  • Idris A Language for Type-Driven Development
  • ForSyDe Haskell-embedded Domain Specific Language

桌面IDE

图形GUI

Web应用

游戏

  • Haskanoid A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.
  • Frag is a 3D first person shooting game written in Haskell
  • Barbarossa - a chess engine written completely in Haskell
  • hadoom A little Doom-like 2.5 game engine
  • Hedgewars A turn-based artillery game, The game server is written in Haskell.
  • Lazy Lambda a Flappy Bird clone in Haskell with SpriteKit
  • Lambda-Heights A fast paced arcade game

区块链

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱