Haskell repositories
The top 500 Haskell repositories, ranked by stars
Last updated
| Rank | Repository | Stars |
|---|---|---|
| 151 | Algebraic graphs | 763 |
| 152 | SystemVerilog to Verilog conversion | 762 |
| 153 | Bundle of all core development tools for Elm | 756 |
| 154 | Cloud Haskell core libraries | 755 |
| 155 | A statically-typed linear functional language with graded modal types for fine-grained program reasoning | 746 |
| 155 | a small .pdf management tool with a command-line UI | 746 |
| 157 | Cgrep: a context-aware grep for source codes | 743 |
| 158 | A visual Haskell | 736 |
| 159 | 🌀 Safe, performant, user-friendly and lightweight Haskell standard library | 735 |
| 160 | HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications. | 723 |
| 161 | The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) | 721 |
| 162 | A gtk based status bar for tiling window managers such as XMonad | 711 |
| 162 | A DSL for deep neural networks, supporting Caffe and Torch | 711 |
| 164 | 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects | 710 |
| 165 | Release with confidence, state-of-the-art property testing for Haskell. | 701 |
| 166 | Wakatime server implementation & analytics dashboard | 688 |
| 167 | haskell source code formatter | 684 |
| 168 | Another Haskell web framework for rapid development | 677 |
| 169 | A fast, flexible, fused effect system for Haskell | 676 |
| 170 | An easy to use, cross platform, GUI library for writing Haskell applications. | 671 |
| 171 | hpack: A modern format for Haskell packages | 669 |
| 172 | Happy Haskell Hacking for editors. DEPRECATED | 666 |
| 173 | A little course to learn about some of the more obscure GHC extensions. | 664 |
| 174 | Modern and extensible testing framework for Haskell | 663 |
| 175 | Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at | 662 |
| 176 | Accompanying Source Code for the Haskell Data Analysis Cookbook | 657 |
| 177 | Course materials for Stanford CS240h, "Functional Systems in Haskell" | 650 |
| 178 | A native compiler backend for PureScript (via C++ or Golang) | 644 |
| 179 | A type-safe Haskell SQL library | 637 |
| 180 | A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading,... | 634 |
| 181 | A demo implementation of a simple dependently-typed language | 632 |
| 182 | Applied Functional Programming Course - Move from exercises to a working app! | 629 |
| 183 | Slides and other materials for functional programming lectures ITMO university | 628 |
| 183 | Updating nixpkgs packages since 2018 | 628 |
| 185 | Extremely modular text editor built in Haskell | 626 |
| 186 | A multi-syntax functional programming language that compiles to WebAssembly. | 624 |
| 186 | A prompt engineering functional programming language | 624 |
| 188 | 619 | |
| 189 | A comprehensive Amazon Web Services SDK for Haskell. | 617 |
| 190 | Experimental implementation of Cubical Type Theory | 613 |
| 191 | The Pact Smart Contract Language | 606 |
| 192 | Contributed modules for xmonad | 603 |
| 193 | 🕵️ Haskell STatic ANalyser | 598 |
| 194 | A functionally reactive game engine, with headgear to protect you from the headache of game development provided. | 597 |
| 194 | Simple blockchain server written in Haskell for educational purposes | 597 |
| 196 | Generator of runtime monitors for flight and robotics applications. | 590 |
| 197 | The full power of R in Haskell. | 587 |
| 198 | Haskell-powered Python 3 interpreter | 582 |
| 198 | Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports | 582 |
| 200 | Haskell pretty printer | 580 |
