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