Haskell ecosystem

2021年12月6日 (一) 11:09的版本

Haskell ecosystem

用户服务商

• FP Complete

编译器解释器

• Haskell LLVM JIT Compiler Tutorial Implementing a JIT Compiled Language with Haskell and LLVM
• Asterius A Haskell to WebAssembly compiler
• 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
• Perl6::Pugs - A Perl 6 Implementation, Perl 6 的 Haskell 实现 Pugs

桌面IDE

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

图形GUI

• XMonad A dynamically tiling X11 window manager that is written and configured in Haskell.
• wxHaskell

Web应用

• IHP is a modern batteries-included haskell web framework, built on top of Haskell and Nix
• Yesod Web Framework
• Snap A Haskell Web Framework
• hakyll A static website compiler library in Haskell

并发并行

Concurrent and Parallel Programming

云计算

Cloud Haskell Haskell 提供了一个消息传递的通信模型，受 Erlang 启发，与之非常相似。

• Distributed Haskell

游戏

• 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 Adrestia Project
• Well-Typed

图集

• 

  GHC实时系统

• 

  Cardano Node

• 

  Cardano架构

• 

  静态网站生成器

• 

  Actor和Thread

链接