★
xdg-ninja 是用 Haskell 编写的命令行工具，在终端中直接使用。
A shell script which checks your $HOME for unwanted files and directories.
idris-lang / Idris-dev
Idris-dev
A Dependently Typed Functional Programming Language
Idris-dev 是用 Haskell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
目前累计 3.5k star、630 fork，主要语言为 Haskell，项目始于 2011 年，采用 NOASSERTION 许可。最近状态：已有一段时间未更新。适合：正在做技术选型的开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。idris-lang/Idris-dev 是一个以 Haskell 为主的开源项目，目前累计 3.5k star、630 fork，一年以上有维护。项目未标注主题标签。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。无主题标签
README
正在加载…相关项目
★
xmonad 是用 Haskell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途，主打轻量。
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
★
ghc 是用 Haskell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time c…
★
cardano-sl 是用 Haskell 编写的区块链项目，面向链上应用开发。
Cryptographic currency implementing Ouroboros PoS protocol
★
Kind 是用 Haskell 编写的开源项目，主题标签有限，建议打开仓库查看具体用途，主打现代化。
A modern proof language
★