Haskell repositories
The top 500 Haskell repositories, ranked by stars
Last updated
| Rank | Repository | Stars |
|---|---|---|
| 101 | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen | 1,069 |
| 102 | A notification daemon/center for linux | 1,044 |
| 103 | Functional reactive web and mobile applications, with batteries included. | 1,042 |
| 104 | Haskell LLVM JIT Compiler Tutorial | 1,040 |
| 104 | 👩🏫 👨🏫 Learn Haskell basics in 4 pull requests | 1,040 |
| 106 | Kit: a magical, high performance programming language, designed for game development. | 1,035 |
| 107 | A terminal interface for Tetris | 1,034 |
| 108 | Functional Programming Course | 1,030 |
| 109 | Haskell code prettifier | 1,027 |
| 110 | Embedded language for high-performance array computations | 1,022 |
| 111 | A functional programming language with static memory management | 1,010 |
| 112 | Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns | 1,002 |
| 113 | 997 | |
| 114 | Project management directly from the TODOs in your codebase | 982 |
| 115 | Industrial-strength monadic parser combinator library | 981 |
| 116 | Shell programming, Haskell style | 980 |
| 117 | Haskell IDE | 974 |
| 118 | Emanate a structured view of your plain-text notes | 968 |
| 119 | Applicative option parser | 957 |
| 120 | Project: M36 Relational Algebra Engine | 956 |
| 121 | The Egison Programming Language | 931 |
| 122 | Detexify Backend written in Haskell | 930 |
| 123 | Espial is an open-source, web-based bookmarking server. | 929 |
| 124 | High performance, streaming and concurrent functional programming in Haskell | 927 |
| 125 | The Daml smart contract language | 924 |
| 126 | Resource gathering + programming game | 919 |
| 127 | A streaming data library | 913 |
| 128 | A peer-to-peer stack for code collaboration | 911 |
| 129 | Command-line benchmark tool | 909 |
| 130 | Trying to understand the file format of Tip Toi | 896 |
| 131 | A monadic parser combinator library | 889 |
| 132 | Haskell Web Application Interface | 886 |
| 133 | A programming language in Turkish where grammatical case and mood are part of the type system. | 883 |
| 134 | A standard library for Haskell | 865 |
| 135 | A wayland compositor based on ideas from and inspired by xmonad | 863 |
| 136 | ⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks. | 862 |
| 137 | Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes,... | 849 |
| 138 | Deprecated; see https://github.com/unused-code/unused | 845 |
| 139 | A stream-based runtime-verification framework for generating hard real-time C code. | 840 |
| 140 | Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others | 823 |
| 141 | HTTP server & command-line for managing UTxOs and HD wallets in Cardano. | 822 |
| 142 | Minimal implementations for dependent type checking and elaboration | 811 |
| 143 | Haskell API search engine | 805 |
| 143 | Haskell implemented with combinators | 805 |
| 145 | Shake build system | 803 |
| 146 | Scriptable desktop app to correct the perspective of images | 796 |
| 147 | Automatic testing of Haskell programs. | 793 |
| 148 | Functional programming with fewer indirections | 785 |
| 149 | A Testing Framework for Haskell | 784 |
| 150 | Crucible is a library for symbolic simulation of imperative programs | 781 |
