Haskell ecosystem

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

Haskell ecosystem

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
Elm语言 Elm Compiler
PureScript A small strongly, statically typed language which compiles to JavaScript
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

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

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 软件事务内存（Software Transactional Memory,STM）是一种比较理想的解决并发程序的解决方案。
Cloud_Haskell（CH）与 Erlang 类似,都采用 Actor 模型作为其默认的并发模型。
Distributed Haskell
A Cloud Haskell Appetiser (Parallel Haskell Digest 11)
stm-actor An implementation of the actor model in Haskell using STM
drama Actor library for Haskell 更多 Actor 开源项目

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

@@ 第4行： / 第4行： @@
 *[https://github.com/fpco FP Complete]
-==编译器解释器==
+==语言编译器==
 *[https://github.com/sdiehl/kaleidoscope Haskell LLVM JIT Compiler Tutorial] [https://www.stephendiehl.com/llvm/ Implementing a JIT Compiled Language with Haskell and LLVM]
 *[https://github.com/tweag/asterius Asterius] A Haskell to [[WebAssembly]] [[compiler]]
@@ 第10行： / 第10行： @@
 *[http://elm-lang.org/ Elm语言] [https://github.com/elm/compiler Elm Compiler]
 *[https://github.com/purescript PureScript] A small strongly, statically typed language which compiles to [[JavaScript]]
-==语言类==
 *[https://github.com/agda/agda Agda] is a dependently typed programming language / interactive theorem prover.
 *[https://github.com/idris-lang Idris] A Language for Type-Driven Development