★
lamdu 是用 Haskell 编写的编辑器工具，用于代码与文本编辑。
lamdu - towards the next generation IDE
plutus 是用 Haskell 编写的区块链项目，面向链上应用开发。
目前累计 1.6k star、507 fork，主要语言为 Haskell，项目始于 2016 年，采用 Apache-2.0 许可。最近状态：近一个月有提交。适合：链上应用开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。IntersectMBO/plutus 是一个以 Haskell 为主的开源项目，目前累计 1.6k star、507 fork，近 30 天内有提交。主要方向：区块链、programming-language、smart-contracts。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。README
正在加载…相关项目
★
plutus-pioneer-program 是用 Haskell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit…
★
kitten 是用 Haskell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
A statically typed concatenative systems programming language.
★
agda 是用 Haskell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
Agda is a dependently typed programming language / interactive theorem prover.
★
echidna 是用 Haskell 编写的区块链项目，面向链上应用开发。
Ethereum smart contract fuzzer
★
unison 是用 Haskell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
A friendly programming language from the future