欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Haskell Desktop Foundation
来自开放百科 - 灰狐
Haskell Desktop Foundation
目录 |
简介
Functional Desktop/IDE/Editor Stack, powered by Haskell and GTK.
功能
指南
应用
- 桌面生产力工具
- 2D, 3D 图形和模型构建
- 数据可视化
项目
- XMonad
- Leksah Haskell IDE
- Yi The Haskell-Scriptable Editor
- Haskell IDE Engine (HIE) 已存档
- Haskell Language Server (LSP)
- Gtk2Hs
- haskell-gi
- Xiphos using GTK and Scheme.
- gi-gtk-declarative Haskell 声明式 GTK+ 编程
图集
链接
分享您的观点
