Haskell repositories
The top 500 Haskell repositories, ranked by stars
Last updated
| Rank | Repository | Stars |
|---|---|---|
| 351 | A Redis client library for Haskell. | 336 |
| 351 | Algorithms from AIMA in Haskell | 336 |
| 351 | High-powered REPL for Haskell, inspired by IPython | 336 |
| 354 | A high-level ncurses alternative written in Haskell | 335 |
| 355 | Mu (μ) is a purely functional framework for building micro services. | 332 |
| 356 | Run IO operations asynchronously and wait for their results | 331 |
| 356 | Generate Haskell bindings for GObject-Introspection capable libraries | 331 |
| 358 | ❇️ A WebSocket JSON/RPC bridge for Cardano | 329 |
| 359 | A lexical analyser generator for Haskell | 321 |
| 359 | The Happy parser generator for Haskell | 321 |
| 361 | A full implementation of the Scheme programming language for the Haskell Platform. | 320 |
| 362 | Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers. | 319 |
| 362 | A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL | 319 |
| 364 | A probabilistic programming language | 317 |
| 365 | An implementation of Python 3 | 315 |
| 366 | A comprehensive self-management System | 314 |
| 367 | An experimental proof assistant based on a type theory for synthetic ∞-categories. | 313 |
| 368 | Add ACID guarantees to any serializable Haskell data structure | 312 |
| 368 | Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games | 312 |
| 368 | Generate nix sources expr for the latest version of packages | 312 |
| 368 | A toy programming language with time travel | 312 |
| 372 | Frank compiler | 311 |
| 372 | Architecture of the Haskell web applications | 311 |
| 372 | A categorical programming language with effects | 311 |
| 375 | A modern, extensible and well-documented prettyprinter. | 310 |
| 376 | A fast, high quality library for computing with statistics in Haskell. | 309 |
| 376 | Examples of Dependently-typed programs in Haskell | 309 |
| 378 | A simple expressions language with polymorphic extensible row types. | 308 |
| 378 | A quine generator | 308 |
| 380 | 307 | |
| 381 | A reference library for constraint-solving with propagators and CDCL. | 306 |
| 382 | HVM3 | 304 |
| 383 | Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink | 303 |
| 384 | An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data. | 301 |
| 385 | Haskell library for writing Discord bots | 300 |
| 386 | Data frames for tabular data. | 299 |
| 387 | A lightweight (but compatible with ‘lens’) lenses library | 298 |
| 387 | Slides from talks that I give | 298 |
| 387 | The ledger implementation and specifications of the Cardano blockchain. | 298 |
| 390 | An HTTP client engine, intended as a base layer for more user-friendly packages. | 297 |
| 390 | A command line utility for practicing typing and measuring your WPM and accuracy. | 297 |
| 390 | Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node. | 297 |
| 393 | A brief example of Servant with Persistent | 296 |
| 393 | The Plutus application platform | 296 |
| 395 | Fake dependent types in Haskell using singletons | 295 |
| 395 | Library and executable for using citeproc with pandoc | 295 |
| 395 | A comprehensive Google Services SDK for Haskell. | 295 |
| 398 | 魔力haskell官方网站 | 294 |
| 399 | .gitignore for Dropbox | 293 |
| 399 | website for browsing packages and exploring documentation | 293 |
