Haskell ecosystem

2021年12月5日 (日) 10:22的版本

Haskell ecosystem

编译器解释器

• llvm-hs Haskell bindings for LLVM

语言类

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

桌面IDE

• lamdu towards the next generation IDE
• Morte IDE
• Leksah Haskell IDE

图形GUI

• wxHaskell

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

区块链

• Input Output Cardano Foundation
• Well-Typed

图集

• 

  GHC实时系统

链接