搜索结果:haskell(7 个)
按分类缩小范围
compiler
综合 58
〔中文简介暂未生成〕 Compiler for Elm, a functional language for reliable webapps.
Carp
综合 57
〔中文简介暂未生成〕 A statically typed lisp, without a GC, for real-time applications.
stack
综合 54
〔中文简介暂未生成〕 The Haskell Tool Stack
rzk
综合 53
〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.
ArkhamHorror
综合 53
〔中文简介暂未生成〕 An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.
onyx
综合 48
〔中文简介暂未生成〕 Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games
swarm
综合 46
〔中文简介暂未生成〕 Resource gathering + programming game