An automatic prover of termination of logic programs and narrowing
Top Haskell GitHub Repositories & Open Source Projects (2026)
Top open source software built primarily with Haskell, ranked by star growth and community adoption.
A compiler for C-Minus written in Haskell that targets an architecture called TM. I wrote this for a Compilers course. It could stand to be refactored in a few places, but overall I'm pretty proud of it.
Haskell bindings for TagLib (so you can read and write id3 tags)
A Haskell library for generating new names without threading state.
A pure Haskell interface to the Tokyo Tyrant database server via its binary protocol
husky is a command line shell for UNIX-like OS written in haskell.
Haskell leap second table with leap seconds announced at library release time.
A link between Happstack and FastCGI
Simple Haskell model of context semantics
Extensible, typed, scanf- and printf-like functions for formatted reading and showing in Haskell