What are the most popular libraries in the Haskell ecosystem?
Number | Name | Description | Stars |
---|---|---|---|
1 | jgm/pandoc | Universal markup converter | 10297 |
2 | begriffs/postgrest | REST API for any Postgres database | 10065 |
3 | koalaman/shellcheck | ShellCheck, a static analysis tool for shell scripts | 9595 |
4 | purescript/purescript | A strongly-typed language that compiles to Javascript | 4321 |
5 | elm-lang/elm-compiler | Compiler for Elm, a functional language for reliable webapps. | 4223 |
6 | facebook/Haxl | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 2982 |
7 | commercialhaskell/stack | The Haskell Tool Stack | 2490 |
8 | idris-lang/Idris-dev | A Dependently Typed Functional Programming Language | 2214 |
9 | sdiehl/write-you-a-haskell | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | 1917 |
10 | yesodweb/yesod | A RESTful Haskell web framework built on WAI. | 1844 |
11 | ghcjs/ghcjs | Haskell to JavaScript compiler, based on GHC | 1820 |
12 | ghc/ghc | Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request. | 1734 |
13 | jameysharp/corrode | C to Rust translator | 1699 |
14 | jaspervdj/hakyll | A static website compiler library in Haskell | 1667 |
15 | typelead/eta | The Eta Programming Language, a dialect of Haskell on the JVM | 1644 |
16 | carp-lang/Carp | A statically typed lisp, without a GC, for high performance applications. | 1630 |
17 | gibiansky/IHaskell | A Haskell kernel for IPython. | 1616 |
18 | jgm/gitit | A wiki using HAppS, pandoc, and git | 1473 |
19 | wireapp/wire-server | Wire back-end services | 1393 |
20 | lamdu/lamdu | lamdu - towards the next generation IDE | 1343 |
21 | mikeizbicki/HLearn | Homomorphic machine learning | 1339 |
22 | valderman/haste-compiler | A GHC-based Haskell to JavaScript compiler | 1253 |
23 | facebook/duckling | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 1234 |
24 | unisonweb/unison | Next generation programming platform, currently in development | 1220 |
25 | ekmett/lens | Lenses, Folds, and Traversals - Join us on freenode #haskell-lens | 1202 |
26 | yi-editor/yi | The Haskell-Scriptable Editor | 1154 |
27 | faylang/fay | A proper subset of Haskell that compiles to JavaScript | 1149 |
28 | sdiehl/wiwinwlh | What I Wish I Knew When Learning Haskell | 1146 |
29 | scotty-web/scotty | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) | 1143 |
30 | olivierverdier/zsh-git-prompt | Informative git prompt for zsh | 1044 |
31 | input-output-hk/cardano-sl | Cryptographic currency implementing Ouroboros PoS protocol | 955 |
32 | HuwCampbell/grenade | Deep Learning in Haskell | 951 |
33 | haskell-servant/servant | Main repository for the servant libraries. Web API combinators, with servers, clients and documentation | 878 |
34 | jaspervdj/patat | Terminal-based presentations using Pandoc | 877 |
35 | huangz1990/real-world-haskell-cn | Real World Haskell | 877 |
36 | GaloisInc/HaLVM | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen | 869 |
37 | avh4/elm-format | elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide | 836 |
38 | xmonad/xmonad | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | 813 |
39 | tensorflow/haskell | Haskell bindings for TensorFlow | 806 |
40 | haskell/cabal | Official upstream development repository for Cabal and cabal-install | 782 |
41 | hzlmn/haskell-must-watch | Huge list of videos, talks, courses for Haskell programming language. | 765 |
42 | dmjio/miso | 🍜 A tasty Haskell front-end framework | 752 |
43 | oden-lang/oden | The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) | 752 |
44 | hadolint/hadolint | Dockerfile linter written in Haskell | 752 |
45 | haskell/haskell-ide-engine | The engine for haskell ide-integration. Not an IDE | 741 |
46 | leksah/leksah | Haskell IDE | 723 |
47 | tonymorris/fp-course | Functional Programming Course | 721 |
48 | commercialhaskell/intero | Complete interactive development program for Haskell | 703 |
49 | google/codeworld | Educational computer programming environment using Haskell | 688 |
50 | bos/aeson | A fast Haskell JSON library | 679 |
51 | tdietert/nanocoin | A simple cryptocurrency implementation, written to illustrate the basic components of a Proof-of-Work based, public distributed ledger. | 679 |
52 | elm-lang/elm-platform | Bundle of all core development tools for Elm | 668 |
53 | GaloisInc/cryptol | Cryptol: The Language of Cryptography | 658 |
54 | simonmichael/hledger | The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger. | 649 |
55 | awgn/cgrep | Cgrep: a context-aware grep for source codes | 649 |
56 | ajtulloch/dnngraph | A DSL for deep neural networks, supporting Caffe and Torch | 632 |
57 | bos/stanford-cs240h | Course materials for Stanford CS240h, "Functional Systems in Haskell" | 623 |
58 | colah/ImplicitCAD | A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation... | 609 |
59 | aurapm/aura | A secure, multilingual package manager for Arch Linux and the AUR. | 604 |
60 | DanielG/ghc-mod | Happy Haskell Hacking for editors. CI: https://gitlab.com/dxld/ghc-mod/pipelines | 603 |
61 | aviaviavi/legion | Simple blockchain server written in haskell. Feedback welcome. | 584 |
62 | quchen/articles | Miscellaneous articles. The readme is the table of contents. | 583 |
63 | tidalcycles/Tidal | Pattern language | 580 |
64 | sdiehl/kaleidoscope | Haskell LLVM JIT Compiler Tutorial | 560 |
65 | z0w0/helm | A functionally reactive game engine, with headgear to protect you from the headache of game development provided. | 547 |
66 | BinRoot/Haskell-Data-Analysis-Cookbook | Accompanying Source Code for the Haskell Data Analysis Cookbook | 544 |
67 | joshuaclayton/unused | A command line tool to identify unused code. | 543 |
68 | evincarofautumn/kitten | A statically typed concatenative programming language. | 533 |
69 | haskell-distributed/distributed-process | Cloud Haskell core library | 522 |
70 | thoughtbot/carnival | An unobtrusive, developer-friendly way to add comments | 515 |
71 | ndmitchell/hlint | Haskell source code suggestions | 513 |
72 | AccelerateHS/accelerate | Embedded language for high-performance array computations | 513 |
73 | ChrisPenner/rasa | Extremely modular text editor built in Haskell | 512 |
74 | Gabriel439/Haskell-Turtle-Library | Shell programming, Haskell style | 510 |
75 | mattgreen/hython | Haskell-powered Python 3 interpreter | 498 |
76 | BurntSushi/erd | Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. | 495 |
77 | reflex-frp/reflex | 493 | |
78 | clash-lang/clash-compiler | CAES Language for Synchronous Hardware | 483 |
79 | diku-dk/futhark | 💥💻💥 A data-parallel functional programming language | 472 |
80 | agrafix/Spock | Another Haskell web framework for rapid development | 467 |
81 | snoyberg/conduit | A streaming data library | 466 |
82 | kirel/detexify-hs-backend | Detexify Backend written in Haskell | 463 |
83 | ucsd-progsys/liquidhaskell | Liquid Types For Haskell | 459 |
84 | yesodweb/wai | Haskell Web Application Interface | 456 |
85 | steveshogren/10-minute-vim-exercises | The exercise files from 10 Minute Vim, for convenience of readers | 451 |
86 | transient-haskell/transient | A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state) | 451 |
87 | fptudelft/FP101x-Content-2015 | FP101x - Functional Programming MOOC 2015 Content Repository | 439 |
88 | jaspervdj/stylish-haskell | Haskell code prettifier | 438 |
89 | ndmitchell/shake | Shake build system | 433 |
90 | kadena-io/juno | Smart Contracts Running on a BFT Hardened Raft | 416 |
91 | hspec/hspec | A Testing Framework for Haskell | 416 |
92 | egison/egison | Egison is a purely functional programming language with non-linear pattern-matching against non-free data types. We can directly pattern-match against a wide range of data types such as lists, multisets, sets, trees and graphs with Egison. | 415 |
93 | rgleichman/glance | A visual Haskell | 407 |
94 | def-/time.gif | GIF that always shows the current time in UTC | 406 |
95 | pcapriotti/optparse-applicative | Applicative option parser | 402 |
96 | elm-lang/elm-reactor | Interactive development tool that makes it easy to develop and debug Elm programs. | 401 |
97 | haskoin/haskoin | Haskell implementation of the Bitcoin protocol | 391 |
98 | snapframework/snap | Snap project starter executable plus some libraries for building web apps | 388 |
99 | jtdaugherty/brick | A declarative terminal UI programming library written in Haskell | 387 |
100 | JakeWheat/intro_to_parsing | Introduction to parsing with Haskell and Parsec | 385 |
101 | agda/agda | Agda is a dependently typed programming language / interactive theorem prover. | 380 |
102 | agentm/project-m36 | Project: M36 Relational Algebra Engine | 376 |
103 | ThoughtWorksInc/DeepDarkFantasy | A Programming Language for Deep Learning | 373 |
104 | silkapp/rest | Packages for defining APIs, running them, generating client code and documentation. | 373 |
105 | HeinrichApfelmus/reactive-banana | Library for functional reactive programming in Haskell. | 363 |
106 | seagreen/Son | A minimal subset of JSON for machine-to-machine communication | 362 |
107 | sleexyz/hylogen | GLSL embedded in Haskell | 356 |
108 | ananthakumaran/webify | webfont generator - converts ttf to woff, eot and svg | 353 |
109 | tomjaguarpaw/haskell-opaleye | 348 | |
110 | vicfryzel/xmonad-config | My xmonad and xmobar configuration, plus necessary scripts to make things more usable. | 347 |
111 | Gabriel439/Haskell-Pipes-Library | Compositional pipelines | 347 |
112 | davidbrewer/xmonad-ubuntu-conf | My xmonad config for Ubuntu 14.04 and 12.04, including package list, config files, and instructions. | 347 |
113 | mikeizbicki/subhask | Type safe interface for working in subcategories of Hask | 347 |
114 | jbarrow/LambdaNet | Purely functional artificial neural network library implemented in Haskell. | 343 |
115 | haskell/parsec | A monadic parser combinator library | 341 |
116 | jepst/CloudHaskell | A distributed computing framework for Haskell | 340 |
117 | nick8325/quickcheck | Automatic testing of Haskell programs. | 335 |
118 | kqr/gists | With way too messy gist.github pages this is an attempt to organise my snippets | 334 |
119 | gelisam/frp-zoo | Comparing many FRP implementations by reimplementing the same toy app in each. | 329 |
120 | jaor/xmobar | A minimalistic text-based status bar | 320 |
121 | bitemyapp/bloodhound | Haskell Elasticsearch client and query DSL | 319 |
122 | mbrubeck/compleat | Generate command-line completions using a simple DSL. | 318 |
123 | bos/attoparsec | A fast Haskell library for parsing ByteStrings | 317 |
124 | haskell-foundation/foundation | Empire strikes back | 315 |
125 | ollef/sixten | Functional programming with fewer indirections | 314 |
126 | jagajaga/FP-Course-ITMO | Slides and other materials for functional programming lectures ITMO university | 313 |
127 | vincenthz/hs-tls | TLS/SSL implementation in haskell | 311 |
128 | ndmitchell/ghcid | Very low feature GHCi based IDE | 310 |
129 | MaiaVictor/caramel | A modern syntax for the -calculus. | 310 |
130 | haskus/haskus-system | Haskus system | 308 |
131 | tadeuzagallo/verve-lang | A functional language for the working hacker | 307 |
132 | tweag/HaskellR | The full power of R in Haskell. | 306 |
133 | commercialhaskell/hindent | Haskell pretty printer | 303 |
134 | joelburget/react-haskell | React bindings for Haskell | 302 |
135 | knupfer/haskell-emacs | Write Emacs extensions in Haskell | 301 |
136 | pushcx/hpffp-resources | Haskell Programming From First Principles - Follow-up Resources | 298 |
137 | bos/wreq | 292 | |
138 | snapframework/snap-core | Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers. | 290 |
139 | bjpop/berp | An implementation of Python 3 | 289 |
140 | yesodweb/Shelly.hs | Haskell shell scripting | 286 |
141 | iostreamer-X/FuncShell | Improve your shell by making it functional through Haskell! (An update to Awkward) | 284 |
142 | theam/haskell-do | ✏️ 📊 - The Haskell code editor focused on interactive development. | 284 |
143 | tkonolige/dbignore | .gitignore for Dropbox | 280 |
144 | tweag/sparkle | Haskell on Apache Spark. | 277 |
145 | quchen/stgi | A user-centric visual STG implementation to help understand GHC/Haskell's execution model. | 276 |
146 | MichaelXavier/Angel | Process Monitoring/Management, Like Daemontools | 275 |
147 | ndmitchell/hoogle | Haskell API search engine | 273 |
148 | Gabriel439/Haskell-Morte-Library | A bare-bones calculus-of-constructions | 270 |
149 | HeinrichApfelmus/threepenny-gui | GUI framework that uses the web browser as a display. | 270 |
150 | chrisdone/jl | Functional sed for JSON | 270 |
151 | koka-lang/koka | Koka language compiler and interpreter | 268 |
152 | haskell/haskell-platform | Distribution of Haskell with batteries included | 267 |
153 | sinelaw/infernu | Type inference and checking for a safer JavaScript. | 266 |
154 | nh2/call-haskell-from-anything | Call Haskell functions from any programming language via serialization and dynamic libraries | 264 |
155 | feuerbach/tasty | Modern and extensible testing framework for Haskell | 264 |
156 | mrkkrp/megaparsec | Industrial-strength monadic parser combinator library | 263 |
157 | travitch/taffybar | A slightly fancy status bar for xmonad | 263 |
158 | osener/markup.rocks | Pandoc based document editor and converter in your browser. | 263 |
159 | chris-taylor/aima-haskell | Algorithms from AIMA in Haskell | 263 |
160 | brendanhay/amazonka | A comprehensive Amazon Web Services SDK for Haskell. | 262 |
161 | albertoruiz/hmatrix | Linear algebra and numerical computation | 262 |
162 | GaloisInc/ivory | The Ivory EDSL | 261 |
163 | sebastiaanvisser/clay | A CSS preprocessor as embedded Haskell. | 260 |
164 | cdosborn/lit | A modern tool for literate programming | 260 |
165 | ekmett/machines | Networks of composable stream transducers | 257 |
166 | mwotton/Hubris | Bridge from Ruby to Haskell | 255 |
167 | dhall-lang/dhall-haskell | A configuration language guaranteed to terminate | 254 |
168 | haskell-wasm/wasm | Haskell compiler infastructure for WebAssembly | 253 |
169 | yesodweb/persistent | Persistence interface for Haskell allowing multiple storage methods. | 252 |
170 | sweirich/pi-forall | A demo implementation of a simple dependently-typed language | 252 |
171 | HaskVan/HaskellKoans | Haskell Koans for the Vancouver's Haskell UnMeetup | 252 |
172 | jaspervdj/websockets | A Haskell library for creating WebSocket-capable servers | 249 |
173 | phadej/github | The github API for Haskell | 249 |
174 | jgm/yst | create static websites from YAML data and string templates | 248 |
175 | GaloisInc/haskell-tor | A Haskell implementation of the Tor protocol. | 244 |
176 | dmbarbour/Sirea | Simply Reactive! Declarative orchestration in Haskell using RDP | 244 |
177 | write-you-a-scheme-v2/scheme | Write You a Scheme | 240 |
178 | ollef/Earley | Parsing all context-free grammars using Earley's algorithm in Haskell. | 238 |
179 | RaphaelJ/friday | Fast image IO and transformations. | 238 |
180 | mortberg/cubicaltt | Experimental implementation of Cubical Type Theory | 236 |
181 | lukexi/halive | Live recompiler for Haskell | 233 |
182 | matterhorn-chat/matterhorn | A terminal client for the Mattermost chat system | 233 |
183 | sol/hpack | hpack: An alternative format for Haskell packages | 232 |
184 | anton-k/ru-haskell-book | Haskell | 230 |
185 | hedgehogqa/haskell-hedgehog | Hedgehog will eat all your bugs. | 229 |
186 | timbod7/haskell-chart | A 2D charting library for haskell | 229 |
187 | seliopou/typo | A programming language that runs in Haskell's type system. | 227 |
188 | itchyny/sjsp | Simple JavaScript Profiler | 226 |
189 | byorgey/haskell-course | Introductory Haskell course materials (originally CIS 194 @ UPenn) | 223 |
190 | michaelochurch/summer-2015-haskell-class | Summer 2015 Haskell Class | 221 |
191 | bos/pronk | A small command line application for load testing web servers. Think of it as similar to httperf or ab, only more modern and simpler to deal with. | 220 |
192 | lpaste/lpaste | Paste service written in Haskell for functional programmers | 217 |
193 | gelisam/hawk | Haskell text processor for the command-line | 217 |
194 | jlouis/combinatorrent | A bittorrent client written in Haskell | 216 |
195 | sdiehl/protolude | A sensible starting Prelude template. | 215 |
196 | tomahawkins/atom | A DSL for embedded hard realtime applications. | 213 |
197 | haskell-tools/haskell-tools | Developer tools for Haskell | 213 |
198 | sol/doctest | An implementation of Python's doctest for Haskell | 213 |
199 | jgoerzen/twidge | Command-line twitter/identica client [Haskell] | 212 |
200 | nikita-volkov/hasql | An efficient PostgreSQL driver and a flexible mapping API | 212 |
201 | nstack/nstack | Type-safe, composable microservices for data analytics | 211 |
202 | commercialhaskell/haskelldocumentation | Repository for collaborative Haskell documentation | 209 |
203 | bos/statistics | A fast, high quality library for computing with statistics in Haskell. | 209 |
204 | haskell/hackage-server | The new Hackage server aka "Hackage 2" | 208 |
205 | k0ral/hbro | A minimal web-browser written and configured in Haskell. | 207 |
206 | ekmett/ad | Automatic Differentiation | 207 |
207 | valderman/selda | A type-safe, high-level SQL library for Haskell | 206 |
208 | lspitzner/brittany | haskell source code formatter | 205 |
209 | helium/airship | Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps. | 204 |
210 | LeventErkok/sbv | SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. | 203 |
211 | informatikr/hedis | A Redis client library for Haskell. | 203 |
212 | lierdakil/pandoc-crossref | pandoc filter for cross-references | 202 |
213 | ivanperez-keera/haskanoid | A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support. | 200 |
214 | snowleopard/alga | Algebraic graphs | 198 |
215 | hakaru-dev/hakaru | A probabilistic programming language | 198 |
216 | chrisdone/z | A strict, impure, curried, partially applied programming language with rather peculiar syntax. | 197 |
217 | GaloisInc/saw-script | The SAW scripting language. | 197 |
218 | justinethier/husk-scheme | A practical implementation of the Scheme programming language for the Haskell Platform. | 195 |
219 | snoyberg/keter | Web app deployment manager | 195 |
220 | simonmar/par-tutorial | A tutorial on Parallel and Concurrent Haskell | 194 |
221 | ehamberg/9m | 9m Unicode URL Shortener | 194 |
222 | entropia/tip-toi-reveng | Trying to understand the file format of Tip Toi | 194 |
223 | nikita-volkov/record | Anonymous records | 194 |
224 | elm-lang/elm-package | Command line tool to share Elm libraries | 194 |
225 | ermine-language/ermine | The Ermine Programming Language - Join us on irc.freenode.net #ermine | 188 |
226 | reflex-frp/reflex-dom | 186 | |
227 | aristidb/aws | Amazon Web Services for Haskell | 186 |
228 | haskell-game/sdl2 | Haskell bindings to the SDL2 library | 185 |
229 | LambdaHack/LambdaHack | Haskell game engine library for roguelike dungeon crawlers; try out the browser version at | 184 |
230 | nominolo/scion | IDE library for Haskell based on the GHC API. | 182 |
231 | simonmar/parconc-examples | Sample code to accompany the book "Parallel and Concurrent Programming in Haskell" | 182 |
232 | passy/givegif | GIFs on the command line | 182 |
233 | k-bx/owlcloud | OwnCloud for owls done via The Microservice Architecture | 181 |
234 | benl23x5/gloss | Painless 2D vector graphics, animations and simulations. | 181 |
235 | adjoint-io/nanochain | A minimal viable blockchain | 180 |
236 | simonmar/async | Run IO operations asynchronously and wait for their results | 179 |
237 | ekmett/trifecta | Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink | 178 |
238 | prowdsponsor/esqueleto | Bare bones, type-safe EDSL for SQL queries on persistent backends. | 178 |
239 | google/proto-lens | API for protocol buffers using modern Haskell language and library patterns. This is not an official Google product. | 178 |
240 | jyh1/mmaclone | A simple Wolfram Language clone in Haskell | 178 |
241 | kcsongor/generic-lens | Generic datatype operations exposed as lenses. | 178 |
242 | bitc/hdevtools | REPO UNMAINTAINED!!! Try this: https://github.com/hdevtools/hdevtools/ | 177 |
243 | m4dc4p/cheatsheet | A Haskell CheatSheet in PDF and literate source formats. | 176 |
244 | ekmett/quine | haskell, opengl, toy project | 176 |
245 | facebookarchive/lex-pass | manipulate a php codebase using haskell to transform the abstract-syntax-tree | 176 |
246 | mikeizbicki/HerbiePlugin | GHC plugin that improves Haskell code's numerical stability | 172 |
247 | chrisdone/vado | A web browser engine written in Haskell | 172 |
248 | fujimura/hi | Generate scaffold for a Haskell project | 172 |
249 | Tarrasch/antigen-hs | A fast zsh plugin manager | 171 |
250 | acowley/Frames | Data frames for tabular data. | 171 |
251 | snapframework/snap-server | A fast HTTP server library, which runs Snap web handlers. | 170 |
252 | tommythorn/Reduceron | 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 hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome. | 170 |
253 | chrisdone/lucid | Clear to write, read and edit DSL for writing HTML | 169 |
254 | passy/android-lint-summary | Prettier display of Android Lint issues | 168 |
255 | kazu-yamamoto/unit-test-example | Unit test example for Haskell | 168 |
256 | frp-arduino/frp-arduino | Arduino programming without the hassle of C. | 166 |
257 | l29ah/muesli | An alternative approach to Soylent | 163 |
258 | elm-lang/elm-repl | A REPL for Elm | 162 |
259 | lenary/idris-erlang | Erlang Backend for Idris Compiler | 161 |
260 | khibino/haskell-relational-record | This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type. | 160 |
261 | fpco/inline-c | 159 | |
262 | lpsmith/postgresql-simple | Mid-level client library for accessing PostgreSQL from Haskell | 159 |
263 | VinylRecords/Vinyl | Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. | 159 |
264 | fimad/scalpel | A high level web scraping library for Haskell. | 158 |
265 | SimulaVR/Simula | 3D Window Manager for Linux | 158 |
266 | CIFASIS/QuickFuzz | An experimental grammar fuzzer in Haskell using QuickCheck | 158 |
267 | def-/gifstream | Make interactive games in Haskell using GIF streams that can be shown in the web browser | 156 |
268 | nomeata/incredible | The Incredible Proof Machine | 156 |
269 | spell-music/csound-expression | Haskell Framework for Electronic Music | 156 |
270 | parsonsmatt/servant-persistent | A brief example of Servant with Persistent | 155 |
271 | creswick/cabal-dev | A wrapper program around cabal and cabal-install that maintains sandboxed build environments. | 155 |
272 | lambdacube3d/lambdacube-edsl | Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system: | 154 |
273 | acid-state/acid-state | Add ACID guarantees to any serializable Haskell data structure | 154 |
274 | elm-lang/elm-make | A build tool for Elm projects | 153 |
275 | exercism/haskell | Exercism exercises in Haskell. | 153 |
276 | takeoutweight/shade | Interactive, client-side web apps in Haskell | 151 |
277 | jaspervdj/blaze-html | A blazingly fast HTML combinator library for Haskell. | 149 |
278 | jpmorganchase/constellation | Peer-to-peer encrypted message exchange | 149 |
279 | haskell/text | An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework. | 148 |
280 | blender/Rome | A cache tool for Carthage | 147 |
281 | haskell/network | Low-level networking interface | 147 |
282 | blitzcode/hue-dashboard | A web interface for monitoring and controlling Philips Hue lights | 147 |
283 | Twinside/Juicy.Pixels | Haskell library to load & save pictures | 146 |
284 | joshcough/HaskellStarter | A project that demonstrates getting up and running with Haskell. | 146 |
285 | hercules-ci/hercules | Continuous Integration for Nix projects | 146 |
286 | DimaSamoz/mezzo | A Haskell library for typesafe music composition | 146 |
287 | twittner/zeromq-haskell | This repository has been moved to https://gitlab.com/twittner/zeromq-haskell | 145 |
288 | evmar/c-repl | a C read-eval-print loop (abandoned) | 145 |
289 | xmonad/xmonad-contrib | Contributed modules for xmonad | 144 |
290 | neovimhaskell/nvim-hs | Neovim API for Haskell plugins as well as the plugin provider | 144 |
291 | llvm-hs/llvm-hs | Haskell bindings for LLVM | 144 |
292 | bjpop/blip | A bytecode compiler for Python 3 | 143 |
293 | kerkomen/rei | Process lists easily | 143 |
294 | visi-lang/visi | The Visi Language and iPad IDE | 143 |
295 | geophf/1HaskellADay | 142 | |
296 | conal/concat | Constrained categories | 142 |
297 | mchakravarty/language-c-inline | Inline C & Objective-C in Haskell | 142 |
298 | jtdaugherty/vty | A high-level ncurses alternative written in Haskell | 141 |
299 | Eelis/geordi | IRC C++ eval bot | 140 |
300 | sdiehl/tinyjit | Haskell JIT | 138 |
301 | jdnavarro/graphql-haskell | Haskell GraphQL implementation | 138 |
302 | egonSchiele/chips | A clone of Chips Challenge in Haskell | 138 |
303 | ekmett/hask | Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!) | 137 |
304 | haskell/containers | Assorted concrete container types | 137 |
305 | bos/critbit | A Haskell implementation of crit-bit trees. | 136 |
306 | chrisdone/hulk | Haskell IRC daemon. | 136 |
307 | adscib/monad-bayes | A library for probabilistic programming in Haskell. | 136 |
308 | haskell-hvr/cassava | A CSV parsing and encoding library optimized for ease of use and high performance | 136 |
309 | mchakravarty/BigPixel | Pixel art for games | 135 |
310 | kadena-io/pact | The Pact Smart Contract Language | 135 |
311 | corsis/PortFusion | Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling solution currently available for all TCP protocols (RDP, VNC, HTTP(S), SSH, ...). | 134 |
312 | Gabriel439/Haskell-Optparse-Generic-Library | Auto-generate a command-line parser for your datatype | 134 |
313 | ajhc/ajhc | A fork of jhc. And also a Haskell compiler. | 133 |
314 | mstksg/auto | Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto | 133 |
315 | aelve/microlens | A lightweight (but compatible with lens) lenses library | 133 |
316 | ivanperez-keera/Yampa | Domain-specific language embedded in Haskell for programming hybrid (mixed discrete-time and continuous-time) systems. Yampa is based on the concepts of Functional Reactive Programming (FRP) and is structured using arrow combinators. | 132 |
317 | jonascarpay/apecs | a fast, type driven, extensible ECS for game engine development, in pure Haskell | 132 |
318 | ndmitchell/bake | Continuous integration server | 132 |
319 | wh5a/Algorithm-W-Step-By-Step | Classic Algorithm W for type inference. | 132 |
320 | brendanhay/gogol | A comprehensive Google Services SDK for Haskell. | 130 |
321 | bscarlet/llvm-general | Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.) | 130 |
322 | aloiscochard/codex | A ctags file generator for cabal/stack project dependencies. | 129 |
323 | music-suite/music-suite | Meta-package to install the Music Suite | 129 |
324 | lettier/movie-monad | A desktop video player built with Haskell that uses GStreamer and GTK+. | 129 |
325 | sweirich/dth | Examples of Dependently-typed programs in Haskell | 128 |
326 | jml/graphql-api | Write type-safe GraphQL services in Haskell | 128 |
327 | ndmitchell/tagsoup | Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents | 127 |
328 | lykahb/groundhog | This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial http://www.fpcomplete.com/user/lykahb/groundhog for introduction | 127 |
329 | kallisti-dev/hs-webdriver | A Haskell client for the Selenium WebDriver protocol. | 127 |
330 | lotz84/haskell | Haskell | 126 |
331 | snoyberg/haskellers | haskellers.com site | 126 |
332 | haskelllive/haskelllive | Source code of the Haskell Live episodes. | 126 |
333 | w7cook/AoPL | A book on programming languages, using Haskell | 125 |
334 | snowleopard/hadrian | Hadrian: a new build system for the Glasgow Haskell Compiler | 125 |
335 | haskell/HTTP | Haskell HTTP package | 125 |
336 | noelmarkham/learn-you-a-haskell-exercises | 125 | |
337 | honza/redish | A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell. | 124 |
338 | mthom/shentong | A Haskell implementation of the Shen programming language. | 124 |
339 | fpco/ide-backend | ide-backend drives the GHC API to build, query, and run your code | 123 |
340 | jgm/pandoc-citeproc | Library and executable for using citeproc with pandoc | 123 |
341 | Gabriel439/slides | Slides from talks that I give | 122 |
342 | leepike/Copilot | A (Haskell DSL) stream language for generating hard real-time C code. | 122 |
343 | abailly/aws-lambda-haskell | Running Haskell code on AWS Lambda | 122 |
344 | goldfirere/thesis | Richard A. Eisenberg's PhD Dissertation | 121 |
345 | Paczesiowa/hsenv | Virtual Haskell Environment builder | 121 |
346 | ekmett/linear | Low-dimensional linear algebra primitives for Haskell. | 121 |
347 | jaspervdj/digestive-functors | A general way to consume input using applicative functors | 120 |
348 | denisshevchenko/ohaskell.guide | Haskell | 120 |
349 | haskell/vector | An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework . | 119 |
350 | Gabriel439/Haskell-Typed-Spreadsheet-Library | Typed and composable spreadsheets | 118 |
351 | typed-wire/typed-wire | Language independent type-safe communication | 118 |
352 | ruHaskell/ruhaskell | 117 | |
353 | gwentacle/wisp | small-but-featureful embeddable lisp interpreter written in haskell. | 116 |
354 | seagreen/plate | Language-agnostic schemas based on Haskell's type system | 116 |
355 | ocharles/engine.io | A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols | 116 |
356 | tfausak/haskeleton | 💀 A Haskell package skeleton. | 116 |
357 | bos/configurator | A Haskell library supporting flexible, dynamic file-based configuration. | 116 |
358 | flannelhead/blackstar | A black hole raytracer written in Haskell | 116 |
359 | egonSchiele/HandsomeSoup | Easy HTML parsing for Haskell | 116 |
360 | machine-intelligence/Botworld | A cellular automaton for studying self-modifying agents which are embedded in their environment | 116 |
361 | gtk2hs/gtk2hs | GUI library for Haskell based on GTK+ | 115 |
362 | snoyberg/http-client | An HTTP client engine, intended as a base layer for more user-friendly packages. | 115 |
363 | wyager/Neks | A dead simple networked key/value store | 115 |
364 | haskell/c2hs | c2hs is a pre-processor for Haskell FFI bindings to C libraries | 114 |
365 | himura/twitter-conduit | Twitter API package for Haskell, including enumerator interfaces and Streaming API supports. | 114 |
366 | kwf/ComonadSheet | A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads. | 114 |
367 | imeckler/mote | 114 | |
368 | 1HaskellADay/1HAD | 1 Haskell A Day exercises | 114 |
369 | tibbe/unordered-containers | Efficient hashing-based container types | 113 |
370 | fpco/minghc | DEPRECATED: Windows installer for GHC including msys | 112 |
371 | goldfirere/glambda | The home of the Glamorous Glambda interpreter | 112 |
372 | mvdan/hint | Runtime Haskell interpreter | 112 |
373 | DDCSF/ddc | The Disciplined Disciple Compiler | 112 |
374 | nomeata/ghc-proofs | Let GHC prove program equations for you | 112 |
375 | jekor/redo | djb's redo implementation in Haskell (for Haskell from Scratch video series) | 112 |
376 | lambdabot/lambdabot | A friendly IRC bot and apprentice coder, written in Haskell. | 112 |
377 | wellposed/numerical | Numerical is the core library for Numerical Haskell | 110 |
378 | mchakravarty/HaskellSpriteKit | Haskell binding to Apple's SpriteKit framework | 110 |
379 | haskell-suite/haskell-src-exts | Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer | 110 |
380 | katychuang/getting-started-with-haskell | notes on where to find Haskell tutorials and tips to complete them | 110 |
381 | forest-lang/core | A multi-syntax functional programming language that compiles to WebAssembly. | 110 |
382 | alpmestan/hnn | haskell neural network library | 110 |
383 | bitemyapp/esqueleto | New home of Esqueleto, please file issues so we can get things caught up! | 109 |
384 | Bose/Smudge | A domain-specific language for state machines. | 109 |
385 | nick8325/quickspec | Equational laws for free | 108 |
386 | transient-haskell/transient-universe | A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud | 108 |
387 | edwinb/idris-php | Yes, really... | 108 |
388 | diogob/postgres-websockets | PostgreSQL + Websockets | 107 |
389 | jwiegley/gitlib | 106 | |
390 | simhu/cubical | Implementation of Univalence in Cubical Sets | 106 |
391 | simonmar/alex | A lexical analyser generator for Haskell | 106 |
392 | Daniel-Diaz/HaTeX | The Haskell LaTeX library. | 106 |
393 | dropbox/datagraph | 106 | |
394 | gwern/gwern.net | Website: writings on statistics, psychology, self-experiments, black-markets, philosophy, etc | 106 |
395 | commercialhaskell/stack-templates | Project templates for stack new | 106 |
396 | RefactoringTools/HaRe | The Haskell Refactoring Tool | 106 |
397 | samtay/tetris | A terminal interface for Tetris | 105 |
398 | vimus/vimus | An MPD client with vim-like key bindings, written in Haskell | 105 |
399 | meiersi/blaze-react | A blaze-html style ReactJS binding for Haskell using GHCJS | 105 |
400 | haskell-opengl/OpenGL | Haskell bindings to OpenGL | 105 |
401 | tweag/inline-java | Haskell/Java interop via inline Java code in Haskell modules. | 105 |
402 | mmirman/caledon | higher order dependently typed logic programing | 105 |
403 | Soostone/hadron | Construct and run Hadoop MapReduce programs in Haskell | 104 |
404 | bjpop/language-python | A parser for Python 2.x and 3.x written in Haskell | 104 |
405 | owickstrom/idris-vimscript | Compile Idris to Vimscript, like you always wanted. | 104 |
406 | conal/lambda-ccc | Convert lambda expressions to CCC combinators | 104 |
407 | NixOS/cabal2nix | Generate Nix build instructions from a Cabal file | 103 |
408 | jgm/texmath | A Haskell library for converting LaTeX math to MathML. | 103 |
409 | hopper-lang/hopper-v0 | a sound modern language for computation and transactional resource logic | 103 |
410 | hot-leaf-juice/gotta-go-fast | A command line utility for practicing typing and measuring your WPM and accuracy. | 103 |
411 | kazu-yamamoto/mighttpd2 | File/CGI web server on warp | 102 |
412 | bollu/tiny-optimising-compiler | A tiny optimising compiler for an imperative programming language written in haskell | 102 |
413 | cobbpg/elerea | A simple FRP library providing leak-free first-class streams. | 102 |
414 | altercation/dotfiles-tilingwm | Tiling window manager related files (XMonad / i3) including configuration for components that create a good, minimal desktop-environment replacement. | 102 |
415 | UU-ComputerScience/uhc | 102 | |
416 | mzero/haskell-amuse-bouche | A short technical talk about some fun things in Haskell | 101 |
417 | tathougies/beam | A type-safe, non-TH Haskell SQL library and ORM | 101 |
418 | rdnetto/powerline-hs | A lightning fast reimplementation of the Powerline prompt generator in Haskell. | 101 |
419 | bos/llvm | Haskell bindings to the LLVM compiler infrastructure project. | 101 |
420 | GU-CLASP/TypedFlow | Typed frontend to TensorFlow and higher-order deep learning | 101 |
421 | dbohdan/jsonwatch | Track changes in JSON data from the command line | 101 |
422 | phaazon/luminance | Type-safe, type-level and stateless Haskell graphics framework | 100 |
423 | boothead/oHm | Om with Haskell in it | 100 |
424 | GaloisInc/HaNS | The haskell network stack | 100 |
425 | msgpack/msgpack-haskell | Haskell implementation of MessagePack / msgpack.org[Haskell] | 99 |
426 | michaelt/streaming | An optimized general monad transformer for streaming applications, with a simple prelude of functions | 99 |
427 | ianthehenry/basilica | It's kinda like a forum. | 99 |
428 | yesodweb/shakespeare | Haml-like template files that are compile-time checked | 99 |
429 | goldfirere/singletons | Fake dependent types in Haskell using singletons | 99 |
430 | luqui/vatican | A lazy specializing virtual machine for purely functional languages | 99 |
431 | psygnisfive/SimpleFP-v2 | A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS | 99 |
432 | ocharles/micro-ci | A tiny CI server built around GitHub and Nix | 99 |
433 | larrytheliquid/Lemmachine | REST'ful web framework in Agda | 98 |
434 | aisamanra/rust-haskell-ffi | Toy example of calling Rust from Haskell | 97 |
435 | klappvisor/haskell-telegram-api | Telegram Bot API for Haskell | 97 |
436 | krisajenkins/elm-export | Create Elm types and JSON decoders from Haskell source. | 97 |
437 | well-typed/cborg | Binary serialisation in the CBOR format | 97 |
438 | goldenlynx/jsn | An absolutely simple & terse CLI app to manipulate JSON data | 97 |
439 | Peaker/git-mediate | Resolve trivial conflicts | 96 |
440 | suhailshergill/extensible-effects | Extensible Effects: An Alternative to Monad Transformers | 96 |
441 | chrisdone/formatting | Format strings type-safely with combinators | 96 |
442 | tamarin-prover/tamarin-prover | Main source code repository of the Tamarin prover for security protocol verification. | 96 |
443 | lymar/hastache | Haskell implementation of Mustache template | 96 |
444 | jspahrsummers/ObjectiveHaskell | Tools for making it easier to integrate Haskell and Objective-C. | 95 |
445 | zoomhub/zoomhub | Share and view high-resolution images effortlessly | 95 |
446 | neurocyte/android-haskell-activity | An example of an Android Activity written in Haskell | 95 |
447 | ucsd-progsys/elsa | Elsa is a lambda calculus evaluator | 95 |
448 | np/ling | LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming | 95 |
449 | hreinhardt/amqp | Haskell AMQP client library | 95 |
450 | hinance/hinance | Automated personal bookkeeping for hackers. | 94 |
451 | purescript/psc-package | A package manager for PureScript based on package sets | 94 |
452 | NicolasT/kontiki | An implementation of the Raft consensus protocol | 94 |
453 | Yuras/pdf-toolbox | A collection of tools for processing PDF files in Haskell | 94 |
454 | alsonkemp/turbinado | MVC Web Framework for Haskell. See http://github.com/turbinado/turbinado-website for example code | 94 |
455 | wavewave/hoodle | hoodle : A pen notetaking program written in haskell | 94 |
456 | lettier/gifcurry | Open source video to GIF maker, written in Haskell, that allows overlaid text. | 94 |
457 | UweSchmidt/hxt | Haskell XML Toolbox | 93 |
458 | fbsamples/ghc-hotswap | Example code for how we swap compiled code within a running Haskell process. | 93 |
459 | Ongy/waymonad | A wayland compositor based on ideas from and inspired by xmonad | 92 |
460 | talw/crisp-compiler | A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend | 92 |
461 | feuerbach/smallcheck | smallcheck: test your Haskell code by exhaustively checking its properties | 91 |
462 | egonSchiele/dominion | A Dominion simulator in Haskell | 91 |
463 | yesodweb/yesod-cookbook | Cookbook documentation | 90 |
464 | opqdonut/haskell-exercises | Haskell exercises with automatic tests | 90 |
465 | palf/haskell-sdl2-examples | SDL2 tutorial code in Haskell | 90 |
466 | AtnNn/haskell-rethinkdb | RethinkDB client library for Haskell | 90 |
467 | simonmar/monad-par | 90 | |
468 | psibi/shell-conduit | Write shell scripts with Conduit | 89 |
469 | ocharles/netwire-classics | Classic games recreated in netwire | 89 |
470 | haskell/mtl | The Monad Transformer Library | 89 |
471 | kazu-yamamoto/logger | A fast logging system for Haskell | 89 |
472 | winterland1989/magic-haskell | haskell | 89 |
473 | ditto/ditto | A Super Kawaii Dependently Typed Programming Language | 89 |
474 | snapframework/heist | An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags. | 89 |
475 | morphismtech/squeal | Main repository for the squeal database library. | 89 |
476 | Soostone/katip | A structured logging framework for Haskell | 88 |
477 | derekmcloughlin/pearls | Pearls of Functional Algorithm Design by Richard Bird - Haskell Code | 88 |
478 | mvoidex/hsdev | Haskell development tool | 88 |
479 | AccelerateHS/accelerate-llvm | LLVM backend for Accelerate | 88 |
480 | spoqa/nirum | Nirum: IDL compiler and RPC/distributed object framework for microservices | 88 |
481 | ezyang/logitext | Beautiful, interactive visualizations of logical inference | 88 |
482 | erikd/language-javascript | Parser for JavaScript, in Haskell | 88 |
483 | bamboo/idris-cil | A Common Intermediate Language backend for Idris. | 88 |
484 | tobbebex/GPipe-Core | Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library | 87 |
485 | dpp/LispHaskellIPad | An iPad app that's a Lisp interpretter... written in Haskell (heh heh heh) | 87 |
486 | mstksg/hamilton | Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot. | 87 |
487 | analytics/analytics | Much of this has moved to ekmett/succinct | 87 |
488 | docopt/docopt.hs | A command-line interface description language and parser that will make you smile | 87 |
489 | albertoruiz/easyVision | Haskell packages for computer vision, image processing, and pattern recognition | 87 |
490 | ekmett/free | free monads | 87 |
491 | boundedvariation/quantfin | quant finance in pure haskell | 87 |
492 | keera-studios/haskell-game-programming | A central repository of Haskell Game Programming resources, put together by Keera Studios | 87 |
493 | fmthoma/vgrep | A pager for grep | 87 |
494 | gregorulm/h2048 | An implementation of the game 2048 in Haskell | 86 |
495 | silky/awesome-open-science | some links to projects/tools related to "open science". | 86 |
496 | audreyt/regex-genex | Given a list of regexes, generate all possible strings that matches all of them. | 86 |
497 | nfjinjing/miku | A tiny web dev DSL | 86 |
498 | haskell/fgl | A Functional Graph Library for Haskell | 86 |
499 | nwf/dyna | Dyna2 compiler and REPL | 86 |
500 | hdbc/hdbc | Haskell Database Connectivity | 85 |
501 | I3ck/HGE2D | 2D game engine written in Haskell | 85 |
502 | snowdriftcoop/snowdrift | Infrastructure for Snowdrift.coop. This is a MIRROR of https://git.snowdrift.coop/sd/snowdrift. Your issue reports and merge requests are welcome, but they will be moved to git.snowdrift.coop. You are encouraged to start there instead! | 85 |
503 | LumiGuide/haskell-opencv | Haskell binding to OpenCV-3.x | 85 |
504 | diagrams/diagrams | Embedded domain-specific language for declarative vector graphics (wrapper package) | 85 |
505 | janrain/riak-haskell-client | A fast Haskell client library for the Riak decentralized data store | 85 |
506 | gregorycollins/hashtables | Mutable hash tables for Haskell, in the ST monad | 84 |
507 | kazu-yamamoto/recursion-drill | Drill to study recursive programming in Haskell | 84 |
508 | smallhadroncollider/taskell | A command line task manager written in Haskell | 84 |
509 | mrkkrp/req | Easy-to-use, type-safe, expandable, high-level HTTP client library | 84 |
510 | frontrowed/stratosphere | Haskell EDSL and type-checker for AWS CloudFormation templates | 84 |
511 | mattjbray/servant-elm | Automatically derive Elm functions to query servant webservices | 84 |
512 | jekor/vocabulink | web application for learning foreign vocabulary | 84 |
513 | ptol/oczor | Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp | 84 |
514 | simonmar/happy | The Happy parser generator for Haskell | 83 |
515 | dmjio/stripe | 💰 Stripe API | 83 |
516 | snapframework/io-streams | Simple, composable, and easy-to-use stream I/O for Haskell | 83 |
517 | jaspervdj/jaspervdj | Source code of my personal home page. | 83 |
518 | danielwaterworth/siege | [DEPRECATED] A DBMS written in Haskell | 83 |
519 | dmbarbour/awelon | Awelon project is a new UI model with a new language. | 82 |
520 | jcollard/unm-hip | The University of New Mexico's Haskell Image Processing Library | 82 |
521 | alphaHeavy/protobuf | An implementation of Google's Protocol Buffers in Haskell. | 82 |
522 | snoyberg/mono-traversable | Type classes for mapping, folding, and traversing monomorphic containers | 82 |
523 | rodrigosetti/master-plan | Project Management for Hackers | 82 |
524 | cyga/real-world-haskell | parser for code samples from the book "real world haskell" (http://book.realworldhaskell.org/read/) | 82 |
525 | haskell-repa/repa | High performance, regular, shape polymorphic parallel arrays. | 82 |
526 | adjoint-io/uplink | A distributed ledger for secure multiparty workflows in financial markets. | 82 |
527 | y-taka-23/thank-you-stars | Give your dependencies stars on GitHub! | 81 |
528 | cpeikert/Lol | A library for ring-based lattice cryptography | 81 |
529 | quchen/prettyprinter | A modern, extensible and well-documented prettyprinter. | 81 |
530 | DanBurton/tardis | 81 | |
531 | nandor/hcraft | Haskell clone of a certain game | 81 |
532 | haskell-mafia/mafia | Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks. | 81 |
533 | paul-rouse/mysql-simple | A mid-level client library for the MySQL database, intended to be fast and easy to use. | 81 |
534 | haskell-servant/example-servant-elm | Example for a web app with a servant backend and an elm frontend | 80 |
535 | atzeus/FRPNow | 80 | |
536 | rubik/argon | Monitor cyclomatic complexity in Haskell programs | 80 |
537 | advancedtelematic/quickcheck-state-machine | Test monadic programs using state machine based models | 80 |
538 | ziman/idris-py | Python backend for Idris (generates Python source, not bytecode). | 80 |
539 | mongodb-haskell/mongodb | MongoDB driver for Haskell | 80 |
540 | haskell-fswatch/hfsnotify | Unified Haskell interface for basic file system notifications | 80 |
541 | ekmett/discrimination | Fast linear time sorting and discrimination for a large class of data types | 79 |
542 | danchoi/herbalizer | Convert HAML to ERB | 79 |
543 | wavewave/fficxx | Haskell-C++ Foreign Function Interface Generator | 79 |
544 | brunjlar/neural | Neural Nets in native Haskell | 79 |
545 | aviaviavi/cryptocompare | Haskell wrapper for the CryptoCompare API, a source of crypto-currency information and price data | 79 |
546 | willdonnelly/dyre | A Dynamic Reconfiguration Library for Haskell Programs | 79 |
547 | purescript/pursuit | Search engine for PureScript functions | 79 |
548 | erebe/greenclip | Simple clipboard manager to be integrated with rofi - Static binary available | 79 |
549 | haskell-gi/haskell-gi | Generate Haskell bindings for GObject-Introspection capable libraries | 79 |
550 | prasmussen/glot-www | glot.io website | 78 |
551 | ekmett/recursion-schemes | Generalized bananas, lenses and barbed wire | 78 |
552 | haskell/bytestring | An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data. | 78 |
553 | bollu/cellularAutomata | a collection of cellular automata written in Haskell with Diagrams | 78 |
554 | jgm/gitit2 | A reimplementation of gitit in Yesod | 78 |
555 | nomeata/veggies | Hopefully verifiable code generation in GHC | 78 |
556 | bos/pool | A high-performance striped resource pooling implementation for Haskell | 78 |
557 | jozefg/higher-order-unification | A small implementation of higher-order unification | 78 |
558 | batterseapower/test-framework | Framework for running and organising QuickCheck test properties and HUnit test cases | 78 |
559 | acowley/roshask | Haskell client library for the ROS robotics framework. | 78 |
560 | rrnewton/haskell-lockfree | A collection of different packages for CAS based data structures. | 77 |
561 | barrucadu/dejafu | Systematic concurrency testing meets Haskell. | 77 |
562 | jfeltz/dash-haskell | dash docset builder for Haskell packages and cabal project dependencies | 77 |
563 | chrisdone/ircbrowse | An IRC analysis server. | 77 |
564 | hailstorm-hs/hailstorm | Haskell distributed stream processing with exactly-once semantics | 77 |
565 | fpco/safe-exceptions | Safe, consistent, and easy exception handling | 76 |
566 | adjoint-io/merkle-tree | Haskell Merkle Trees | 76 |
567 | ghcjs/ghcjs-examples | 76 | |
568 | m4dc4p/haskelldb | A library for building re-usable and composable SQL queries. | 76 |
569 | Euterpea/Euterpea2 | Euterpea version 2 | 76 |
570 | elisehuard/game-in-haskell | 76 | |
571 | clckwrks/clckwrks | A Haskell CMS platform | 75 |
572 | ekmett/propagators | The Art of the Propagator. See also: | 75 |
573 | Gabriel439/Haskell-Foldl-Library | Composable, streaming, and efficient left folds | 75 |
574 | jyp/styx | A nix-based Haskell project manager | 75 |
575 | jtdaugherty/vty-ui | A terminal user interface programming library similar to graphical interfaces such as GTK and QT. (DEPRECATED, see https://github.com/jtdaugherty/brick) | 75 |
576 | jhickner/hobbes | A cross-platform file activity monitor | 75 |
577 | keera-studios/keera-hails | Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications | 75 |
578 | tfausak/flow | 💧 Write more understandable Haskell. | 75 |
579 | bitc/lushtags | Create ctags compatible tags files for Haskell programs | 75 |
580 | JakeWheat/hssqlppp | sql parser and type checker in haskell | 75 |
581 | haskellnews/haskellnews | An aggregation of all online content related to Haskell. | 74 |
582 | donya/Kulitta | A Haskell-based library for algorithmic and automated composition. This library was the subject of my dissertation at Yale university and is the subject of my ongoing work. | 73 |
583 | ekmett/tables | Deprecated because of | 73 |
584 | fokot/howerpoint | 73 | |
585 | qrilka/xlsx | Simple and incomplete Excel file parser/writer | 73 |
586 | chris-taylor/Classical-Mechanics | Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation. | 73 |
587 | dmbarbour/haskell-vcache | large, persistent, memcached values and structure sharing for Haskell | 73 |
588 | lspitzner/exference | Haskell tool to generate expressions from types | 73 |
589 | ndmitchell/build-shootout | Comparison of build program expressive power | 73 |
590 | ekmett/succinct | playground for working with succinct data structures | 72 |
591 | texodus/forml | A programming language | 72 |
592 | pdtournament/pdtournament | Iterated prisoner's dilemma tournament with bots that can perfectly simulate each other. | 72 |
593 | freizl/hoauth2 | haskell oauth2 binding | 72 |
594 | winterland1989/mysql-haskell | Pure haskell mysql driver | 72 |
595 | nominolo/lambdachine | VM and tracing JIT for Haskell (work in progress) | 72 |
596 | chrisdone/purify | Reproducible builds for PureScript | 72 |
597 | channable/vaultenv | Launch processes with Vault secrets in the environment | 71 |
598 | goldfirere/units | The home of the units Haskell package | 71 |
599 | dapphub/hevm | A debug-oriented Ethereum VM (EVM) | 71 |
600 | mmirman/ImperativeHaskell | Proof that Haskell can look and act like an imperative language. | 71 |
601 | ekmett/bound | Combinators for manipulating locally-nameless generalized de Bruijn terms | 71 |
602 | well-typed/generics-sop | Generic Programming using True Sums of Products | 71 |
603 | jkff/timeplot | Analyst's swiss army knife for visualizing data from ad-hoc log files | 71 |
604 | schell/steeloverseer | A file watcher and development tool. | 71 |
605 | jberryman/unagi-chan | A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API | 71 |
606 | bgamari/b-tree | Haskell on-disk B* tree implementation | 71 |
607 | zjhmale/Ntha | The Ntha Programming Language | 70 |
608 | philopon/apiary | Simple and type safe web framework that can be automatically generate API documentation. | 69 |
609 | dmjio/envy | 😠 Environmentally friendly environment variables | 69 |
610 | knupfer/type-of-html | High performance type safe html generation | 69 |
611 | diffusionkinetics/open | DiffusionKinetics open-source monorepo | 69 |
612 | mhwombat/grid | Tools for working with regular grids/graphs/lattices. | 69 |
613 | Nike-Inc/bartlett | A simple Jenkins command line client to serve your needs. | 69 |
614 | alephnullplex/cradle | Let's Build a Compiler (in Haskell) | 69 |
615 | YoEight/eventstore | EventStore Haskell TCP Client | 69 |
616 | eevee/project-euler | interesting solutions to project euler problems | 69 |
617 | 5outh/Bang | A Drum Machine DSL for Haskell | 69 |
618 | Paczesiowa/virthualenv | Virtual Haskell Environment builder | 69 |
619 | reiddraper/ordeal | 69 | |
620 | feuerbach/regex-applicative | Regex-based parsing with applicative interface | 69 |
621 | lexi-lambda/mtl-style-example | A small example of using mtl style to unit test effectful code | 68 |
622 | alexandersgreen/qio-haskell | The Quantum IO Monad, implemented in Haskell | 68 |
623 | nikita-volkov/strelka | A simple, flexible and composable web-router | 68 |
624 | mikeizbicki/ifcxt | constraint level if statements | 68 |
625 | haskell-servant/servant-auth | 68 | |
626 | alanz/haskell-lsp | Haskell library for the Microsoft Language Server Protocol | 68 |
627 | diagrams/diagrams-lib | Diagrams standard library | 68 |
628 | hablapps/DontFearTheProfunctorOptics | Don't Fear the Profunctor Optics! | 68 |
629 | judah/haskeline | A Haskell library for line input in command-line programs. | 67 |
630 | tanakh/Peggy | The Parser Generator for Haskell | 67 |
631 | jgoerzen/missingh | Utility library [Haskell] | 67 |
632 | data61/lets-lens | Course material for lens | 67 |
633 | jamshidh/ethereum-client-haskell | 67 | |
634 | Gabriel439/Haskell-Annah-Library | Distributed programming language that desugars to Morte | 67 |
635 | abooij/sudbury | Haskell implementation of the wayland protocol | 67 |
636 | augustss/djinn | Generate Haskell code from a type | 66 |
637 | cpennington/h4sh | Fork of Don Stewarts h4sh haskell shell scripts | 66 |
638 | ekmett/reflection | Reifies arbitrary Haskell terms into types that can be reflected back into terms | 66 |
639 | Russell91/pyfi | PYthon Function Interface for haskell | 66 |
640 | bendyworks/api-server | A JSON API server written in Haskell | 66 |
641 | ryantrinkle/memoise | 66 | |
642 | syocy/a-tour-of-go-in-haskell | Write "Concurrency" section of "A Tour of Go" in Haskell | 66 |
643 | ekmett/gl | Complete raw OpenGL bindings for Haskell | 66 |
644 | cmcl/frankjnr | Another implementation of Frank. | 66 |
645 | MichaelBurge/haskoin | Proof-of-concept Blockchain in Haskell | 66 |
646 | NorfairKing/super-user-spark | A safe way to never worry about your beautifully configured system again | 66 |
647 | monky-hs/monky | The main repository for monky | 66 |
648 | jaredloomis/andromeda | A GLSL code generating DSL embedded in Haskell | 66 |
649 | agrafix/funblog | A simple blog software written in Haskell | 66 |
650 | bjornbm/dimensional | Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+). | 65 |
651 | ocharles/hadoom | A little Doom-like 2.5 game engine | 65 |
652 | dmvianna/haskellbook | Exercise solutions for haskellbook.com | 65 |
653 | bkirwi/ethereum-haskell | An independent reimplementation of Ethereum in Haskell | 65 |
654 | cosbynator/haskakafka | Kafka bindings for Haskell | 65 |
655 | mxswd/swift-gen | Generate Swift structs / enums with protocol implementations! | 65 |
656 | msakai/toysolver | My sandbox for experimenting solver algorithms. | 64 |
657 | kolmodin/binary | Efficient, pure binary serialisation using ByteStrings in Haskell. | 64 |
658 | hlian/linklater | A Haskell library for the Slack API (including real-time messaging!) | 64 |
659 | Gabriel439/Haskell-Lens-Tutorial-Library | The missing tutorial module for the lens library | 64 |
660 | danr/hipspec | A hip inductive theorem prover! | 63 |
661 | kRITZCREEK/psc-ide | DEPRECATED - Editor Support for the PureScript programming language | 63 |
662 | sdiehl/zurihac-crypto | Small minimal examples of modern cryptographic techniques in Haskell | 63 |
663 | commercialhaskell/path | Typed filepath | 63 |
664 | thumphries/hgrep | Search Haskell source code from the command line | 63 |
665 | iand675/haskell-checklist | Preflight checklist for Haskell code. Aspire to greatness! | 63 |
666 | ekmett/coda | A language experiment, something to do on my vacation -- irc.freenode.net ##coda | 63 |
667 | def-/ghc-vis | Visualize live Haskell data structures in GHCi | 63 |
668 | crufter/haquery | jQuery for Haskell | 63 |
669 | bazqux/bazqux-urweb | Ur/Web part of BazQux Reader sources | 63 |
670 | grpc/grpc-haskell | gRPC library binding for Haskell. | 62 |
671 | xtendo-org/chips | A fast, lightweight, and concurrent plugin manager for the fish shell, written in Haskell | 62 |
672 | idris-hackers/idris-java | Java Code Generator for Idris | 62 |
673 | sebastiaanvisser/fclabels | First class composable record labels for Haskell. | 62 |
674 | drummyfish/haskell_game | Wolfenstein 3D, ray-casting FPS game I make to learn Haskell. No libraries used, rendering is done in terminal. | 62 |
675 | mgajda/json-autotype | Automatic Haskell type inference from JSON input | 61 |
676 | mstksg/tensor-ops | Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation | 61 |
677 | fumieval/free-game | The free game engine | 61 |
678 | geekrelief/as3tohaxe | An Actionscript 3 to haXe source converter written in Haskell | 61 |
679 | lukasmartinelli/hwk | A Haskell based awk and sed alternative | 61 |
680 | glguy/irc-core | Haskell IRC library and console client - Join us on Freenode #haskell-irc | 61 |
681 | HeinrichApfelmus/operational | Implement monads by specifying instructions and their desired operational semantics. | 61 |
682 | ChrisPenner/Firefly | Simple Haskell http framework | 61 |
683 | owainlewis/http-dispatch | A high level HTTP client for Haskell that focuses on ease of use | 60 |
684 | Twinside/Rasterific | A drawing engine in Haskell | 60 |
685 | MarisaKirisame/Cirno | The Strongest Language In The World | 60 |
686 | feuerbach/monad-classes | A more flexible mtl | 60 |
687 | pietervdvn/Haskell | Introduction to haskell | 60 |
688 | serokell/importify | 👾 Importi.fy it's like Uber, but for Haskell modules. | 60 |
689 | stedolan/idris-malfunction | Experimental Malfunction backend for Idris | 60 |
690 | 2016rshah/heckle | ✒️ Jekyll in Haskell (feat. LaTeX) | 60 |
691 | lynnard/VIMonad | Bringing VIM philosophy to window management | 60 |
692 | dsorokin/aivika | A multi-method simulation library | 59 |
693 | moonmaster9000/bird | A sinatra-ish framework written in haskell, riding on top of Hack | 59 |
694 | sdiehl/dive-into-ghc | Dive into GHC | 59 |
695 | Chase-C/Flocking-Simulation | A 3D Boids-like flocking simulation coded in Haskell. | 59 |
696 | serras/lambdaconf-2015-web | Projects for LambdaConf 2015 Haskell web workshop | 59 |
697 | haskell-servant/servant-swagger | Swagger for Servant | 59 |
698 | LeventErkok/hArduino | Control your Arduino board from Haskell, using the Firmata protocol | 59 |
699 | jekor/hesh | Haskell Extensible Shell | 59 |
700 | tibbe/hashable | A class for types that can be converted to a hash value | 59 |
701 | IFCA/opencl | Haskell high-level wrapper for OpenCL | 59 |
702 | fpco/store | Fast binary serialization | 59 |
703 | pyr/apotiki | a faster debian repository | 59 |
704 | bmillwood/pointfree | Maintenance of the pointfree Hackage package. | 58 |
705 | mchakravarty/lets-program | Let's program! Get into programming writing a simple game. | 58 |
706 | tuxmark5/ApexCtl | An utility to enable extra macro keys on Steelseries Apex keyboards | 58 |
707 | tel/serv | Kind-safe framework for type-safe APIs | 58 |
708 | erebe/wstunnel | Tunneling over websocket protocol - Static binary available | 58 |
709 | yav/graphmod | A utility for displaying the module dependencies of Haskell programs. | 58 |
710 | Gabriel439/Haskell-MVC-Library | Model-view-controller | 58 |
711 | nponeccop/HNC | HN Compiler | 58 |
712 | Lemmih/lhc | The LLVM LHC Haskell Optimization System | 58 |
713 | iu-parfunc/lvars | The LVish Haskell library | 58 |
714 | intolerable/reddit | reddit api for haskell | 57 |
715 | gwern/mueval | A secure sandboxed Haskell interpreter for pure function evaluation | 57 |
716 | nanotech/swift-haskell-tutorial | Integrating Haskell with Swift Mac Apps | 57 |
717 | algas/haskell-servant-cookbook | Haskell Servant Cookbook | 57 |
718 | seanhess/robotquest | RobotQuest is a MMO, programming game. Instead of playing RobotQuest directly, you write a program that plays it for you. Your program communicates with the game server API over HTTP by sending and receiving JSON messages. Written in HTML, Haskell, with MongoDB | 57 |
719 | chrisnc/tangaroa | A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant. | 57 |
720 | sol/reserve | Universal and robust reloading for Haskell web applications | 57 |
721 | diagrams/diagrams-core | Core types and utilities | 57 |
722 | AccelerateHS/accelerate-cuda | Accelerate backend for NVIDIA GPUs | 57 |
723 | ku-fpg/sunroof-compiler | Monadic Javascript Compiler | 57 |
724 | thoughtbot/FOMObot | A slack bot to help with FOMO. | 57 |
725 | haskell-haskey/haskey | Transactional key-value store written entirely in Haskell | 57 |
726 | haskell-servant/example-servant-persistent | Simple example to illustrate how to use persistent and servant in combination. | 57 |
727 | jgm/pandoc-types | types for representing structured documents | 56 |
728 | ekmett/parsers | Generic parser combinators | 56 |
729 | atzeus/reflectionwithoutremorse | Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection | 56 |
730 | stackbuilders/hapistrano | Deploy tool for Haskell applications, like Capistrano for Rails | 56 |
731 | kosmikus/lhs2tex | Preprocessor for typesetting Haskell sources with LaTeX | 56 |
732 | vzaccaria/pandoc-mm | Generate a mindmap from an org-mode file. Complete with annotations. | 56 |
733 | GaloisInc/ec2-unikernel | Tool for uploading unikernels into EC2 | 56 |
734 | ifesdjeen/haskell-ffi-tutorial | A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop | 56 |
735 | liqd/thentos | A tool for privacy-preserving identity management (PPIM) | 55 |
736 | jozefg/pcf | A small compiler for PCF | 55 |
737 | DSLsofMath/DSLsofMath | Domain Specific Languages of Mathematics | 55 |
738 | alevy/postgresql-orm | An Haskell ORM (Object Relational Mapping) and migrations DSL for PostgreSQL. | 55 |
739 | int-index/ether | Monad Transformers and Classes | 54 |
740 | nomeata/gipeda | Git Performance Dashboard | 54 |
741 | guillaume-nargeot/hpc-coveralls | coveralls.io support for haskell code coverage with hpc | 54 |
742 | FranklinChen/clojure-transducers-in-haskell | Clojure transducers in a typed setting, in Haskell | 54 |
743 | cdepillabout/pretty-simple | pretty-printer for Haskell data types that have a Show instance | 54 |
744 | hdevtools/hdevtools | Persistent GHC-powered background server for FAST haskell development tools | 54 |
745 | afcowie/vaultaire | Data vault for metrics | 54 |
746 | jtdaugherty/HaskellNet | Haskell library which provides client support for POP3, SMTP, and IMAP protocols. | 54 |
747 | eskimor/purescript-bridge | Create PureScript datatypes from Haskell datatypes | 54 |
748 | k0001/safe-money | Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals | 54 |
749 | colah/HaskSymb | An Experiment in Haskell Symbolic Algebra | 54 |
750 | jaspervdj/lorem-markdownum | A lorem ipsum generator for markdown | 54 |
751 | dag/all-about-monads | Attempt to port All About Monads to HaskellWiki | 54 |
752 | nikita-volkov/graph-db | An experimental native Haskell graph database | 54 |
753 | tlaitinen/yesod-dsl | A domain specific language and a code generator desined to create RESTful services for managing an RDBMS with Yesod web framework and Persistent. | 54 |
754 | bollu/simplexhc | compiler with polyhedral optmization for a lazy functional programming language | 54 |
755 | nushio3/learn-haskell | 54 | |
756 | ndmitchell/weeder | Detect dead exports or package imports | 54 |
757 | k-bx/protocol-buffers | Haskell protocol-buffers package | 54 |
758 | isomorphism/these | An either-or-both data type, with corresponding hybrid error/writer monad transformer. | 53 |
759 | sjsyrek/study-haskell-nyc | Information about the "Haskell Programming from First Principles" reading group in NYC. | 53 |
760 | ghcjs/ghcjs-dom | Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk | 53 |
761 | fortytools/holumbus | A Haskell library which provides the basic building blocks for creating powerful indexing and search applications. | 53 |
762 | dan-t/cabal-bounds | Manage the bounds/versions of the dependencies in a cabal file. | 53 |
763 | eskimor/servant-purescript | Translate servant API to purescript code, with the help of purescript-bridge. | 53 |
764 | ChrisPenner/eve | An extensible event-driven application framework in haskell | 53 |
765 | Lemmih/hsSDL2 | 53 | |
766 | jtdaugherty/dbmigrations | A library for the creation, management, and installation of schema updates for relational databases. | 53 |
767 | sinelaw/xml-to-json | Fast & easy command line tool for converting XML files to JSON | 53 |
768 | agrafix/elm-bridge | Haskell: Derive Elm types from Haskell types | 53 |
769 | ocharles/blog | The contents of ocharles.org.uk/blog | 53 |
770 | sol/markdown-unlit | Literate Haskell support for Markdown | 53 |
771 | divipp/x86-64 | Runtime code generation for x86 64 bit machine code | 53 |
772 | byorgey/thesis | Brent's PhD thesis. | 53 |
773 | mpickering/slack-api | Haskell bindings to the Slack RTM API | 53 |
774 | vrom911/hs-init | 🔧 Tool for creating completely configured production Haskell projects | 53 |
775 | kosmikus/SSGEP | 52 | |
776 | bos/strange-loop-2011 | Slides and examples from my Haskell workshop at Strange Loop. | 52 |
777 | paulrzcz/hquantlib | HQuantLib, financial math in Haskell | 52 |
778 | bdesham/pinboard-notes-backup | Efficiently back up the notes youve saved to Pinboard | 52 |
779 | bsl/GLFW-b | Haskell bindings to GLFW | 52 |
780 | jvranish/MiniKanrenT | An implementation of miniKanren in Haskell | 52 |
781 | scslab/hails | The security-centric web platform framework | 52 |
782 | ekmett/algebra | constructive abstract algebra | 52 |
783 | jcmincke/Blast | A Distributed Computing Library in Haskell | 52 |
784 | itchyny/miv | Vim plugin manager written in Haskell | 52 |
785 | chpatrick/servant-generic | Specify Servant routes with records | 52 |
786 | tibbe/hyena | A Haskell web application server. | 52 |
787 | adamwalker/sdr | Software defined radio library in Haskell | 52 |
788 | jwiegley/una | A universal interface to multiple unarchiving tools | 52 |
789 | helium/postgresql-transactional | Transactional monadic actions on top of PostgreSQL. | 52 |
790 | AndrasKovacs/tcbe | "type checking by evaluation": variations on Coquand's algorithm for dependent TC | 52 |
791 | snoyberg/markdown | Convert Markdown to HTML, with XSS protection | 51 |
792 | dpiponi/Moodler | Modular softsynth | 51 |
793 | alpmestan/servant | Moved to http://github.com/haskell-servant | 51 |
794 | ChrisPenner/SitePipe | Yet another static site generator - non-opinionated, value-level. Less magic == easier to understand | 51 |
795 | fpco/weigh | Measure allocations of a Haskell functions/values | 51 |
796 | davean/waldo | A small Haskell server for generating visual stories based on some ascertainable data about the requester. | 51 |
797 | mokehehe/monao | Super monao bros. in Haskell | 51 |
798 | kim/leveldb-haskell | Haskell bindings to LevelDB (http://leveldb.googlecode.com) | 51 |
799 | ghcjs/jsaddle | JavaScript interface that works with GHCJS or GHC | 51 |
800 | vincenthz/language-java | Java parser and printer for haskell | 51 |
801 | lexi-lambda/higher-rank | A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism | 51 |
802 | ShabbyX/libpandoc | C bindings to Pandoc, a markup converter library written in Haskell. | 51 |
803 | CGenie/haskell-snake | Snake game implemetation in Haskell using SDL | 51 |
804 | divarvel/jDbT | jinx Database Tools | 51 |
805 | ahushh/Monaba | Imageboard engine written in Haskell and powered by Yesod | 51 |
806 | rnons/shadowsocks-haskell | shadowsocks in haskell | 51 |
807 | yamadapc/haskell-ascii-progress | A simple Haskell progress bar for the console. Heavily borrows from TJ Holowaychuk's Node.JS project | 50 |
808 | ekmett/structures | A playground for working on advanced data structures in Haskell | 50 |
809 | phischu/fragnix | Fragment-based code distribution! | 50 |
810 | jgoerzen/hslogger | Logging infrastructure [Haskell] | 50 |
811 | HaskellZhangSong/Introduction_to_Haskell | This is source code of my book. | 50 |
812 | frasertweedale/hs-jose | Haskell JOSE and JWT library | 50 |
813 | haskell/ThreadScope | A graphical tool for profiling parallel Haskell programs | 50 |
814 | hspec/hspec-example | A Haskell/Hspec skeleton project | 50 |
815 | tomlokhorst/AwesomePrelude | Yet another alternative Haskell Prelude, but this one is awesome! | 50 |
816 | urv/fixhs | FIX (co)parser in haskell | 50 |
817 | creswick/ihaskell-notebook | 50 | |
818 | tmcdonell/cuda | Haskell FFI bindings to CUDA | 50 |
819 | jhickner/smtp-mail | Making it easy to send SMTP email from Haskell | 50 |
820 | snoyberg/http-conduit | Superseded by: https://github.com/snoyberg/http-client | 50 |
821 | puffnfresh/free-graphs | Generate GraphViz graphs by interpretting free monads. | 50 |
822 | ndmitchell/debug | Haskell library for debugging | 50 |
823 | jml/servant-template | Cookiecutter template for Servant projects | 50 |
824 | ajhc/demo-android-ndk | Demo Ajhc application on Android NDK | 49 |
825 | pontarius/pontarius-xmpp | An XMPP client library for Haskell. | 49 |
826 | tobbebex/GPipe | A functional graphics API for programmable GPUs | 49 |
827 | dorchard/effect-monad | Embeds effect systems in Haskell using 'parametric effect monads' | 49 |
828 | msakai/cpl | An interpreter of Hagino's Categorical Programming Language (CPL). | 49 |
829 | skogsbaer/hscurses | ncurses binding for Haskell | 49 |
830 | ruuda/blog | My personal site | 49 |
831 | soundcloud/haskell-kubernetes | Haskell bindings to the v1 Kubernetes api, generated via swagger-codegen | 49 |
832 | TaktInc/hail | A service for pull-based continuous deployment based on hydra. | 49 |
833 | wyager/Example-Distributed-App | An example distributed systems application in Haskell using Cloud Haskell | 49 |
834 | ElvishJerricco/fraxl | 49 | |
835 | prowdsponsor/fb | Bindings for Facebook's API. | 49 |
836 | tomahawkins/improve | An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink. | 49 |
837 | JeffreyBenjaminBrown/digraphs-with-text | 48 | |
838 | k0001/tisch | Type-safe SQL interactions with PostgreSQL, based on Opaleye. | 48 |
839 | MedeaMelana/Magic | Haskell implementation of Magic: The Gathering | 48 |
840 | mchakravarty/lazy-lambda | Lazy Lambda a Flappy Bird clone in Haskell with SpriteKit | 48 |
841 | fumieval/objective | Purely functional objects | 48 |
842 | hausdorff/pyli | A Python 3 compiler that anyone can understand. | 48 |
843 | hansroland/reflex-dom-inbits | A tutorial for reflex-dom with small code bits | 48 |
844 | baig/pandoc-csv2table | A Pandoc filter that renders CSV as Pandoc Markdown Tables. | 48 |
845 | IxpertaSolutions/freer-effects | An implementation of "Freer Monads, More Extensible Effects". | 48 |
846 | alexbecker/formal-morality | A formal moral framework coded in Haskell | 48 |
847 | rudymatela/fitspec | refine properties for testing Haskell programs | 48 |
848 | well-typed/visualize-cbn | 48 | |
849 | snoyberg/xml | Various XML utility packages for Haskell | 48 |
850 | idris-hackers/idris-llvm | Idris LLVM codegen factored out | 48 |
851 | ToJans/learninghaskell | Learning Haskell | 48 |
852 | bschwb/cis194-solutions | Solutions for CIS 194 - Spring 2013 | 47 |
853 | contivero/hasmin | Hasmin - A Haskell CSS Minifier | 47 |
854 | haskell-perf/sequences | Benchmarks for sequence data structures: lists, vectors, etc. | 47 |
855 | poor-a/erlang-ffi | A Foreign Function Interface that lets Haskell and Erlang programs communicate. | 47 |
856 | GaloisInc/cereal | 47 | |
857 | travitch/datalog | A pure Haskell implementation of Datalog | 47 |
858 | chetant/LibClang | Haskell FFI to libclang | 47 |
859 | Soostone/retry | Retry combinators for monadic actions that may fail | 47 |
860 | djv/VisualProf | http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot | 47 |
861 | afcowie/http-streams | Haskell HTTP client library for use with io-streams | 47 |
862 | kazu-yamamoto/http2 | HTTP/2.0 library including HPACK | 47 |
863 | haskell-distributed/distributed-process-platform | DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server, distributed-process-registry, distributed-process-supervisor, distributed-process-task and distributed-process-execution | 47 |
864 | fpco/rdr2tls | Haskell web service that redirects all traffic from HTTP to HTTPS | 47 |
865 | ajtulloch/deeplearning-hs | 47 | |
866 | christian-marie/git-vogue | Make your Haskell git repositories fashionable. | 47 |
867 | bjpop/haskell-mpi | MPI bindings for Haskell | 47 |
868 | danstiner/hfmt | Format Haskell programs. Inspired by the gofmt utility. | 47 |
869 | music-suite/music-score | Musical time structure | 47 |
870 | fumieval/extensible | Extensible records, variants, structs, effects, tangles | 47 |
871 | chrisdone/labels | Declare and access tuple fields with labels | 47 |
872 | haskell/win32 | Haskell support for the Win32 API | 47 |
873 | jdreaver/eventful | Event Sourcing library for Haskell | 46 |
874 | mietek/idris-bash | GNU bash backend for Idris | 46 |
875 | HackerFoo/peg | A lazy non-deterministic concatenative programming language | 46 |
876 | feuerbach/ansi-terminal | ANSI terminal support for Haskell, with Windows compatibility | 46 |
877 | ku-fpg/hermit | Haskell Equational Reasoning Model-to-Implementation Tunnel | 46 |
878 | tfausak/hairy | 💇 A JSON REST API built in Haskell. | 46 |
879 | jkff/splot | Visualizing the activity of many concurrent processes | 46 |
880 | haskell-suite/haskell-names | Haskell suite library for name resolution | 46 |
881 | aleator/CV | Haskell wrappers and utilities for OpenCV machine vision library | 46 |
882 | stepcut/hyperdrive | A fast, low-level HTTP server you can trust | 46 |
883 | MrElendig/dotfiles-alice | dotfiles from the 'Alice' box | 46 |
884 | purescript/trypurescript | PureScript in the browser | 46 |
885 | abarbu/matplotlib-haskell | Haskell bindings for Python's Matplotlib | 46 |
886 | raimohanska/reactive-bacon | FRP (functional reactive programming) framework inspired by RX and Iteratee | 46 |
887 | uber/queryparser | Parsing and analysis of Vertica, Hive, and Presto SQL. | 46 |
888 | camfort/camfort | Light-weight verification and transformation tools for Fortran. See http://camfort.github.io | 46 |
889 | nurpax/sqlite-simple | Mid-level bindings for sqlite | 46 |
890 | awakesecurity/gRPC-haskell | Haskell gRPC support | 46 |
891 | lambdacube3d/lambdacube-compiler | LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out: | 46 |
892 | ajtulloch/haskell-ml | Haskell implementations of various ML algorithms. | 46 |
893 | Happstack/happstack-server | An HTTP Server | 45 |
894 | slindley/effect-handlers | 45 | |
895 | airalab/hs-web3 | Ethereum API for Haskell. | 45 |
896 | keera-studios/keera-posture | Alleviate your back pain using Haskell and a webcam | 45 |
897 | bitemyapp/open-haskell | Community edited and directed course based on Spring '13 cis194. | 45 |
898 | ekmett/comonad | Haskell 98 comonads | 45 |
899 | waldheinz/ads | A Freenet clone written in Haskell | 45 |
900 | sol/tinc | A dependency manager for Haskell | 45 |
901 | mpickering/apply-refact | Refactor Haskell source files | 45 |
902 | Gabriel439/Haskell-Errors-Library | Type-safe error handling | 45 |
903 | ekmett/semigroups | Haskell 98 semigroups | 45 |
904 | mikeizbicki/typeparams | Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation | 45 |
905 | madjestic/Haskell-OpenGL-Tutorial | an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO | 45 |
906 | slyrz/hase | Haskell bindings for the Senna NLP toolkit | 45 |
907 | jano017/Discord.hs | Have you heard of our lord and savior Haskell? | 45 |
908 | olegakbarov/twentyOne | Blackjack | 45 |
909 | Noeda/dfterm3 | Remote Dwarf Fortress playing | 44 |
910 | basvandijk/monad-control | Lift control operations, like exception catching, through monad transformers | 44 |
911 | bendmorris/scotch | The Scotch programming language | 44 |
912 | cartazio/arithmoi | arithmoi is currently maintained here | 44 |
913 | valis/hoq | A language based on homotopy type theory with an interval | 44 |
914 | TomSmeets/FractalArt | Generate colorful wallpapers! | 44 |
915 | Lysxia/generic-random | Generic random generators | 44 |
916 | erikd/http-proxy | A Haskell library for writing HTTP and HTTPS proxies. | 44 |
917 | swift-nav/plover | Plover is a language for matrix algebra on embedded systems. | 44 |
918 | imalsogreg/servant-reflex | Generate reflex client functions for querying a servant API | 44 |
919 | jamesdabbs/pi-base.hs | A Haskell-powered modernization of Counterexamples in Topology | 44 |
920 | jwiegley/putting-lenses-to-work | A presentation for BayHac 2017 on how I uses lenses at work | 44 |
921 | bmillwood/stepeval | A program for evaluating a Haskell expression step-by-step | 44 |
922 | ocramz/xeno | Fast Haskell XML parser | 44 |
923 | hunt-framework/hunt | A flexible, lightweight search platform | 44 |
924 | ekmett/ersatz | A monad for interfacing with external SAT solvers | 44 |
925 | dmjio/google-translate | ㊙️ Google Translate API | 44 |
926 | ameingast/postgresql-simple-migration | PostgreSQL Schema Migrations for Haskell | 43 |
927 | m0ar/safe-streaming | Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project. | 43 |
928 | thoughtbot/yesod-auth-oauth2 | OAuth2 authentication for yesod | 43 |
929 | hunt-framework/hayoo | Hackage search engine | 43 |
930 | dhall-lang/dhall-nix | Dhall to Nix compiler | 43 |
931 | AllureOfTheStars/Allure | Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad game written in Haskell | 43 |
932 | vincenthz/hs-gauge | criterion fork on a diet | 43 |
933 | mainland/language-c-quote | 43 | |
934 | expipiplus1/vulkan | Haskell bindings for Vulkan | 43 |
935 | lachenmayer/arrowsmith | Augmented editor for Elm. | 43 |
936 | centromere/cacophony | A Haskell library implementing the Noise protocol. | 43 |
937 | jorendorff/talks | Some talks I've given | 43 |
938 | vincenthz/hs-certificate | Certificate and Key Reader/Writer in haskell | 43 |
939 | chris-taylor/SICP-in-Haskell | 43 | |
940 | dorlowd/haskell-servant-realworld-example-app | 43 | |
941 | riak-haskell-client/riak-haskell-client | A fast Haskell client library for the Riak decentralized data store | 43 |
942 | Erdwolf/prolog | A prolog interpreter written in Haskell. | 43 |
943 | yav/type-nat-solver | A plugin for solving numeric constraints in GHC's type-checker | 43 |
944 | faylang/fay-jquery | jQuery bindings for Fay (experimental) | 43 |
945 | haskell-perf/dictionaries | Benchmarks for dictionary data structures: hash tables, maps, tries, etc. | 43 |
946 | roseperrone/phil | An extension of my brain | 43 |
947 | denibertovic/docker-hs | A Haskell library for the Docker Engine API | 43 |
948 | softmechanics/warp | A fast, light-weight web server for WAI applications. | 43 |
949 | xmonad/X11 | A Haskell binding to the X11 graphics library. | 42 |
950 | ryanpbrewster/haskell | Personal haskell programs | 42 |
951 | ixmatus/orgmode-parse | Attoparsec parser combinators for parsing org-mode structured text! | 42 |
952 | nomeata/inspection-testing | Inspection Testing for Haskell | 42 |
953 | buildsome/buildsome | Buildsome: The awesome build system | 42 |
954 | nau/lasca-compiler | Lasca is Scala shifted towards Haskell. | 42 |
955 | cruxlang/crux | Crux Programming Language | 42 |
956 | snoyberg/basic-prelude | An enhanced core prelude, meant for building up more complete preludes on top of. | 42 |
957 | Zankoku-Okuno/octopus | A highly-dynamic language inspired by Kernel, Javascript, Clojure, Arc and science. | 42 |
958 | jgoerzen/hpodder | Podcatcher to download podcasts [Haskell] (unmaintained) | 42 |
959 | karun012/arion | 42 | |
960 | bartavelle/language-puppet | A library to work with Puppet manifests, test them and eventually replace everything ruby. | 42 |
961 | bergey/haskell-OpenGL-examples | 42 | |
962 | soenkehahn/getopt-generics | Create command line interfaces with ease | 42 |
963 | luispedro/ngless | NGLess: NGS with less work | 42 |
964 | thlorenz/WebToInk | Downloads and converts a properly set up Html book or a blog into mobi format | 42 |
965 | qmuli/qmuli | Qmuli - Serverless framework for Haskell | 42 |
966 | tidalcycles/tidal-midi | Tidal module for sending patterns over MIDI | 42 |
967 | mkawalec/imap | A performant IMAP client library | 42 |
968 | howistart/howistart.org | How I Start website code | 42 |
969 | scotty-web/scotty-starter | A starter-kit for the Scotty web framework | 42 |
970 | snoyberg/file-embed | Use Template Haskell to embed file contents directly. | 42 |
971 | danoctavian/bit-smuggler | tunnel traffic through a genuine bittorrent connection | 42 |
972 | hauxir/haskell-tetris | Tetris game written in Haskell using ncurses | 42 |
973 | haskell/pretty | Haskell Pretty-printer library | 42 |
974 | mrkkrp/zip | Efficient library for manipulating zip archives | 42 |
975 | nh2/haskell-from-python | Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary) | 41 |
976 | ghulette/haskell-parser-examples | Examples of a simple parser written in both Parsec and Happy/Alex | 41 |
977 | vincenthz/hit | library to manipulate git repositories in haskell (no bindings) | 41 |
978 | ledger/ledger4 | A rewrite of Ledger's core mathematical concepts in Haskell | 41 |
979 | acfoltzer/Molog | A typed logic programming language embedded in Haskell | 41 |
980 | sol/aeson-qq | JSON quasiquoter for Haskell | 41 |
981 | raaz-crypto/raaz | Cryptographic network library for Haskell | 41 |
982 | fmthoma/ascii-art-to-unicode | Small program to convert ASCII box art to Unicode box drawings. | 41 |
983 | mitchellwrosen/slacky | 41 | |
984 | VerbalExpressions/HaskellVerbalExpressions | 41 | |
985 | haskell-opengl/GLUT | Haskell bindings to GLUT | 41 |
986 | well-typed/ghc-events-analyze | 41 | |
987 | bos/bloomfilter | A fast Haskell Bloom filter library. | 41 |
988 | jhartikainen/hs-language-php | Experimental Haskell PHP parser / evaluator / code generator | 41 |
989 | mzero/barley | Get going with Haskell ASAP | 41 |
990 | sweirich/tal | An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) | 41 |
991 | Zenius2016/BoardAlfa | Temporary Official repo for board announcement ZenXLeague | 41 |
992 | exclipy/pdata | Purely functional, persistent and efficient vector and hash-map data structures for Haskell | 41 |
993 | neongreen/haskell-ex | Haskell exercises I wrote for Haskell Learning Group | 41 |
994 | tfausak/blunt | ✏️ Convert between pointfree and pointful Haskell expressions. | 41 |
995 | mlite/hLLVM | A Haskell library for analysing and transforming LLVM code | 41 |
996 | ilya-klyuchnikov/lambdapi | Dependently Typed Lambda Calculus in Haskell | 41 |
997 | ambiata/icicle | A streaming query language. | 40 |
998 | ocharles/plhaskell | Write PostgreSQL functions in Haskell | 40 |
999 | dstcruz/Write-Yourself-A-Scheme-In-48-Hours | My solutions to the popular Haskell tutorial | 40 |
1000 | jgoerzen/hsh | Shell Integration Library [Haskell] | 40 |
Inspired by awesome repo rxjs-ecosystem. Thanks Nick