★
agda 是用 Haskell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
Agda is a dependently typed programming language / interactive theorem prover.
Kind 是用 Haskell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途，主打现代化。
目前累计 3.8k star、152 fork，主要语言为 Haskell，项目始于 2018 年，采用 MIT 许可。最近状态：已有一段时间未更新。适合：正在做技术选型的开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。HigherOrderCO/Kind 是一个以 Haskell 为主的开源项目，目前累计 3.8k star、152 fork，一年以上有维护。主要方向：dependent-types、formality、functional-programming、lambda-calculus、moonad、proof-language。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。dependent-typesformalityfunctional-programminglambda-calculusmoonadproof-languageproof-languagestheorem-provertype-theory
README
正在加载…相关项目
★
wiwinwlh 是用 Haskell 编写的学习资料，用于系统学习与查阅。
What I Wish I Knew When Learning Haskell
★
eta 是用 Haskell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
The Eta Programming Language, a dialect of Haskell on the JVM
★
Carp 是用 Haskell 编写的游戏开发项目，用于游戏与引擎开发，主打实时。
A statically typed lisp, without a GC, for real-time applications.
★
course-plan 是用 Haskell 编写的学习资料，用于系统学习与查阅。
📜 Haskell course info, plan, video lectures, slides
★
gifcurry 是用 Haskell 编写的代码库，提供可直接复用的能力，主打开源免费。
😎 The open-source, Haskell-built video editor for GIF makers.