Haskell repositories
The top 500 Haskell repositories, ranked by stars
Last updated
| Rank | Repository | Stars |
|---|---|---|
| 401 | A curated list of awesome things related to Haskell. | 292 |
| 401 | Improve your shell by making it functional through Haskell! (An update to Awkward) | 292 |
| 401 | Simple shell like scripting from Haskell | 292 |
| 404 | The CLI task manager for power users | 291 |
| 405 | Declarative GTK+ programming in Haskell | 289 |
| 406 | The next generation esoteric language | 286 |
| 407 | Process Monitoring/Management, Like Daemontools | 285 |
| 407 | A web interface for monitoring and controlling Philips Hue lights | 285 |
| 409 | Introductory Haskell course materials (originally CIS 194 @ UPenn) | 284 |
| 409 | Unix core utilities implemented in Haskell | 284 |
| 409 | ⚡Haskell runtime for AWS Lambda | 284 |
| 412 | Haskell Koans for the Vancouver's Haskell UnMeetup | 283 |
| 412 | A strict, impure, curried, partially applied programming language with rather peculiar syntax. | 283 |
| 412 | Smart contract specification language | 283 |
| 415 | 💻 Exercises for the Haskell Beginners 2022 course | 281 |
| 416 | A demo web browser engine written in Haskell | 279 |
| 417 | A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support. | 278 |
| 417 | Dependent type checker using normalisation by evaluation | 278 |
| 419 | A DSL for embedded hard realtime applications. | 277 |
| 419 | Fast image IO and transformations. | 277 |
| 419 | Relational programming in Haskell. Mostly developed on twitch. | 277 |
| 422 | A modern tool for literate programming | 276 |
| 423 | Runtime Haskell interpreter | 275 |
| 424 | учебник по Haskell | 274 |
| 424 | A simple library for reporting compiler/interpreter errors | 274 |
| 426 | Equational laws for free | 272 |
| 426 | Simply Reactive! Declarative orchestration in Haskell using RDP | 272 |
| 426 | A Haskell implementation of the Tor protocol. | 272 |
| 426 | A fast, safe, and intuitive DataFrame library. | 272 |
| 430 | A Haskell CheatSheet in PDF and literate source formats. | 270 |
| 430 | SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. | 270 |
| 430 | Ваша первая книга о языке Haskell | 270 |
| 430 | Examples to accompany the book "Haskell in Depth" | 270 |
| 430 | Where Lions Roam: RISC-V on the VELDT | 270 |
| 435 | Neovim API for Haskell plugins as well as the plugin provider | 268 |
| 436 | Web app deployment manager | 264 |
| 437 | 📓 Flexible and configurable modern #Haskell logging framework | 263 |
| 437 | REWE delivery CLI | 263 |
| 439 | Bridge from Ruby to Haskell | 262 |
| 439 | Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. | 262 |
| 439 | Live recompiler for Haskell | 262 |
| 442 | pretty-printer for Haskell data types that have a Show instance | 260 |
| 442 | Render and include figures in Pandoc documents using your plotting toolkit of choice | 260 |
| 444 | OAuth credential Manager | 259 |
| 445 | Open source binary analysis tools. | 258 |
| 446 | Classic Algorithm W for type inference. | 257 |
| 446 | A programming language that runs in Haskell's type system. | 257 |
| 448 | Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput | 256 |
| 449 | PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts... | 255 |
| 450 | A blazingly fast HTML combinator library for Haskell. | 252 |
