欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Haskell ecosystem
来自开放百科 - 灰狐
(版本间的差异)
小 (→桌面应用) |
小 (→桌面应用) |
||
第7行: | 第7行: | ||
==桌面应用== | ==桌面应用== | ||
− | *[https://github.com/lamdu/lamdu lamdu] towards the next generation [[IDE]] | + | *[https://github.com/lamdu/lamdu lamdu] towards the next generation [[IDE]] |
+ | *[https://github.com/serokell/foundry Morte IDE] | ||
==图形GUI== | ==图形GUI== |
2021年12月5日 (日) 04:12的版本
Haskell ecosystem
目录 |
编译器解释器
语言类
桌面应用
图形GUI
Web应用
游戏
- Barbarossa - a chess engine written completely in Haskell
图集
链接
分享您的观点