Haskell repositories
The top 500 Haskell repositories, ranked by stars
Last updated
| Rank | Repository | Stars |
|---|---|---|
| 201 | Reach: The Safest and Smartest DApp Programming Language | 578 |
| 202 | Write You a Scheme | 575 |
| 203 | A library for building Haskell IDE tooling | 574 |
| 204 | Learn Haskell, with tiny lessons. | 564 |
| 205 | Main source code repository of the Tamarin prover for security protocol verification. | 562 |
| 206 | 🚧 a work in progress effect system for Haskell 🚧 | 560 |
| 207 | Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup | 556 |
| 208 | Reliable and fast PostgreSQL driver for Haskell | 554 |
| 209 | Library for functional reactive programming in Haskell. | 540 |
| 210 | Haskoin Core is a Bitcoin and Bitcoin Cash library | 536 |
| 210 | A user-centric visual STG implementation to help understand GHC/Haskell's execution model. | 536 |
| 212 | Code and materials for my book "Functional Design and Architecture" | 534 |
| 213 | Exercism exercises in Haskell. | 531 |
| 214 | A fast Haskell library for parsing ByteStrings | 530 |
| 215 | The Software Analysis Workbench | 527 |
| 216 | A powerful but simple library for measuring the performance of Haskell code. | 525 |
| 217 | Web application for exploring and understanding Haskell codebases | 517 |
| 218 | FP101x - Functional Programming MOOC 2015 Content Repository | 514 |
| 219 | A language for intent-centric and declarative decentralised applications | 508 |
| 220 | Compiler for the Gren programming language | 507 |
| 221 | Introduction to parsing with Haskell and Parsec | 506 |
| 221 | API for protocol buffers using modern Haskell language and library patterns. | 506 |
| 221 | Retrie is a powerful, easy-to-use codemodding tool for Haskell. | 506 |
| 224 | Explain why two Nix derivations differ | 505 |
| 225 | Haskell Programming From First Principles - Follow-up Resources | 502 |
| 225 | CI and hosting for nix-based, flakified github repos | 502 |
| 227 | GUI framework that uses the web browser as a display. | 500 |
| 228 | Generate command-line completions using a simple DSL. | 498 |
| 229 | 📖 source material for Thinking with Types | 497 |
| 230 | GIF that always shows the current time in UTC | 496 |
| 231 | Compositional pipelines | 494 |
| 231 | Comparing many FRP implementations by reimplementing the same toy app in each. | 494 |
| 233 | An unobtrusive, developer-friendly way to add comments | 492 |
| 233 | Functional Reactive Programming domain-specific language for efficient hybrid systems | 492 |
| 235 | An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem. | 489 |
| 236 | The exercise files from 10 Minute Vim, for convenience of readers | 488 |
| 237 | Persistence interface for Haskell allowing multiple storage methods. | 486 |
| 237 | Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial | 486 |
| 239 | a challenge for Haskell beginners | 482 |
| 240 | A type-safe, high-level SQL library for Haskell | 480 |
| 240 | An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games. | 480 |
| 242 | In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code... | 479 |
| 243 | Functional sed for JSON | 476 |
| 244 | Hackage-Server: A Haskell Package Repository | 468 |
| 244 | An interpreter for learning and exploring pure λ-calculus | 468 |
| 246 | A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome! | 466 |
| 247 | Launch processes with Vault secrets in the environment | 465 |
| 248 | FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including... | 463 |
| 248 | Compiling to Categories | 463 |
| 250 | My xmonad and xmobar configuration, plus necessary scripts to make things more usable. | 460 |