## This is a most popular repository list for Haskell sorted by number of stars
|STARS|FORKS|ISSUES|LAST COMMIT|NAME/PLACE|DESCRIPTION|
| --- | --- | --- | --- | --- | --- |
| 25235 | 1271 | 706 | 26 days ago | [shellcheck](https://github.com/koalaman/shellcheck)/1 | ShellCheck, a static analysis tool for shell scripts |
| 23335 | 1929 | 1502 | 36 minutes ago | [graphql-engine](https://github.com/hasura/graphql-engine)/2 | Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events. |
| 22882 | 2692 | 741 | 2 days ago | [pandoc](https://github.com/jgm/pandoc)/3 | Universal markup converter |
| 17201 | 791 | 149 | 4 days ago | [postgrest](https://github.com/PostgREST/postgrest)/4 | REST API for any Postgres database |
| 8065 | 459 | 108 | 4 months ago | [semantic](https://github.com/github/semantic)/5 | Parsing, analyzing, and comparing source code across many languages |
| 7202 | 516 | 273 | 12 hours ago | [purescript](https://github.com/purescript/purescript)/6 | A strongly-typed language that compiles to JavaScript |
| 6475 | 573 | 237 | 2 months ago | [compiler](https://github.com/elm/compiler)/7 | Compiler for Elm, a functional language for reliable webapps. |
| 5531 | 240 | 78 | a day ago | [hadolint](https://github.com/hadolint/hadolint)/8 | Dockerfile linter, validate inline bash, written in Haskell |
| 3975 | 145 | 76 | 4 hours ago | [Carp](https://github.com/carp-lang/Carp)/9 | A statically typed lisp, without a GC, for real-time applications. |
| 3937 | 307 | 6 | 23 days ago | [Haxl](https://github.com/facebook/Haxl)/10 | A Haskell library that simplifies access to remote data, such as databases or web-based services.  |
| 3936 | 190 | 598 | a day ago | [unison](https://github.com/unisonweb/unison)/11 | A friendly programming language from the future |
| 3668 | 1127 | 16 | 4 hours ago | [fp-course](https://github.com/system-f/fp-course)/12 | Functional Programming Course |
| 3634 | 607 | 188 | 1 year, 7 days ago | [cardano-sl](https://github.com/input-output-hk/cardano-sl)/13 | Cryptographic currency implementing Ouroboros PoS protocol |
| 3563 | 790 | 844 | 3 days ago | [stack](https://github.com/commercialhaskell/stack)/14 | The Haskell Tool Stack |
| 3330 | 631 | 71 | 22 days ago | [duckling](https://github.com/facebook/duckling)/15 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. |
| 3302 | 658 | 706 | 5 days ago | [Idris-dev](https://github.com/idris-lang/Idris-dev)/16 | A Dependently Typed Functional Programming Language |
| 2982 | 239 | 28 | 4 years ago | [write-you-a-haskell](https://github.com/sdiehl/write-you-a-haskell)/17 | Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) |
| 2602 | 157 | 7 | 3 years ago | [Functional-Programming](https://github.com/caiorss/Functional-Programming)/18 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python |
| 2541 | 648 | 8 | a day ago | [ghc](https://github.com/ghc/ghc)/19 | Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing). |
| 2482 | 147 | 242 | 1 year, 11 months ago | [eta](https://github.com/typelead/eta)/20 | The Eta Programming Language, a dialect of Haskell on the JVM |
| 2441 | 175 | 282 | 1 year, 4 months ago | [ghcjs](https://github.com/ghcjs/ghcjs)/21 | Haskell to JavaScript compiler, based on GHC |
| 2440 | 228 | 302 | 8 months ago | [haskell-ide-engine](https://github.com/haskell/haskell-ide-engine)/22 | The engine for haskell ide-integration. Not an IDE |
| 2417 | 153 | 12 | 3 months ago | [awesome-haskell](https://github.com/krispo/awesome-haskell)/23 | A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. |
| 2361 | 358 | 87 | a day ago | [yesod](https://github.com/yesodweb/yesod)/24 | A RESTful Haskell web framework built on WAI. |
| 2316 | 311 | 90 | 4 hours ago | [wire-server](https://github.com/wireapp/wire-server)/25 | 🇪🇺 Wire back-end services |
| 2310 | 391 | 118 | 9 days ago | [hakyll](https://github.com/jaspervdj/hakyll)/26 | A static website compiler library in Haskell |
| 2264 | 236 | 43 | 20 days ago | [IHaskell](https://github.com/gibiansky/IHaskell)/27 | A Haskell kernel for IPython. |
| 2143 | 221 | 3 | 2 days ago | [wiwinwlh](https://github.com/sdiehl/wiwinwlh)/28 | What I Wish I Knew When Learning Haskell |
| 2057 | 109 | 80 | 4 years ago | [corrode](https://github.com/jameysharp/corrode)/29 | C to Rust translator |
| 1995 | 102 | 127 | 2 days ago | [ihp](https://github.com/digitallyinduced/ihp)/30 | 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness |
| 1934 | 206 | 208 | 2 months ago | [gitit](https://github.com/jgm/gitit)/31 | A wiki using HAppS, pandoc, and git |
| 1910 | 224 | 84 | 5 days ago | [xmonad](https://github.com/xmonad/xmonad)/32 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager |
| 1832 | 132 | 36 | 2 months ago | [miso](https://github.com/dmjio/miso)/33 | :ramen: A tasty Haskell front-end framework |
| 1779 | 239 | 89 | a month ago | [lens](https://github.com/ekmett/lens)/34 | Lenses, Folds, and Traversals - Join us on freenode #haskell-lens |
| 1766 | 232 | 328 | 13 hours ago | [hledger](https://github.com/simonmichael/hledger)/35 | easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger |
| 1689 | 65 | 6 | 4 hours ago | [lamdu](https://github.com/lamdu/lamdu)/36 | lamdu - towards the next generation IDE |
| 1682 | 306 | 283 | 3 hours ago | [cardano-node](https://github.com/input-output-hk/cardano-node)/37 | The core component that is used to participate in a Cardano decentralised blockchain. |
| 1675 | 52 | 112 | 5 months ago | [asterius](https://github.com/tweag/asterius)/38 | A Haskell to WebAssembly compiler |
| 1604 | 45 | 17 | 3 months ago | [patat](https://github.com/jaspervdj/patat)/39 | Terminal-based presentations using Pandoc |
| 1592 | 154 | 375 | 20 hours ago | [haskell-language-server](https://github.com/haskell/haskell-language-server)/40 | Successor of ghcide & haskell-ide-engine. One IDE to rule them all. |
| 1577 | 135 | 24 | 5 years ago | [HLearn](https://github.com/mikeizbicki/HLearn)/41 | Homomorphic machine learning |
| 1536 | 192 | 736 | 8 days ago | [agda](https://github.com/agda/agda)/42 | Agda is a dependently typed programming language / interactive theorem prover. |
| 1510 | 368 | 59 | 5 years ago | [zsh-git-prompt](https://github.com/olivierverdier/zsh-git-prompt)/43 | Informative git prompt for zsh |
| 1505 | 125 | 48 | 24 days ago | [scotty](https://github.com/scotty-web/scotty)/44 | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) |
| 1501 | 97 | 51 | 38 minutes ago | [futhark](https://github.com/diku-dk/futhark)/45 | :boom::computer::boom: A data-parallel functional programming language |
| 1495 | 334 | 240 | 8 days ago | [servant](https://github.com/haskell-servant/servant)/46 | Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! |
| 1470 | 40 | 18 | 5 days ago | [Simula](https://github.com/SimulaVR/Simula)/47 | Linux VR Desktop |
| 1431 | 219 | 24 | 3 years ago | [real-world-haskell-cn](https://github.com/huangz1990/real-world-haskell-cn)/48 | 《Real World Haskell》中文翻译项目 |
| 1428 | 115 | 18 | 28 days ago | [erd](https://github.com/BurntSushi/erd)/49 | Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. |
| 1421 | 110 | 62 | 2 years ago | [haste-compiler](https://github.com/valderman/haste-compiler)/50 | A GHC-based Haskell to JavaScript compiler |
| 1410 | 192 | 33 | 4 months ago | [haskell](https://github.com/tensorflow/haskell)/51 | Haskell bindings for TensorFlow |
| 1374 | 193 | 217 | 7 months ago | [yi](https://github.com/yi-editor/yi)/52 | The Haskell-Scriptable Editor |
| 1362 | 78 | 68 | 6 days ago | [koka](https://github.com/koka-lang/koka)/53 | Koka language compiler and interpreter |
| 1360 | 189 | 115 | 11 days ago | [Tidal](https://github.com/tidalcycles/Tidal)/54 | Pattern language |
| 1355 | 81 | 22 | 1 year, 2 months ago | [grenade](https://github.com/HuwCampbell/grenade)/55 | Deep Learning in Haskell |
| 1258 | 44 | 37 | 3 months ago | [taskell](https://github.com/smallhadroncollider/taskell)/56 | Command-line Kanban board/task manager with support for Trello boards and GitHub projects |
| 1258 | 557 | 1506 | a day ago | [cabal](https://github.com/haskell/cabal)/57 | Official upstream development repository for Cabal and cabal-install |
| 1256 | 86 | 23 | 5 months ago | [fay](https://github.com/faylang/fay)/58 | A proper subset of Haskell that compiles to JavaScript |
| 1249 | 135 | 213 | 4 months ago | [elm-format](https://github.com/avh4/elm-format)/59 | elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide |
| 1224 | 94 | 4 | 1 year, 7 months ago | [haskell-trainings](https://github.com/google/haskell-trainings)/60 | Haskell 101 and 102: slides and codelabs |
| 1180 | 152 | 189 | 3 hours ago | [hlint](https://github.com/ndmitchell/hlint)/61 | Haskell source code suggestions |
| 1161 | 194 | 283 | 2 months ago | [codeworld](https://github.com/google/codeworld)/62 | Educational computer programming environment using Haskell |
| 1151 | 141 | 66 | a day ago | [neuron](https://github.com/srid/neuron)/63 | Future-proof note-taking and publishing based on Zettelkasten |
| 1120 | 36 | 87 | 2 days ago | [wasp](https://github.com/wasp-lang/wasp)/64 | A programming language that understands what a web app is. |
| 1115 | 128 | 3 | 2 days ago | [brick](https://github.com/jtdaugherty/brick)/65 | A declarative Unix terminal UI programming library written in Haskell |
| 1057 | 91 | 27 | 20 days ago | [aura](https://github.com/fosskers/aura)/66 | A secure, multilingual package manager for Arch Linux and the AUR. |
| 1056 | 83 | 4 | 24 days ago | [articles](https://github.com/quchen/articles)/67 | Miscellaneous articles. The readme is the table of contents. |
| 1041 | 145 | 30 | 1 year, 5 months ago | [intero](https://github.com/chrisdone/intero)/68 | None |
| 1029 | 58 | 0 | 3 years ago | [haskell-must-watch](https://github.com/hzlmn/haskell-must-watch)/69 | Huge list of  videos, talks, courses for Haskell programming language. |
| 1024 | 134 | 57 | 11 days ago | [ImplicitCAD](https://github.com/Haskell-Things/ImplicitCAD)/70 | A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation... |
| 1016 | 240 | 68 | 11 days ago | [aeson](https://github.com/haskell/aeson)/71 | A fast Haskell JSON library |
| 1010 | 85 | 37 | 2 years ago | [HaLVM](https://github.com/GaloisInc/HaLVM)/72 | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen |
| 1010 | 106 | 188 | 1 year, 4 months ago | [clash-compiler](https://github.com/clash-lang/clash-compiler)/73 | Haskell to VHDL/Verilog/SystemVerilog compiler |
| 994 | 66 | 117 | a day ago | [dex-lang](https://github.com/google-research/dex-lang)/74 | Research language for array processing in the Haskell/ML family |
| 988 | 29 | 20 | 1 year, 7 months ago | [kit](https://github.com/kitlang/kit)/75 | (INACTIVE) Kit: a magical, high performance programming language, designed for game development. Pre-alpha! |
| 972 | 129 | 17 | 1 year, 24 days ago | [fp-course](https://github.com/tonymorris/fp-course)/76 | Functional Programming Course |
| 961 | 100 | 159 | 6 days ago | [cryptol](https://github.com/GaloisInc/cryptol)/77 | Cryptol: The Language of Cryptography |
| 961 | 34 | 15 | 22 days ago | [toodles](https://github.com/aviaviavi/toodles)/78 | Project management directly from the TODOs in your codebase |
| 959 | 94 | 90 | a month ago | [ghcid](https://github.com/ndmitchell/ghcid)/79 | Very low feature GHCi based IDE |
| 940 | 108 | 227 | 13 days ago | [leksah](https://github.com/leksah/leksah)/80 | Haskell IDE |
| 931 | 36 | 65 | 7 months ago | [kitten](https://github.com/evincarofautumn/kitten)/81 | A statically typed concatenative systems programming language. |
| 928 | 133 | 78 | 15 days ago | [reflex](https://github.com/reflex-frp/reflex)/82 | Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse. |
| 921 | 127 | 21 | 2 years ago | [queryparser](https://github.com/uber/queryparser)/83 | Parsing and analysis of Vertica, Hive, and Presto SQL. |
| 920 | 33 | 45 | 1 year, 3 months ago | [radicle-alpha](https://github.com/radicle-dev/radicle-alpha)/84 | A peer-to-peer stack for code collaboration |
| 893 | 121 | 9 | 3 years ago | [kaleidoscope](https://github.com/sdiehl/kaleidoscope)/85 | Haskell LLVM JIT Compiler Tutorial |
| 889 | 39 | 24 | 10 months ago | [gifcurry](https://github.com/lettier/gifcurry)/86 | 😎 The open-source, Haskell-built video editor for GIF makers. |
| 877 | 103 | 386 | 3 days ago | [liquidhaskell](https://github.com/ucsd-progsys/liquidhaskell)/87 | Liquid Types For Haskell |
| 877 | 26 | 1 | 1 year, 1 month ago | [unused](https://github.com/joshuaclayton/unused)/88 | Deprecated; see https://github.com/unused-code/unused |
| 871 | 28 | 24 | a day ago | [grin](https://github.com/grin-compiler/grin)/89 | GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. |
| 868 | 91 | 5 | 26 days ago | [wstunnel](https://github.com/erebe/wstunnel)/90 | Tunneling over websocket protocol - Static binary available  |
| 837 | 59 | 72 | 6 days ago | [polysemy](https://github.com/polysemy-research/polysemy)/91 | :gemini: higher-order, no-boilerplate monads |
| 833 | 68 | 57 | 24 days ago | [matterhorn](https://github.com/matterhorn-chat/matterhorn)/92 | A feature-rich Unix terminal client for the Mattermost chat system |
| 809 | 48 | 3 | 26 days ago | [software-design-in-haskell](https://github.com/graninas/software-design-in-haskell)/93 | Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. |
| 806 | 33 | 17 | 11 days ago | [egison](https://github.com/egison/egison)/94 | The Egison Programming Language |
| 796 | 86 | 35 | 2 months ago | [Haskell-Turtle-Library](https://github.com/Gabriel439/Haskell-Turtle-Library)/95 | Shell programming, Haskell style |
| 782 | 7 | 3 | 10 days ago | [neut](https://github.com/veka41/neut)/96 | A dependently-typed programming language with compile-time malloc/free determination |
| 781 | 82 | 73 | 2 hours ago | [hasktorch](https://github.com/hasktorch/hasktorch)/97 | Tensors and neural networks in Haskell |
| 780 | 121 | 87 | 2 months ago | [stylish-haskell](https://github.com/haskell/stylish-haskell)/98 | Haskell code prettifier |
| 776 | 132 | 9 | 2 years ago | [elm-platform](https://github.com/elm-lang/elm-platform)/99 | Bundle of all core development tools for Elm |
| 769 | 96 | 53 | 2 hours ago | [accelerate](https://github.com/AccelerateHS/accelerate)/100 | Embedded language for high-performance array computations |
| 766 | 179 | 35 | a month ago | [conduit](https://github.com/snoyberg/conduit)/101 | A streaming data library |
| 759 | 36 | 6 | 9 months ago | [LtuPatternFactory](https://github.com/thma/LtuPatternFactory)/102 | Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns |
| 747 | 46 | 83 | 17 days ago | [niv](https://github.com/nmattia/niv)/103 | Easy dependency management for Nix projects |
| 746 | 50 | 31 | 5 months ago | [Rome](https://github.com/tmspzz/Rome)/104 | Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others  |
| 738 | 83 | 81 | a day ago | [kmonad](https://github.com/kmonad/kmonad)/105 | An advanced keyboard manager |
| 734 | 25 | 15 | 4 years ago | [oden](https://github.com/oden-lang/oden)/106 | The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) |
| 733 | 18 | 8 | 10 months ago | [bench](https://github.com/Gabriel439/bench)/107 | Command-line benchmark tool |
| 731 | 93 | 30 | 2 months ago | [optparse-applicative](https://github.com/pcapriotti/optparse-applicative)/108 | Applicative option parser |
| 721 | 42 | 1 | 5 years ago | [detexify-hs-backend](https://github.com/kirel/detexify-hs-backend)/109 | Detexify Backend written in Haskell |
| 720 | 44 | 73 | 19 days ago | [project-m36](https://github.com/agentm/project-m36)/110 | Project: M36 Relational Algebra Engine |
| 717 | 54 | 31 | 2 months ago | [rio](https://github.com/commercialhaskell/rio)/111 | A standard library for Haskell |
| 701 | 229 | 50 | 2 days ago | [wai](https://github.com/yesodweb/wai)/112 | Haskell Web Application Interface |
| 700 | 73 | 6 | 2 months ago | [megaparsec](https://github.com/mrkkrp/megaparsec)/113 | Industrial-strength monadic parser combinator library |
| 696 | 184 | 50 | 29 days ago | [developers-roadmap](https://github.com/fullstack-development/developers-roadmap)/114 | How to learn front-end or back-end development |
| 696 | 57 | 8 | 5 years ago | [dnngraph](https://github.com/ajtulloch/dnngraph)/115 | A DSL for deep neural networks, supporting Caffe and Torch |
| 694 | 26 | 6 | 20 days ago | [greenclip](https://github.com/erebe/greenclip)/116 | Simple clipboard manager to be integrated with rofi - Static binary available |
| 691 | 39 | 2 | 5 months ago | [cgrep](https://github.com/awgn/cgrep)/117 | Cgrep: a context-aware grep for source codes |
| 685 | 185 | 115 | 2 years ago | [ghc-mod](https://github.com/DanielG/ghc-mod)/118 | Happy Haskell Hacking for editors. DEPRECATED |
| 672 | 19 | 8 | 2 months ago | [pboy](https://github.com/2mol/pboy)/119 | a small .pdf management tool with a command-line UI |
| 667 | 103 | 108 | 15 days ago | [echidna](https://github.com/crytic/echidna)/120 | Ethereum smart contract fuzzer |
| 666 | 27 | 36 | 10 months ago | [sixten](https://github.com/ollef/sixten)/121 | Functional programming with fewer indirections |
| 666 | 23 | 15 | 2 years ago | [waymonad](https://github.com/waymonad/waymonad)/122 | A wayland compositor based on ideas from and inspired by xmonad |
| 663 | 111 | 173 | 11 days ago | [shake](https://github.com/ndmitchell/shake)/123 | Shake build system |
| 659 | 95 | 73 | 10 months ago | [distributed-process](https://github.com/haskell-distributed/distributed-process)/124 | Cloud Haskell core library |
| 648 | 76 | 44 | 6 months ago | [parsec](https://github.com/haskell/parsec)/125 | A monadic parser combinator library |
| 647 | 70 | 115 | a month ago | [brittany](https://github.com/lspitzner/brittany)/126 | haskell source code formatter |
| 643 | 67 | 1 | 9 years ago | [stanford-cs240h](https://github.com/bos/stanford-cs240h)/127 | Course materials for Stanford CS240h, "Functional Systems in Haskell" |
| 636 | 122 | 0 | 5 years ago | [Haskell-Data-Analysis-Cookbook](https://github.com/BinRoot/Haskell-Data-Analysis-Cookbook)/128 | Accompanying Source Code for the Haskell Data Analysis Cookbook |
| 630 | 57 | 44 | 11 days ago | [alga](https://github.com/snowleopard/alga)/129 | Algebraic graphs |
| 629 | 15 | 4 | 5 months ago | [glance](https://github.com/rgleichman/glance)/130 | A visual Haskell |
| 626 | 59 | 33 | 3 months ago | [Spock](https://github.com/agrafix/Spock)/131 | Another Haskell web framework for rapid development |
| 625 | 28 | 9 | 3 months ago | [transient](https://github.com/transient-haskell/transient)/132 | 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) |
| 624 | 164 | 70 | 23 hours ago | [xmobar](https://github.com/jaor/xmobar)/133 | A minimalistic status bar |
| 620 | 38 | 25 | 3 months ago | [reanimate](https://github.com/reanimate/reanimate)/134 | Haskell library for building declarative animations based on SVG graphics |
| 614 | 70 | 60 | 19 days ago | [ormolu](https://github.com/tweag/ormolu)/135 | A formatter for Haskell source code |
| 613 | 109 | 73 | 2 days ago | [quickcheck](https://github.com/nick8325/quickcheck)/136 | Automatic testing of Haskell programs. |
| 610 | 89 | 31 | a month ago | [hspec](https://github.com/hspec/hspec)/137 | A Testing Framework for Haskell |
| 606 | 90 | 37 | 2 days ago | [spago](https://github.com/purescript/spago)/138 | 🍝 PureScript package manager and build tool powered by Dhall and package-sets |
| 603 | 101 | 0 | 6 months ago | [ghcide](https://github.com/haskell/ghcide)/139 | A library for building Haskell IDE tooling |
| 603 | 30 | 392 | 1 year, 2 months ago | [luna-studio](https://github.com/enso-org/luna-studio)/140 | Looking for Luna, the WYSIWYG language for data processing? Development has moved :point_right: |
| 600 | 40 | 19 | 8 months ago | [rasa](https://github.com/ChrisPenner/rasa)/141 | Extremely modular text editor built in Haskell |
| 598 | 40 | 0 | 3 years ago | [legion](https://github.com/aviaviavi/legion)/142 | Simple blockchain server written in haskell |
| 597 | 23 | 44 | 3 months ago | [linux_notification_center](https://github.com/phuhl/linux_notification_center)/143 | A notification daemon/center for linux |
| 597 | 66 | 29 | 2 months ago | [summoner](https://github.com/kowainik/summoner)/144 | 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects |
| 595 | 71 | 23 | 3 years ago | [helm](https://github.com/z0w0/helm)/145 | A functionally reactive game engine, with headgear to protect you from the headache of game development provided. |
| 592 | 99 | 84 | 4 days ago | [haskell-hedgehog](https://github.com/hedgehogqa/haskell-hedgehog)/146 | Release with confidence, state-of-the-art property testing for Haskell. |
| 583 | 74 | 135 | 6 months ago | [obelisk](https://github.com/obsidiansystems/obelisk)/147 | Functional reactive web and mobile applications, with batteries included. |
| 581 | 51 | 297 | 8 days ago | [streamly](https://github.com/composewell/streamly)/148 | Dataflow programming and declarative concurrency |
| 567 | 53 | 38 | 4 days ago | [pandoc-crossref](https://github.com/lierdakil/pandoc-crossref)/149 | Pandoc filter for cross-references |
| 553 | 158 | 7 | 1 year, 9 days ago | [applied-fp-course](https://github.com/qfpl/applied-fp-course)/150 | Applied Functional Programming Course - Move from exercises to a working app! |
| 553 | 36 | 13 | 6 months ago | [purescript-native](https://github.com/andyarvanitis/purescript-native)/151 | A native compiler backend for PureScript (via C++ or Golang) |
| 551 | 21 | 0 | 3 years ago | [hython](https://github.com/mattgreen/hython)/152 | Haskell-powered Python 3 interpreter |
| 550 | 36 | 3 | 1 year, 4 months ago | [FP-Course-ITMO](https://github.com/jagajaga/FP-Course-ITMO)/153 | Slides and other materials for functional programming lectures ITMO university |
| 542 | 112 | 124 | 11 days ago | [hoogle](https://github.com/ndmitchell/hoogle)/154 | Haskell API search engine |
| 537 | 13 | 8 | 1 year, 1 month ago | [forest-compiler](https://github.com/forest-lang/forest-compiler)/155 | A multi-syntax functional programming language that compiles to WebAssembly. |
| 529 | 26 | 2 | 2 months ago | [tetris](https://github.com/samtay/tetris)/156 | A terminal interface for Tetris |
| 525 | 115 | 55 | a month ago | [taffybar](https://github.com/taffybar/taffybar)/157 | A gtk based status bar for tiling window managers such as XMonad |
| 525 | 107 | 89 | 4 days ago | [haskell-opaleye](https://github.com/tomjaguarpaw/haskell-opaleye)/158 | None |
| 517 | 39 | 29 | 2 months ago | [fused-effects](https://github.com/fused-effects/fused-effects)/159 | A fast, flexible, fused effect system for Haskell |
| 517 | 200 | 10 | 2 days ago | [plutus-pioneer-program](https://github.com/input-output-hk/plutus-pioneer-program)/160 | None |
| 516 | 521 | 16 | a month ago | [learn4haskell](https://github.com/kowainik/learn4haskell)/161 | 👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests |
| 510 | 71 | 0 | 5 months ago | [haskell-exercises](https://github.com/i-am-tom/haskell-exercises)/162 | A little course to learn about some of the more obscure GHC extensions. |
| 510 | 62 | 5 | a month ago | [relude](https://github.com/kowainik/relude)/163 | 🌀 Safe, performant, user-friendly and lightweight Haskell standard library |
| 508 | 30 | 0 | 4 years ago | [carnival](https://github.com/thoughtbot/carnival)/164 | An unobtrusive, developer-friendly way to add comments |
| 507 | 109 | 68 | 4 months ago | [hindent](https://github.com/mihaimaruseac/hindent)/165 | Haskell pretty printer |
| 505 | 74 | 13 | 3 days ago | [tasty](https://github.com/UnkindPartition/tasty)/166 | Modern and extensible testing framework for Haskell |
| 503 | 92 | 1 | 23 days ago | [haskoin-core](https://github.com/haskoin/haskoin-core)/167 | Haskoin Core is a Bitcoin and Bitcoin Cash library |
| 503 | 153 | 0 | 5 years ago | [FP101x-Content-2015](https://github.com/fptudelft/FP101x-Content-2015)/168 | FP101x - Functional Programming MOOC 2015 Content Repository |
| 497 | 39 | 18 | 4 months ago | [HaskellR](https://github.com/tweag/HaskellR)/169 | The full power of R in Haskell. |
| 489 | 19 | 0 | 5 months ago | [bartosz-basics-of-haskell](https://github.com/raviksharma/bartosz-basics-of-haskell)/170 | Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial |
| 485 | 88 | 42 | 4 months ago | [hpack](https://github.com/sol/hpack)/171 | hpack: A modern format for Haskell packages |
| 481 | 73 | 22 | 2 years ago | [cubicaltt](https://github.com/mortberg/cubicaltt)/172 | Experimental implementation of Cubical Type Theory |
| 478 | 35 | 3 | 1 year, 11 months ago | [intro_to_parsing](https://github.com/JakeWheat/intro_to_parsing)/173 | Introduction to parsing with Haskell and Parsec |
| 477 | 20 | 2 | 3 months ago | [zero-bullshit-haskell](https://github.com/alpacaaa/zero-bullshit-haskell)/174 | Learn Haskell, without the bullshit. |
| 471 | 30 | 2 | 1 year, 4 months ago | [bulletproofs](https://github.com/adjoint-io/bulletproofs)/175 | Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup  |
| 470 | 107 | 23 | 2 months ago | [tip-toi-reveng](https://github.com/entropia/tip-toi-reveng)/176 | Trying to understand the file format of Tip Toi |
| 469 | 184 | 121 | 11 days ago | [amazonka](https://github.com/brendanhay/amazonka)/177 | A comprehensive Amazon Web Services SDK for Haskell. |
| 466 | 115 | 96 | 12 days ago | [beam](https://github.com/haskell-beam/beam)/178 | A type-safe, non-TH Haskell SQL library and ORM |
| 466 | 118 | 92 | 17 hours ago | [dapptools](https://github.com/dapphub/dapptools)/179 | Dapp, Seth, Hevm, and more |
| 464 | 49 | 0 | 3 years ago | [DeepDarkFantasy](https://github.com/ThoughtWorksInc/DeepDarkFantasy)/180 | A Programming Language for Deep Learning |
| 463 | 39 | 3 | 3 years ago | [hell](https://github.com/chrisdone/hell)/181 | None |
| 463 | 20 | 20 | 1 year, 3 months ago | [haskell-code-explorer](https://github.com/alexwl/haskell-code-explorer)/182 | Web application for exploring and understanding Haskell codebases |
| 463 | 25 | 0 | 3 years ago | [10-minute-vim-exercises](https://github.com/steveshogren/10-minute-vim-exercises)/183 | The exercise files from 10 Minute Vim, for convenience of readers |
| 457 | 17 | 6 | 7 months ago | [eff](https://github.com/hasura/eff)/184 | 🚧 a work in progress effect system for Haskell 🚧 |
| 457 | 24 | 18 | 3 years ago | [frp-zoo](https://github.com/gelisam/frp-zoo)/185 | Comparing many FRP implementations by reimplementing the same toy app in each. |
| 456 | 37 | 96 | 24 days ago | [LambdaHack](https://github.com/LambdaHack/LambdaHack)/186 | Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at |
| 455 | 19 | 5 | 11 months ago | [jl](https://github.com/chrisdone/jl)/187 | Functional sed for JSON |
| 454 | 69 | 55 | a month ago | [reactive-banana](https://github.com/HeinrichApfelmus/reactive-banana)/188 | Library for functional reactive programming in Haskell. |
| 453 | 166 | 3 | 3 years ago | [xmonad-config](https://github.com/vicfryzel/xmonad-config)/189 | My xmonad and xmobar configuration, plus necessary scripts to make things more usable. |
| 453 | 80 | 0 | 3 years ago | [hpffp-resources](https://github.com/pushcx/hpffp-resources)/190 | Haskell Programming From First Principles - Follow-up Resources |
| 453 | 75 | 27 | 3 months ago | [attoparsec](https://github.com/haskell/attoparsec)/191 | A fast Haskell library for parsing ByteStrings |
| 451 | 25 | 20 | 2 years ago | [hylogen](https://github.com/sleexyz/hylogen)/192 | GLSL embedded in Haskell |
| 447 | 51 | 7 | 4 years ago | [juno](https://github.com/kadena-io/juno)/193 | Smart Contracts Running on a BFT Hardened Raft |
| 447 | 65 | 32 | 7 months ago | [snap](https://github.com/snapframework/snap)/194 | Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates. |
| 443 | 84 | 2 | 4 months ago | [scheme](https://github.com/write-you-a-scheme-v2/scheme)/195 | Write You a Scheme |
| 440 | 75 | 16 | a month ago | [Haskell-Pipes-Library](https://github.com/Gabriel439/Haskell-Pipes-Library)/196 | Compositional pipelines |
| 440 | 45 | 29 | 3 months ago | [selda](https://github.com/valderman/selda)/197 | A type-safe, high-level SQL library for Haskell |
| 439 | 75 | 121 | 2 months ago | [foundation](https://github.com/haskell-foundation/foundation)/198 | Empire strikes back |
| 424 | 21 | 1 | 3 years ago | [time.gif](https://github.com/def-/time.gif)/199 | GIF that always shows the current time in UTC |
| 422 | 43 | 21 | 3 months ago | [hasql](https://github.com/nikita-volkov/hasql)/200 | Performant PostgreSQL driver with a flexible mapping API |
| 422 | 30 | 10 | a day ago | [sparkle](https://github.com/tweag/sparkle)/201 | Haskell on Apache Spark. |
| 421 | 15 | 0 | 8 months ago | [WhyHaskellMatters](https://github.com/thma/WhyHaskellMatters)/202 | In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples.  The presentation aims to be self-contained and does not require any previous knowledge of the language.  |
| 420 | 63 | 45 | 2 years ago | [elm-reactor](https://github.com/elm-lang/elm-reactor)/203 | Interactive development tool that makes it easy to develop and debug Elm programs. |
| 418 | 21 | 25 | 2 months ago | [komposition](https://github.com/owickstrom/komposition)/204 | The video editor built for screencasters |
| 417 | 20 | 26 | 3 months ago | [granule](https://github.com/granule-project/granule)/205 | A statically typed linear functional language with graded modal types for fine-grained program reasoning |
| 415 | 13 | 12 | 2 years ago | [compleat](https://github.com/mbrubeck/compleat)/206 | Generate command-line completions using a simple DSL. |
| 412 | 29 | 71 | 22 days ago | [stan](https://github.com/kowainik/stan)/207 | 🕵️ Haskell STatic ANalyser |
| 409 | 15 | 4 | 21 days ago | [espial](https://github.com/jonschoning/espial)/208 |  Espial is an open-source, web-based bookmarking server. |
| 409 | 84 | 62 | 20 hours ago | [cardano-wallet](https://github.com/input-output-hk/cardano-wallet)/209 | HTTP server & command-line for managing UTxOs and HD wallets in Cardano. |
| 405 | 12 | 11 | 2 months ago | [retrie](https://github.com/facebookincubator/retrie)/210 | Retrie is a powerful, easy-to-use codemodding tool for Haskell. |
| 403 | 36 | 63 | 1 year, 7 months ago | [graphql-api](https://github.com/haskell-graphql/graphql-api)/211 | Write type-safe GraphQL services in Haskell |
| 403 | 43 | 18 | 4 years ago | [subhask](https://github.com/mikeizbicki/subhask)/212 | Type safe interface for working in subcategories of Hask |
| 403 | 118 | 39 | 4 months ago | [bloodhound](https://github.com/bitemyapp/bloodhound)/213 | Haskell Elasticsearch client and query DSL |
| 402 | 44 | 34 | 4 months ago | [generic-lens](https://github.com/kcsongor/generic-lens)/214 | Generically derive traversals, lenses, and prisms. |
| 399 | 6 | 12 | 8 months ago | [brok](https://github.com/smallhadroncollider/brok)/215 | Find broken links in text documents |
| 399 | 182 | 0 | 4 months ago | [xmonad-ubuntu-conf](https://github.com/davidbrewer/xmonad-ubuntu-conf)/216 | My xmonad config for Ubuntu versions from 20.04 all the way back to 12.04! Including package list, config files, and instructions. |
| 398 | 265 | 181 | 2 days ago | [persistent](https://github.com/yesodweb/persistent)/217 | Persistence interface for Haskell allowing multiple storage methods. |
| 397 | 22 | 7 | 3 years ago | [webify](https://github.com/ananthakumaran/webify)/218 | webfont generator - converts ttf to woff, eot and svg |
| 396 | 47 | 0 | 3 years ago | [gists](https://github.com/kqr/gists)/219 | With way too messy gist.github pages this is an attempt to organise my snippets |
| 393 | 17 | 4 | 2 months ago | [pLam](https://github.com/slovnicki/pLam)/220 | An interpreter for learning and exploring pure λ-calculus |
| 389 | 53 | 50 | 2 years ago | [rest](https://github.com/silkapp/rest)/221 | Packages for defining APIs, running them, generating client code and documentation. |
| 388 | 12 | 2 | 5 years ago | [Caramel](https://github.com/MaiaVictor/Caramel)/222 | A modern syntax for the λ-calculus. |
| 386 | 87 | 76 | 4 months ago | [haskell-platform](https://github.com/haskell/haskell-platform)/223 | Distribution of Haskell with batteries included  |
| 385 | 21 | 6 | 24 days ago | [stgi](https://github.com/quchen/stgi)/224 | A user-centric visual STG implementation to help understand GHC/Haskell's execution model. |
| 383 | 97 | 41 | 28 days ago | [proto-lens](https://github.com/google/proto-lens)/225 | API for protocol buffers using modern Haskell language and library patterns. |
| 382 | 61 | 0 | 1 year, 1 month ago | [pi-forall](https://github.com/sweirich/pi-forall)/226 | A demo implementation of a simple dependently-typed language |
| 379 | 72 | 50 | a month ago | [threepenny-gui](https://github.com/HeinrichApfelmus/threepenny-gui)/227 | GUI framework that uses the web browser as a display. |
| 377 | 40 | 10 | 5 months ago | [protolude](https://github.com/protolude/protolude)/228 | A sensible starting Prelude template. |
| 375 | 38 | 5 | 5 years ago | [LambdaNet](https://github.com/jbarrow/LambdaNet)/229 | Purely functional artificial neural network library implemented in Haskell. |
| 375 | 218 | 61 | 3 days ago | [xmonad-contrib](https://github.com/xmonad/xmonad-contrib)/230 | Contributed modules for xmonad |
| 375 | 23 | 0 | 2 years ago | [DontFearTheProfunctorOptics](https://github.com/hablapps/DontFearTheProfunctorOptics)/231 | Don't Fear the Profunctor Optics! |
| 374 | 24 | 1 | 3 months ago | [Functional-Design-and-Architecture](https://github.com/graninas/Functional-Design-and-Architecture)/232 | Code and materials for my book "Functional Design and Architecture" |
| 373 | 82 | 41 | 4 months ago | [hs-tls](https://github.com/vincenthz/hs-tls)/233 | TLS/SSL implementation in haskell |
| 372 | 76 | 59 | 3 months ago | [haskell-chart](https://github.com/timbod7/haskell-chart)/234 | A 2D charting library for haskell |
| 368 | 112 | 3 | 1 year, 2 months ago | [constellation](https://github.com/ConsenSys/constellation)/235 | Peer-to-peer encrypted message exchange |
| 363 | 112 | 44 | 3 months ago | [websockets](https://github.com/jaspervdj/websockets)/236 | A Haskell library for creating WebSocket-capable servers |
| 361 | 71 | 13 | 3 months ago | [wreq](https://github.com/haskell/wreq)/237 | None |
| 361 | 141 | 29 | 4 hours ago | [haskell](https://github.com/exercism/haskell)/238 | Exercism exercises in Haskell. |
| 361 | 51 | 67 | 10 days ago | [haskell-ci](https://github.com/haskell-CI/haskell-ci)/239 | Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations |
| 360 | 85 | 43 | 9 months ago | [Shelly.hs](https://github.com/gregwebs/Shelly.hs)/240 | Haskell shell scripting |
| 359 | 39 | 34 | 10 days ago | [concat](https://github.com/conal/concat)/241 | Compiling to Categories |
| 359 | 25 | 14 | 1 year, 7 months ago | [Haskell-Morte-Library](https://github.com/Gabriel439/Haskell-Morte-Library)/242 | A bare-bones calculus-of-constructions |
| 357 | 23 | 13 | 3 years ago | [call-haskell-from-anything](https://github.com/nh2/call-haskell-from-anything)/243 | Call Haskell functions from any programming language via serialization and dynamic libraries |
| 357 | 199 | 46 | 3 months ago | [github](https://github.com/phadej/github)/244 | The github API for Haskell |
| 357 | 27 | 23 | 1 year, 4 months ago | [ivory](https://github.com/GaloisInc/ivory)/245 | The Ivory EDSL |
| 356 | 18 | 17 | 4 years ago | [haskell-emacs](https://github.com/knupfer/haskell-emacs)/246 | Write Emacs extensions in Haskell |
| 356 | 49 | 66 | 6 days ago | [pact](https://github.com/kadena-io/pact)/247 | The Pact Smart Contract Language |
| 355 | 6 | 9 | 1 year, 6 months ago | [Son](https://github.com/seagreen/Son)/248 | Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json |
| 353 | 25 | 72 | 7 days ago | [cachix](https://github.com/cachix/cachix)/249 | Command line client for Nix binary cache hosting: |
| 351 | 27 | 13 | 5 years ago | [markup.rocks](https://github.com/osener/markup.rocks)/250 | Pandoc based document editor and converter in your browser. |
| 350 | 24 | 9 | 2 years ago | [movie-monad](https://github.com/lettier/movie-monad)/251 | :tv: A free and simple to use video player made with Haskell. |
| 348 | 35 | 33 | 3 years ago | [haskell-do](https://github.com/theam/haskell-do)/252 | :pencil2: :bar_chart: - The Haskell code editor focused on interactive development. |
| 345 | 21 | 4 | 8 years ago | [CloudHaskell](https://github.com/jepst/CloudHaskell)/253 | A distributed computing framework for Haskell |
| 345 | 49 | 268 | 16 hours ago | [saw-script](https://github.com/GaloisInc/saw-script)/254 | The SAW scripting language. |
| 345 | 102 | 60 | 3 months ago | [hmatrix](https://github.com/haskell-numerics/hmatrix)/255 | Linear algebra and numerical computation |
| 343 | 23 | 14 | 5 years ago | [react-haskell](https://github.com/joelburget/react-haskell)/256 | React bindings for Haskell |
| 342 | 13 | 0 | 1 year, 9 months ago | [hnes](https://github.com/dbousamra/hnes)/257 | :video_game: NES Emulator written in Haskell |
| 338 | 11 | 0 | 6 months ago | [haskus-system](https://github.com/haskus/haskus-system)/258 | System programming in Haskell on top of Linux |
| 337 | 68 | 13 | 15 days ago | [clay](https://github.com/sebastiaanvisser/clay)/259 | A CSS preprocessor as embedded Haskell. |
| 334 | 21 | 15 | 2 months ago | [massiv](https://github.com/lehins/massiv)/260 | Efficient Haskell Arrays featuring Parallel computation |
| 333 | 9 | 4 | 3 years ago | [verve-lang](https://github.com/tadeuzagallo/verve-lang)/261 | A functional language for the working hacker |
| 333 | 71 | 11 | 3 years ago | [fp-course](https://github.com/bitemyapp/fp-course)/262 | Fork of the original Data61 course to be more Stack friendly |
| 331 | 70 | 2 | 5 months ago | [gloss](https://github.com/benl23x5/gloss)/263 | Painless 2D vector graphics, animations and simulations. |
| 330 | 12 | 3 | 2 years ago | [mezzo](https://github.com/DimaSamoz/mezzo)/264 | A Haskell library for typesafe music composition |
| 325 | 21 | 13 | a month ago | [Earley](https://github.com/ollef/Earley)/265 | Parsing all context-free grammars using Earley's algorithm in Haskell. |
| 325 | 24 | 35 | 1 year, 2 months ago | [funflow](https://github.com/tweag/funflow)/266 | Functional workflows |
| 324 | 38 | 19 | 1 year, 7 months ago | [yst](https://github.com/jgm/yst)/267 | create static websites from YAML data and string templates |
| 324 | 13 | 15 | 2 years ago | [infernu](https://github.com/sinelaw/infernu)/268 | Type inference and checking for a safer JavaScript. |
| 323 | 29 | 22 | 4 hours ago | [hstream](https://github.com/hstreamdb/hstream)/269 | The database built for IoT streaming data storage and real-time stream processing. |
| 321 | 82 | 62 | 8 days ago | [esqueleto](https://github.com/bitemyapp/esqueleto)/270 | New home of Esqueleto, please file issues so we can get things caught up! |
| 321 | 23 | 14 | 6 months ago | [Reduceron](https://github.com/tommythorn/Reduceron)/271 | 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. |
| 318 | 170 | 184 | 25 days ago | [hackage-server](https://github.com/haskell/hackage-server)/272 | Hackage-Server: A Haskell Package Repository |
| 318 | 45 | 18 | 2 months ago | [machines](https://github.com/ekmett/machines)/273 | Networks of composable stream transducers |
| 316 | 123 | 54 | 2 months ago | [reflex-dom](https://github.com/reflex-frp/reflex-dom)/274 | Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface. |
| 316 | 14 | 66 | 2 days ago | [hawk](https://github.com/gelisam/hawk)/275 | Haskell text processor for the command-line |
| 315 | 23 | 13 | 3 days ago | [vaultenv](https://github.com/channable/vaultenv)/276 | Launch processes with Vault secrets in the environment |
| 315 | 79 | 30 | a month ago | [snap-core](https://github.com/snapframework/snap-core)/277 | Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.  |
| 314 | 55 | 10 | 2 months ago | [ad](https://github.com/ekmett/ad)/278 | Automatic Differentiation |
| 313 | 13 | 36 | 21 days ago | [optics](https://github.com/well-typed/optics)/279 | Optics as an abstract interface |
| 312 | 64 | 73 | 4 months ago | [doctest](https://github.com/sol/doctest)/280 | An implementation of Python's doctest for Haskell |
| 311 | 24 | 28 | 3 days ago | [squeal](https://github.com/morphismtech/squeal)/281 | Squeal, a deep embedding of SQL in Haskell |
| 310 | 36 | 2 | 8 years ago | [aima-haskell](https://github.com/chris-taylor/aima-haskell)/282 | Algorithms from AIMA in Haskell |
| 309 | 6 | 15 | 10 months ago | [ptghci](https://github.com/litxio/ptghci)/283 | High-powered REPL for Haskell, inspired by IPython |
| 307 | 14 | 0 | 7 months ago | [tart](https://github.com/jtdaugherty/tart)/284 | Tart - draw ASCII art in the terminal with your mouse! |
| 307 | 40 | 29 | 4 days ago | [morpheus-graphql](https://github.com/morpheusgraphql/morpheus-graphql)/285 | Haskell GraphQL Api, Client and Tools |
| 306 | 36 | 9 | 9 months ago | [Yampa](https://github.com/ivanperez-keera/Yampa)/286 | Functional Reactive Programming domain-specific language embedded in Haskell, for programming efficient hybrid (mixed discrete-time and continuous-time) systems. |
| 302 | 11 | 1 | 2 years ago | [quine-central](https://github.com/dpiponi/quine-central)/287 | A quine generator |
| 301 | 11 | 12 | 6 years ago | [dbignore](https://github.com/tkonolige/dbignore)/288 | .gitignore for Dropbox |
| 301 | 10 | 2 | 7 years ago | [berp](https://github.com/bjpop/berp)/289 | An implementation of Python 3 |
| 301 | 39 | 2 | 4 years ago | [dotfiles-tilingwm](https://github.com/altercation/dotfiles-tilingwm)/290 | Tiling window manager related files (XMonad / i3) including configuration for components that create a good, minimal desktop-environment replacement. |
| 298 | 76 | 23 | a month ago | [hedis](https://github.com/informatikr/hedis)/291 | A Redis client library for Haskell. |
| 297 | 8 | 6 | 8 months ago | [nuri](https://github.com/suhdonghwi/nuri)/292 | 누리 : 함수형 한글 프로그래밍 언어 |
| 296 | 31 | 6 | 6 months ago | [apecs](https://github.com/jonascarpay/apecs)/293 | a fast, type driven, extensible ECS for game development |
| 296 | 91 | 4 | 2 months ago | [parconc-examples](https://github.com/simonmar/parconc-examples)/294 | Sample code to accompany the book "Parallel and Concurrent Programming in Haskell" |
| 295 | 8 | 5 | 4 years ago | [FuncShell](https://github.com/iostreamer-X/FuncShell)/295 | Improve your shell by making it functional through Haskell! (An update to Awkward) |
| 293 | 108 | 57 | a month ago | [vector](https://github.com/haskell/vector)/296 | An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework . |
| 292 | 72 | 39 | 6 months ago | [sdl2](https://github.com/haskell-game/sdl2)/297 | Haskell bindings to the SDL2 library |
| 289 | 27 | 9 | 1 year, 11 months ago | [Angel](https://github.com/MichaelXavier/Angel)/298 | Process Monitoring/Management, Like Daemontools |
| 287 | 31 | 40 | 7 months ago | [hakaru](https://github.com/hakaru-dev/hakaru)/299 | A probabilistic programming language |
| 287 | 68 | 3 | 3 months ago | [monad-challenges](https://github.com/mightybyte/monad-challenges)/300 | A set of challenges for jump starting your understanding of monads. |
| 286 | 32 | 4 | 28 days ago | [req](https://github.com/mrkkrp/req)/301 | An HTTP client library |
| 284 | 39 | 19 | 15 days ago | [termonad](https://github.com/cdepillabout/termonad)/302 | Terminal emulator configurable in Haskell. |
| 284 | 29 | 20 | 2 months ago | [incredible](https://github.com/nomeata/incredible)/303 | The Incredible Proof Machine |
| 283 | 14 | 6 | 1 year, 7 months ago | [Expresso](https://github.com/willtim/Expresso)/304 | A simple expressions language with polymorphic extensible row types. |
| 280 | 121 | 60 | a day ago | [text](https://github.com/haskell/text)/305 | An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.  |
| 280 | 47 | 10 | 2 months ago | [trifecta](https://github.com/ekmett/trifecta)/306 | Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink |
| 279 | 56 | 17 | 4 months ago | [async](https://github.com/simonmar/async)/307 | Run IO operations asynchronously and wait for their results |
| 279 | 116 | 79 | 2 months ago | [package.elm-lang.org](https://github.com/elm/package.elm-lang.org)/308 | website for browsing packages and exploring documentation |
| 279 | 10 | 2 | 6 months ago | [holmes](https://github.com/i-am-tom/holmes)/309 | A reference library for constraint-solving with propagators and CDCL. |
| 278 | 62 | 0 | 8 months ago | [pandoc-citeproc](https://github.com/jgm/pandoc-citeproc)/310 | Library and executable for using citeproc with pandoc |
| 277 | 34 | 6 | 1 year, 2 months ago | [scalpel](https://github.com/fimad/scalpel)/311 | A high level web scraping library for Haskell. |
| 275 | 44 | 22 | 2 months ago | [recursion-schemes](https://github.com/recursion-schemes/recursion-schemes)/312 | Generalized bananas, lenses and barbed wire |
| 275 | 46 | 6 | 7 months ago | [servant-persistent](https://github.com/parsonsmatt/servant-persistent)/313 | A brief example of Servant with Persistent |
| 274 | 87 | 11 | 3 years ago | [HaskellKoans](https://github.com/HaskVan/HaskellKoans)/314 | Haskell Koans for the Vancouver's Haskell UnMeetup |
| 273 | 153 | 153 | 2 days ago | [containers](https://github.com/haskell/containers)/315 | Assorted concrete container types |
| 273 | 12 | 8 | 10 days ago | [quickstrom](https://github.com/quickstrom/quickstrom)/316 | High-confidence browser testing |
| 272 | 29 | 1 | 15 hours ago | [slides](https://github.com/Gabriel439/slides)/317 | Slides from talks that I give |
| 271 | 24 | 28 | 3 years ago | [ru-haskell-book](https://github.com/anton-k/ru-haskell-book)/318 | учебник по Haskell |
| 270 | 27 | 14 | 2 months ago | [csound-expression](https://github.com/spell-music/csound-expression)/319 | Haskell Framework for Electronic Music |
| 269 | 19 | 6 | 1 year, 6 days ago | [friday](https://github.com/RaphaelJ/friday)/320 | Fast image IO and transformations. |
| 268 | 7 | 0 | 2 years ago | [vado](https://github.com/chrisdone/vado)/321 | A demo web browser engine written in Haskell |
| 267 | 53 | 23 | 2 months ago | [monad-bayes](https://github.com/tweag/monad-bayes)/322 | A library for probabilistic programming in Haskell. |
| 264 | 18 | 0 | 4 years ago | [lit](https://github.com/cdosborn/lit)/323 | A modern tool for literate programming |
| 264 | 24 | 29 | 4 months ago | [husk-scheme](https://github.com/justinethier/husk-scheme)/324 | A full implementation of the Scheme programming language for the Haskell Platform. |
| 264 | 39 | 67 | 7 days ago | [Frames](https://github.com/acowley/Frames)/325 | Data frames for tabular data. |
| 261 | 45 | 21 | 11 months ago | [mtl](https://github.com/haskell/mtl)/326 | The Monad Transformer Library |
| 261 | 8 | 0 | 7 years ago | [z](https://github.com/chrisdone/z)/327 | A strict, impure, curried, partially applied programming language with rather peculiar syntax.  |
| 260 | 155 | 24 | 7 days ago | [network](https://github.com/haskell/network)/328 | Low-level networking interface |
| 260 | 6 | 0 | 8 years ago | [Sirea](https://github.com/dmbarbour/Sirea)/329 | Simply Reactive! Declarative orchestration in Haskell using RDP |
| 260 | 20 | 3 | 4 days ago | [postgres-websockets](https://github.com/diogob/postgres-websockets)/330 | PostgreSQL + Websockets |
| 259 | 32 | 17 | a month ago | [microlens](https://github.com/monadfix/microlens)/331 | A lightweight (but compatible with ‘lens’) lenses library |
| 259 | 15 | 4 | 6 years ago | [Hubris](https://github.com/mwotton/Hubris)/332 | Bridge from Ruby to Haskell |
| 259 | 68 | 41 | 1 year, 7 months ago | [statistics](https://github.com/haskell/statistics)/333 | A fast, high quality library for computing with statistics in Haskell. |
| 258 | 25 | 1 | 4 months ago | [dth](https://github.com/sweirich/dth)/334 | Examples of Dependently-typed programs in Haskell |
| 257 | 17 | 25 | Unknown | [haskell-tor](https://github.com/GaloisInc/haskell-tor)/335 | A Haskell implementation of the Tor protocol. |
| 256 | 20 | 0 | Unknown | [haskell-course](https://github.com/byorgey/haskell-course)/336 | Introductory Haskell course materials (originally CIS 194 @ UPenn) |
| 255 | 17 | 9 | Unknown | [three-layer](https://github.com/Holmusk/three-layer)/337 | :three: :cake: Architecture of the Haskell web applications |
| 255 | 7 | 1 | Unknown | [api.unverified.email](https://github.com/honest-technology/api.unverified.email)/338 | A service to help with testing of sending the right emails |
| 254 | 24 | 7 | Unknown | [hue-dashboard](https://github.com/blitzcode/hue-dashboard)/339 | A web interface for monitoring and controlling Philips Hue lights |
| 254 | 17 | 51 | Unknown | [haskell-tools](https://github.com/haskell-tools/haskell-tools)/340 | Developer tools for Haskell |
| 252 | 76 | 9 | Unknown | [configuration](https://github.com/geohot/configuration)/341 | Like some files bro |
| 251 | 27 | 14 | Unknown | [haskanoid](https://github.com/ivanperez-keera/haskanoid)/342 | A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support. |
| 251 | 22 | 42 | Unknown | [magic-haskell](https://github.com/winterland1989/magic-haskell)/343 | 魔力haskell官方网站 |
| 251 | 21 | 14 | Unknown | [halive](https://github.com/lukexi/halive)/344 | Live recompiler for Haskell |
| 251 | 55 | 29 | Unknown | [acid-state](https://github.com/acid-state/acid-state)/345 | Add ACID guarantees to any serializable Haskell data structure |
| 249 | 35 | 25 | Unknown | [singletons](https://github.com/goldfirere/singletons)/346 | Fake dependent types in Haskell using singletons |
| 249 | 47 | 12 | Unknown | [inline-c](https://github.com/fpco/inline-c)/347 | None |
| 248 | 9 | 1 | Unknown | [smalltt](https://github.com/AndrasKovacs/smalltt)/348 | Demo for high-performance type theory elaboration |
| 247 | 22 | 18 | Unknown | [gi-gtk-declarative](https://github.com/owickstrom/gi-gtk-declarative)/349 | Declarative GTK+ programming in Haskell |
| 246 | 44 | 16 | Unknown | [vty](https://github.com/jtdaugherty/vty)/350 | A high-level ncurses alternative written in Haskell |
| 244 | 22 | 23 | Unknown | [prettyprinter](https://github.com/quchen/prettyprinter)/351 | A modern, extensible and well-documented prettyprinter. |
| 244 | 67 | 61 | Unknown | [keter](https://github.com/snoyberg/keter)/352 | Web app deployment manager |
| 243 | 7 | 0 | Unknown | [typo](https://github.com/seliopou/typo)/353 | A programming language that runs in Haskell's type system. |
| 243 | 7 | 3 | Unknown | [silica](https://github.com/evertedsphere/silica)/354 | optics for Haskell with the most amazing type errors you've seen |
| 242 | 128 | 56 | Unknown | [cabal2nix](https://github.com/NixOS/cabal2nix)/355 | Generate Nix build instructions from a Cabal file |
| 242 | 48 | 36 | Unknown | [Vinyl](https://github.com/VinylRecords/Vinyl)/356 | Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. |
| 242 | 10 | 227 | Unknown | [juvix](https://github.com/anomanetwork/juvix)/357 | A more elegant language for a more civilized age. |
| 242 | 89 | 54 | Unknown | [gogol](https://github.com/brendanhay/gogol)/358 | A comprehensive Google Services SDK for Haskell. |
| 241 | 20 | 17 | Unknown | [frp-arduino](https://github.com/frp-arduino/frp-arduino)/359 | Arduino programming without the hassle of C. |
| 241 | 18 | 2 | Unknown | [atom](https://github.com/tomahawkins/atom)/360 | A DSL for embedded hard realtime applications. |
| 240 | 18 | 1 | Unknown | [haskell](https://github.com/lotz84/haskell)/361 | A curated list of awesome things related to Haskell. |
| 237 | 14 | 9 | Unknown | [airship](https://github.com/helium/airship)/362 | Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps. |
| 236 | 6 | 27 | Unknown | [amulet](https://github.com/amuletml/amulet)/363 | An ML-like functional programming language |
| 236 | 63 | 19 | Unknown | [lsp](https://github.com/haskell/lsp)/364 | Haskell library for the Microsoft Language Server Protocol |
| 236 | 12 | 12 | Unknown | [mu-haskell](https://github.com/higherkindness/mu-haskell)/365 | Mu (μ) is a purely functional framework for building micro services. |
| 234 | 7 | 13 | Unknown | [record](https://github.com/nikita-volkov/record)/366 | Anonymous records |
| 233 | 6 | 0 | Unknown | [sjsp](https://github.com/itchyny/sjsp)/367 | Simple JavaScript Profiler |
| 232 | 28 | 2 | Unknown | [lucid](https://github.com/chrisdone/lucid)/368 | Clear to write, read and edit DSL for writing HTML |
| 232 | 14 | 5 | Unknown | [hbro](https://github.com/k0ral/hbro)/369 | [Unmaintained] A minimal web-browser written and configured in Haskell. |
| 231 | 21 | 1 | Unknown | [cheatsheet](https://github.com/m4dc4p/cheatsheet)/370 | A Haskell CheatSheet in PDF and literate source formats. |
| 230 | 45 | 28 | Unknown | [psc-package](https://github.com/purescript/psc-package)/371 | A package manager for PureScript based on package sets |
| 229 | 12 | 3 | Unknown | [elaboration-zoo](https://github.com/AndrasKovacs/elaboration-zoo)/372 | Minimal implementations for dependent type checking and elaboration |
| 229 | 11 | 29 | Unknown | [copilot](https://github.com/Copilot-Language/copilot)/373 | A stream-based runtime-verification framework for generating hard real-time C code. |
| 228 | 26 | 27 | Unknown | [combinatorrent](https://github.com/jlouis/combinatorrent)/374 | A bittorrent client written in Haskell |
| 227 | 27 | 12 | a month ago | [aws-lambda-haskell-runtime](https://github.com/theam/aws-lambda-haskell-runtime)/375 | ⚡Haskell runtime for AWS Lambda |
| 225 | 15 | 32 | 2 days ago | [linear-base](https://github.com/tweag/linear-base)/376 | Standard library for linear types in Haskell. |
| 225 | 35 | 0 | 27 days ago | [1HaskellADay](https://github.com/geophf/1HaskellADay)/377 | None |
| 224 | 16 | 1 | 4 years ago | [mmaclone](https://github.com/jyh1/mmaclone)/378 | A simple Wolfram Language clone in Haskell |
| 223 | 26 | 23 | 2 years ago | [ohaskell.guide](https://github.com/denisshevchenko/ohaskell.guide)/379 | Ваша первая книга о языке Haskell |
| 223 | 162 | 43 | 2 months ago | [http-client](https://github.com/snoyberg/http-client)/380 | An HTTP client engine, intended as a base layer for more user-friendly packages. |
| 223 | 21 | 13 | 8 years ago | [pronk](https://github.com/bos/pronk)/381 | 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. |
| 222 | 14 | 2 | 3 years ago | [owlcloud](https://github.com/k-bx/owlcloud)/382 | OwnCloud for owls done via The Microservice Architecture |
| 222 | 67 | 30 | 14 days ago | [alex](https://github.com/simonmar/alex)/383 | A lexical analyser generator for Haskell |
| 221 | 6 | 21 | 1 year, 1 month ago | [nixfmt](https://github.com/serokell/nixfmt)/384 | A formatter for Nix code |
| 221 | 81 | 89 | 4 days ago | [tamarin-prover](https://github.com/tamarin-prover/tamarin-prover)/385 | Main source code repository of the Tamarin prover for security protocol verification. |
| 219 | 13 | 0 | 2 years ago | [nstack](https://github.com/nstack/nstack)/386 | Type-safe, composable microservices for data analytics |
| 219 | 104 | 46 | 1 year, 3 months ago | [aws](https://github.com/aristidb/aws)/387 | Amazon Web Services for Haskell |
| 219 | 32 | 12 | 1 year, 1 month ago | [haskell-relational-record](https://github.com/khibino/haskell-relational-record)/388 | This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type. |
| 218 | 36 | 31 | 11 days ago | [tagsoup](https://github.com/ndmitchell/tagsoup)/389 | Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents |
| 216 | 26 | 2 | 8 years ago | [par-tutorial](https://github.com/simonmar/par-tutorial)/390 | A tutorial on Parallel and Concurrent Haskell |
| 216 | 12 | 0 | 5 years ago | [summer-2015-haskell-class](https://github.com/michaelochurch/summer-2015-haskell-class)/391 | Summer 2015 Haskell Class |
| 215 | 29 | 25 | 5 years ago | [twidge](https://github.com/jgoerzen/twidge)/392 | Command-line twitter/identica client [Haskell] |
| 215 | 16 | 19 | a month ago | [quickspec](https://github.com/nick8325/quickspec)/393 | Equational laws for free |
| 215 | 11 | 16 | a month ago | [hal](https://github.com/Nike-Inc/hal)/394 | hal provides an AWS Lambda Custom Runtime environment for your Haskell applications. |
| 214 | 89 | 9 | 2 years ago | [lets-lens](https://github.com/system-f/lets-lens)/395 | Course material for lens |
| 214 | 6 | 1 | 1 year, 7 months ago | [givegif](https://github.com/passy/givegif)/396 | GIFs on the command line |
| 214 | 69 | 54 | 2 years ago | [elm-package](https://github.com/elm-lang/elm-package)/397 | Command line tool to share Elm libraries |
| 213 | 38 | 24 | 2 months ago | [co-log](https://github.com/kowainik/co-log)/398 | 📓 Flexible and configurable modern #Haskell logging framework |
| 209 | 17 | 7 | 10 days ago | [nvim-hs](https://github.com/neovimhaskell/nvim-hs)/399 | Neovim API for Haskell plugins as well as the plugin provider |
| 209 | 30 | 1 | 4 years ago | [haskelldocumentation](https://github.com/commercialhaskell/haskelldocumentation)/400 | Repository for collaborative Haskell documentation |
| 209 | 7 | 14 | 3 years ago | [inline-rust](https://github.com/harpocrates/inline-rust)/401 | Use snippets of Rust inline in your Haskell programs |
| 208 | 19 | 2 | 9 months ago | [guanxi](https://github.com/ekmett/guanxi)/402 | Relational programming in Haskell. Mostly developed on twitch. |
| 206 | 15 | 8 | a month ago | [serverless-haskell](https://github.com/seek-oss/serverless-haskell)/403 | Deploying Haskell applications to AWS Lambda with Serverless |
| 206 | 75 | 78 | 10 months ago | [postgresql-simple](https://github.com/lpsmith/postgresql-simple)/404 | Mid-level client library for accessing PostgreSQL from Haskell |
| 206 | 48 | 27 | 5 months ago | [Juicy.Pixels](https://github.com/Twinside/Juicy.Pixels)/405 | Haskell library to load & save pictures |
| 206 | 24 | 0 | 2 years ago | [quine](https://github.com/ekmett/quine)/406 | haskell, opengl, toy project |
| 206 | 53 | 32 | 16 days ago | [haskell-gi](https://github.com/haskell-gi/haskell-gi)/407 | Generate Haskell bindings for GObject-Introspection capable libraries |
| 205 | 10 | 1 | 5 days ago | [lion](https://github.com/standardsemiconductor/lion)/408 | Where Lions Roam: RISC-V on the VELDT |
| 205 | 44 | 30 | 6 months ago | [blaze-html](https://github.com/jaspervdj/blaze-html)/409 | A blazingly fast HTML combinator library for Haskell. |
| 203 | 19 | 7 | 2 years ago | [hi](https://github.com/fujimura/hi)/410 | Generate scaffold for a Haskell project |
| 203 | 16 | 13 | 2 years ago | [ermine](https://github.com/ermine-language/ermine)/411 | The Ermine Programming Language - Join us on irc.freenode.net #ermine |
| 203 | 18 | 24 | 5 days ago | [pp](https://github.com/CDSoft/pp)/412 | PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts... |
| 202 | 37 | 39 | 2 years ago | [hadrian](https://github.com/snowleopard/hadrian)/413 | Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree! |
| 201 | 12 | 10 | 18 hours ago | [inline-java](https://github.com/tweag/inline-java)/414 | Haskell/Java interop via inline Java code in Haskell modules. |
| 200 | 17 | 2 | 17 days ago | [hakatime](https://github.com/mujx/hakatime)/415 | Wakatime server implementation & analytics dashboard |
| 200 | 17 | 4 | 2 years ago | [9m](https://github.com/ehamberg/9m)/416 | 9m Unicode URL Shortener |
| 199 | 42 | 3 | 5 days ago | [ruhaskell](https://github.com/ruHaskell/ruhaskell)/417 | Главный сайт сообщества |
| 199 | 101 | 38 | 17 hours ago | [bytestring](https://github.com/haskell/bytestring)/418 | An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data. |
| 199 | 7 | 3 | 2 years ago | [thesis](https://github.com/goldfirere/thesis)/419 | Richard A. Eisenberg's PhD Dissertation |
| 198 | 89 | 72 | a month ago | [unordered-containers](https://github.com/haskell-unordered-containers/unordered-containers)/420 | Efficient hashing-based container types |
| 196 | 15 | 28 | a month ago | [quickcheck-state-machine](https://github.com/advancedtelematic/quickcheck-state-machine)/421 | Test monadic programs using state machine based models |
| 196 | 67 | 43 | 16 days ago | [happy](https://github.com/simonmar/happy)/422 | The Happy parser generator for Haskell |
| 196 | 20 | 3 | 4 years ago | [antigen-hs](https://github.com/Tarrasch/antigen-hs)/423 | A fast zsh plugin manager |
| 196 | 8 | 2 | a month ago | [gotta-go-fast](https://github.com/callum-oakley/gotta-go-fast)/424 | A command line utility for practicing typing and measuring your WPM and accuracy. |
| 195 | 77 | 30 | 4 months ago | [snap-server](https://github.com/snapframework/snap-server)/425 | A fast HTTP server library, which runs Snap web handlers.  |
| 195 | 18 | 4 | 11 years ago | [Algorithm-W-Step-By-Step](https://github.com/wh5a/Algorithm-W-Step-By-Step)/426 | Classic Algorithm W for type inference. |
| 194 | 102 | 22 | a year ago | [stack-templates](https://github.com/commercialhaskell/stack-templates)/427 | Project templates for stack new |
| 194 | 101 | 56 | 1 year, 3 months ago | [cassava](https://github.com/haskell-hvr/cassava)/428 | A CSV parsing and encoding library optimized for ease of use and high performance |
| 193 | 23 | 0 | 2 years ago | [glambda](https://github.com/goldfirere/glambda)/429 | The home of the Glamorous Glambda interpreter |
| 193 | 4 | 12 | 2 months ago | [fireward](https://github.com/bijoutrouvaille/fireward)/430 | A concise and readable language for Firestore security rules, similar to Firebase Bolt. |
| 192 | 23 | 0 | a month ago | [full-fledged-hledger](https://github.com/adept/full-fledged-hledger)/431 | Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports |
| 192 | 7 | 0 | a month ago | [hascard](https://github.com/Yvee1/hascard)/432 | flashcard TUI with markdown cards |
| 192 | 10 | 11 | 1 year, 1 month ago | [freer-simple](https://github.com/lexi-lambda/freer-simple)/433 | A friendly effect system for Haskell |
| 192 | 5 | 0 | 2 years ago | [dynamic](https://github.com/chrisdone/dynamic)/434 | Dynamic typing in Haskell |
| 191 | 21 | 15 | 8 months ago | [pretty-simple](https://github.com/cdepillabout/pretty-simple)/435 | pretty-printer for Haskell data types that have a Show instance |
| 191 | 33 | 66 | 6 days ago | [smos](https://github.com/NorfairKing/smos)/436 | A comprehensive self-management System |
| 190 | 9 | 7 | 11 days ago | [capability](https://github.com/tweag/capability)/437 | Extensional capabilities and deriving combinators |
| 190 | 45 | 20 | 2 years ago | [QuickFuzz](https://github.com/CIFASIS/QuickFuzz)/438 | An experimental grammar fuzzer in Haskell using QuickCheck |
| 190 | 15 | 7 | 1 year, 2 months ago | [lhc](https://github.com/Lemmih/lhc)/439 | The LLVM LHC Haskell Optimization System |
| 190 | 40 | 26 | a day ago | [hint](https://github.com/haskell-hint/hint)/440 | Runtime Haskell interpreter |
| 189 | 84 | 100 | 1 year, 30 days ago | [haskell-src-exts](https://github.com/haskell-suite/haskell-src-exts)/441 | Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer |
| 189 | 25 | 11 | 4 months ago | [Haskell-Optparse-Generic-Library](https://github.com/Gabriel439/Haskell-Optparse-Generic-Library)/442 | Auto-generate a command-line parser for your datatype |
| 188 | 5 | 3 | 1 year, 10 months ago | [frank](https://github.com/frank-lang/frank)/443 | Frank compiler |
| 188 | 15 | 0 | 3 years ago | [lambdacube-edsl](https://github.com/lambdacube3d/lambdacube-edsl)/444 | Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system: |
| 187 | 41 | 5 | 4 months ago | [yesod-cookbook](https://github.com/yesodweb/yesod-cookbook)/445 | Cookbook documentation |
| 187 | 69 | 18 | 1 year, 10 months ago | [haskell-telegram-api](https://github.com/klappvisor/haskell-telegram-api)/446 | Telegram Bot API for Haskell |
| 186 | 5 | 10 | 5 years ago | [HerbiePlugin](https://github.com/mikeizbicki/HerbiePlugin)/447 | GHC plugin that improves Haskell code's numerical stability |
| 186 | 40 | 69 | a month ago | [nixpkgs-update](https://github.com/ryantm/nixpkgs-update)/448 | Updating nixpkgs packages since 2018 |
| 185 | 14 | 1 | 4 years ago | [idris-erlang](https://github.com/lenary/idris-erlang)/449 | Erlang Backend for Idris Compiler |
| 182 | 15 | 4 | 1 year, 6 days ago | [Haskell-Typed-Spreadsheet-Library](https://github.com/Gabriel439/Haskell-Typed-Spreadsheet-Library)/450 | Typed and composable spreadsheets |
| 181 | 22 | 0 | 7 years ago | [lex-pass](https://github.com/facebookarchive/lex-pass)/451 | manipulate a php codebase using haskell to transform the abstract-syntax-tree |
| 181 | 7 | 2 | a month ago | [muesli](https://github.com/l29ah/muesli)/452 | An alternative approach to food |
| 179 | 48 | 13 | 8 years ago | [scion](https://github.com/nominolo/scion)/453 | OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine |
| 179 | 12 | 3 | 3 years ago | [android-lint-summary](https://github.com/passy/android-lint-summary)/454 | Prettier display of Android Lint issues |
| 179 | 43 | 22 | 8 months ago | [HaTeX](https://github.com/Daniel-Diaz/HaTeX)/455 | The Haskell LaTeX library. |
| 178 | 15 | 1 | 6 months ago | [dino-rush](https://github.com/jxv/dino-rush)/456 | 🌋 Endless runner game |
| 178 | 47 | 29 | 2 years ago | [elm-make](https://github.com/elm-lang/elm-make)/457 | A build tool for Elm projects |
| 178 | 37 | 10 | 4 years ago | [PortFusion](https://github.com/corsis/PortFusion)/458 | Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling solution – currently available for all TCP protocols (RDP, VNC, HTTP(S), SSH, ...). |
| 177 | 6 | 3 | 8 months ago | [cmt](https://github.com/smallhadroncollider/cmt)/459 | Write consistent git commit messages based on a custom template |
| 177 | 62 | 45 | 3 months ago | [haskeline](https://github.com/judah/haskeline)/460 | A Haskell library for line input in command-line programs. |
| 177 | 42 | 11 | 3 months ago | [Lol](https://github.com/cpeikert/Lol)/461 | Λ ⚬ λ: Functional Lattice Cryptography |
| 177 | 9 | 1 | 2 years ago | [foldilocks](https://github.com/aymannadeem/foldilocks)/462 | Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns. |
| 177 | 58 | 25 | a day ago | [gRPC-haskell](https://github.com/awakesecurity/gRPC-haskell)/463 | Haskell gRPC support |
| 176 | 47 | 27 | 1 year, 10 months ago | [hdevtools](https://github.com/bitc/hdevtools)/464 | REPO UNMAINTAINED!!! Try this: https://github.com/hdevtools/hdevtools/ |
| 176 | 11 | 6 | 2 days ago | [music-suite](https://github.com/music-suite/music-suite)/465 | Music in Haskell |
| 176 | 51 | 42 | 5 years ago | [esqueleto](https://github.com/prowdsponsor/esqueleto)/466 | Bare bones, type-safe EDSL for SQL queries on persistent backends. |
| 176 | 4 | 11 | 2 months ago | [fregot](https://github.com/fugue/fregot)/467 | Fugue Rego Toolkit |
| 175 | 23 | 4 | 11 hours ago | [sv2v](https://github.com/zachjs/sv2v)/468 | SystemVerilog to Verilog conversion |
| 175 | 26 | 1 | 11 years ago | [c-repl](https://github.com/evmar/c-repl)/469 | a C read-eval-print loop (abandoned) |
| 174 | 146 | 8 | 4 years ago | [learn-you-a-haskell-exercises](https://github.com/noelmarkham/learn-you-a-haskell-exercises)/470 | None |
| 174 | 42 | 66 | 18 days ago | [c2hs](https://github.com/haskell/c2hs)/471 | c2hs is a pre-processor for Haskell FFI bindings to C libraries |
| 174 | 33 | 55 | 2 years ago | [elm-repl](https://github.com/elm-lang/elm-repl)/472 | A REPL for Elm |
| 174 | 36 | 2 | 3 days ago | [geordi](https://github.com/Eelis/geordi)/473 | IRC C++ eval bot |
| 173 | 20 | 25 | 2 years ago | [legacy-old-hercules](https://github.com/hercules-ci/legacy-old-hercules)/474 | Abandoned |
| 173 | 23 | 45 | 29 days ago | [arbtt](https://github.com/nomeata/arbtt)/475 | arbtt, the automatic rule-based time-tracker |
| 173 | 15 | 0 | 4 years ago | [unit-test-example](https://github.com/kazu-yamamoto/unit-test-example)/476 | Unit test example for Haskell |
| 173 | 48 | 12 | 2 years ago | [Euterpea2](https://github.com/Euterpea/Euterpea2)/477 | Euterpea version 2 |
| 172 | 66 | 26 | 2 years ago | [hs-webdriver](https://github.com/kallisti-dev/hs-webdriver)/478 | A Haskell client for the Selenium WebDriver protocol. |
| 172 | 24 | 3 | 2 years ago | [haskell-scotty-realworld-example-app](https://github.com/eckyputrady/haskell-scotty-realworld-example-app)/479 | Exemplary real world backend API built with Haskell/Scotty https://realworld.io |
| 172 | 2 | 3 | 14 days ago | [purerl](https://github.com/purerl/purerl)/480 | Erlang backend for the PureScript compiler |
| 172 | 23 | 4 | 8 months ago | [extensible-effects](https://github.com/suhailshergill/extensible-effects)/481 | Extensible Effects: An Alternative to Monad Transformers |
| 172 | 42 | 16 | 19 hours ago | [reach-lang](https://github.com/reach-sh/reach-lang)/482 | Reach: The Safest and Easiest DApp Programming Language |
| 171 | 43 | 22 | 2 months ago | [herms](https://github.com/LuxMiranda/herms)/483 | :stew::fork_and_knife: A command-line manager for delicious kitchen recipes |
| 171 | 12 | 0 | 2 years ago | [auto](https://github.com/mstksg/auto)/484 | Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations.  http://hackage.haskell.org/package/auto |
| 171 | 7 | 2 | 4 days ago | [sixty](https://github.com/ollef/sixty)/485 | Dependent type checker using normalisation by evaluation |
| 170 | 4 | 0 | 6 years ago | [gifstream](https://github.com/def-/gifstream)/486 | Make interactive games in Haskell using GIF streams that can be shown in the web browser |
| 170 | 10 | 2 | 2 years ago | [ghc-hotswap](https://github.com/fbsamples/ghc-hotswap)/487 | Example code for how we swap compiled code within a running Haskell process. |
| 169 | 16 | 16 | 2 months ago | [floskell](https://github.com/ennocramer/floskell)/488 | Floskell is a flexible Haskell source code pretty printer. |
| 169 | 48 | 21 | a month ago | [texmath](https://github.com/jgm/texmath)/489 | A Haskell library for converting LaTeX math to MathML. |
| 167 | 9 | 2 | 1 year, 5 months ago | [tinyjit](https://github.com/sdiehl/tinyjit)/490 | Haskell JIT |
| 167 | 24 | 25 | 4 months ago | [haskell-phrasebook](https://github.com/typeclasses/haskell-phrasebook)/491 | The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs |
| 166 | 46 | 19 | 2 months ago | [linear](https://github.com/ekmett/linear)/492 | Low-dimensional linear algebra primitives for Haskell. |
| 166 | 8 | 14 | 6 months ago | [HaskellSpriteKit](https://github.com/mchakravarty/HaskellSpriteKit)/493 | Haskell binding to Apple's SpriteKit framework |
| 165 | 24 | 6 | 4 years ago | [graphql-haskell](https://github.com/jdnavarro/graphql-haskell)/494 | Haskell GraphQL implementation |
| 165 | 17 | 1 | 2 years ago | [ddc](https://github.com/discus-lang/ddc)/495 | The Disco Discus Compiler |
| 164 | 31 | 0 | 5 years ago | [pearls](https://github.com/derekmcloughlin/pearls)/496 | Pearls of Functional Algorithm Design by Richard Bird - Haskell Code |
| 164 | 10 | 1 | 2 years ago | [dhc](https://github.com/dfinity-side-projects/dhc)/497 | Compiles Haskell to WebAssembly |
| 163 | 57 | 20 | 3 months ago | [HTTP](https://github.com/haskell/HTTP)/498 | Haskell HTTP package |
| 163 | 34 | 14 | 1 year, 3 months ago | [codex](https://github.com/aloiscochard/codex)/499 | A ctags file generator for cabal/stack project dependencies. |
| 163 | 7 | 0 | 4 months ago | [flow](https://github.com/tfausak/flow)/500 | :droplet: Write more understandable Haskell. |
| 163 | 15 | 17 | 16 days ago | [dejafu](https://github.com/barrucadu/dejafu)/501 | Systematic concurrency testing meets Haskell. |
| 162 | 18 | 9 | a month ago | [DSLsofMath](https://github.com/DSLsofMath/DSLsofMath)/502 | Domain Specific Languages of Mathematics |
| 162 | 20 | 5 | a month ago | [inspection-testing](https://github.com/nomeata/inspection-testing)/503 | Inspection Testing for Haskell |
| 162 | 13 | 1 | 3 years ago | [idris-php](https://github.com/edwinb/idris-php)/504 | Yes, really... |
| 162 | 38 | 22 | 10 months ago | [groundhog](https://github.com/lykahb/groundhog)/505 | This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial https://www.schoolofhaskell.com/user/lykahb/groundhog for introduction |
| 161 | 3 | 16 | 2 years ago | [compiler](https://github.com/KeliLanguage/compiler)/506 | The compiler for Keli |
| 161 | 52 | 12 | 16 days ago | [katip](https://github.com/Soostone/katip)/507 | A structured logging framework for Haskell |
| 161 | 13 | 1 | 2 years ago | [cellularAutomata](https://github.com/bollu/cellularAutomata)/508 | a collection of cellular automata written in Haskell with Diagrams |
| 160 | 17 | 2 | 6 years ago | [HaskellStarter](https://github.com/joshcough/HaskellStarter)/509 | A project that demonstrates getting up and running with Haskell. |
| 160 | 72 | 42 | 9 days ago | [servant-auth](https://github.com/haskell-servant/servant-auth)/510 | None |
| 160 | 46 | 24 | 3 months ago | [gitlib](https://github.com/jwiegley/gitlib)/511 | None |
| 160 | 2 | 1 | 2 years ago | [proofsweeper](https://github.com/A1kmm/proofsweeper)/512 | Play Minesweeper by formally proving your moves in Idris |
| 159 | 12 | 1 | 3 months ago | [hask](https://github.com/ekmett/hask)/513 | Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!) |
| 159 | 8 | 1 | 1 year, 7 months ago | [pie-hs](https://github.com/david-christiansen/pie-hs)/514 | An implementation of Pie in Haskell |
| 159 | 17 | 3 | 3 months ago | [higgledy](https://github.com/i-am-tom/higgledy)/515 | Higher-kinded data via generics |
| 159 | 3 | 8 | 4 months ago | [lawvere](https://github.com/jameshaydon/lawvere)/516 | A categorical programming language with effects |
| 159 | 9 | 0 | 1 year, 2 months ago | [blackstar](https://github.com/flannelhead/blackstar)/517 | A black hole raytracer written in Haskell |
| 159 | 5 | 1 | 4 months ago | [codec-beam](https://github.com/kofigumbs/codec-beam)/518 | Generate Erlang VM byte code from Haskell |
| 159 | 79 | 112 | 11 months ago | [gtk2hs](https://github.com/gtk2hs/gtk2hs)/519 | GUI library for Haskell based on GTK+ |
| 158 | 9 | 14 | 10 months ago | [keera-hails](https://github.com/keera-studios/keera-hails)/520 | Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications |
| 158 | 4 | 0 | 1 year, 4 months ago | [duet](https://github.com/chrisdone/duet)/521 | A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell |
| 156 | 6 | 4 | 2 years ago | [zero-to-quake-3](https://github.com/ocharles/zero-to-quake-3)/522 | Implementing Quake 3 in Haskell & Vulkan |
| 156 | 14 | 1 | 3 months ago | [slick](https://github.com/ChrisPenner/slick)/523 | Static site generator built on Shake configured in Haskell |
| 155 | 15 | 4 | 8 months ago | [backprop](https://github.com/mstksg/backprop)/524 | Heterogeneous automatic differentiation ("backpropagation") in Haskell |
| 155 | 65 | 35 | 19 days ago | [lambdabot](https://github.com/lambdabot/lambdabot)/525 | A friendly IRC bot and apprentice coder, written in Haskell. |
| 155 | 8 | 1 | 3 years ago | [shentong](https://github.com/mthom/shentong)/526 | A Haskell implementation of the Shen programming language. |
| 155 | 43 | 27 | 10 months ago | [fgl](https://github.com/haskell/fgl)/527 | A Functional Graph Library for Haskell |
| 155 | 11 | 3 | 8 months ago | [alfred-margaret](https://github.com/channable/alfred-margaret)/528 | Fast Aho-Corasick string searching |
| 154 | 51 | 2 | 8 months ago | [haskell-exercises](https://github.com/opqdonut/haskell-exercises)/529 | Haskell exercises with automatic tests |
| 153 | 31 | 3 | 3 months ago | [AoPL](https://github.com/w7cook/AoPL)/530 | A book on programming languages, using Haskell |
| 153 | 18 | 9 | 7 months ago | [stratosphere](https://github.com/freckle/stratosphere)/531 | Haskell EDSL and type-checker for AWS CloudFormation templates |
| 153 | 17 | 11 | 12 days ago | [styx](https://github.com/jyp/styx)/532 | A nix-based Haskell project manager |
| 153 | 5 | 0 | 2 years ago | [ditto](https://github.com/ditto/ditto)/533 | A Super Kawaii Dependently Typed Programming Language |
| 153 | 74 | 22 | a month ago | [stripe](https://github.com/dmjio/stripe)/534 | :moneybag: Stripe API |
| 153 | 8 | 2 | 6 months ago | [deli](https://github.com/github/deli)/535 | None |
| 152 | 9 | 24 | 24 days ago | [Allure](https://github.com/AllureOfTheStars/Allure)/536 | Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad combat game written in Haskell; please offer feedback, e.g., after trying out the web frontend version at |
| 152 | 1 | 2 | 21 days ago | [finkel](https://github.com/finkel-lang/finkel)/537 | Haskell in S-expression |
| 151 | 46 | 514 | 5 hours ago | [ouroboros-network](https://github.com/input-output-hk/ouroboros-network)/538 | An implementation of the Ouroboros family of consensus algorithms, with its networking support |
| 151 | 8 | 3 | 6 years ago | [shade](https://github.com/takeoutweight/shade)/539 | Interactive, client-side web apps in Haskell |
| 151 | 26 | 47 | 6 years ago | [cabal-dev](https://github.com/creswick/cabal-dev)/540 | A wrapper program around cabal and cabal-install that maintains sandboxed build environments. |
| 150 | 13 | 3 | 2 months ago | [coda](https://github.com/ekmett/coda)/541 | A language experiment -- irc.freenode.net ##coda |
| 150 | 44 | 14 | 2 months ago | [servant-elm](https://github.com/haskell-servant/servant-elm)/542 | Automatically derive Elm functions to query servant webservices |
| 150 | 48 | 2 | 5 months ago | [twitter-conduit](https://github.com/himura/twitter-conduit)/543 | Twitter API package for Haskell, including enumerator interfaces and Streaming API supports. |
| 150 | 17 | 46 | a month ago | [ff](https://github.com/ff-notes/ff)/544 | A distributed note taker and task manager. |
| 150 | 3 | 0 | 2 years ago | [elm-beam](https://github.com/kofigumbs/elm-beam)/545 | Exploring Elm on the Erlang VM |
| 149 | 19 | 9 | 2 months ago | [pdf-toolbox](https://github.com/Yuras/pdf-toolbox)/546 | A collection of tools for processing PDF files in Haskell |
| 149 | 5 | 0 | 1 year, 10 months ago | [tiny-optimising-compiler](https://github.com/bollu/tiny-optimising-compiler)/547 | A tiny *optimising* compiler for an imperative programming language written in haskell |
| 149 | 36 | 13 | 3 days ago | [discord-haskell](https://github.com/aquarial/discord-haskell)/548 | Haskell library for writing Discord bots |
| 149 | 12 | 4 | 10 months ago | [TypedFlow](https://github.com/GU-CLASP/TypedFlow)/549 | Typed frontend to TensorFlow and higher-order deep learning |
| 148 | 63 | 36 | 2 months ago | [cborg](https://github.com/well-typed/cborg)/550 | Binary serialisation in the CBOR format |
| 147 | 3 | 1 | 3 years ago | [higher-order-unification](https://github.com/jozefg/higher-order-unification)/551 | A small implementation of higher-order unification |
| 146 | 10 | 12 | 1 year, 4 months ago | [diagrams](https://github.com/diagrams/diagrams)/552 | Embedded domain-specific language for declarative vector graphics (wrapper package) |
| 146 | 6 | 39 | 4 months ago | [axel](https://github.com/axellang/axel)/553 | Haskell + Lisp |
| 146 | 5 | 13 | 11 months ago | [blip](https://github.com/bjpop/blip)/554 | A bytecode compiler for Python 3 |
| 146 | 33 | 189 | 2 hours ago | [kore](https://github.com/kframework/kore)/555 | The symbolic execution engine powering the K Framework |
| 145 | 15 | 14 | 17 days ago | [macaw](https://github.com/GaloisInc/macaw)/556 | Open source binary analysis tools. |
| 145 | 7 | 2 | 2 years ago | [caledon](https://github.com/mmirman/caledon)/557 | higher order dependently typed logic programing |
| 145 | 51 | 71 | 3 months ago | [pursuit](https://github.com/purescript/pursuit)/558 | Website for hosting and searching PureScript API documentation |
| 145 | 4 | 8 | 1 year, 2 months ago | [nixos-manager](https://github.com/pmiddend/nixos-manager)/559 | Manage your NixOS packages and configuration via a simple, intuitive UI |
| 145 | 40 | 17 | 4 months ago | [haskell-opencv](https://github.com/LumiGuide/haskell-opencv)/560 | Haskell binding to OpenCV-3.x |
| 144 | 8 | 10 | 2 years ago | [haskell-game-programming](https://github.com/keera-studios/haskell-game-programming)/561 | A central repository of Haskell Game Programming resources, put together by Keera Studios |
| 144 | 66 | 47 | 1 year, 1 month ago | [digestive-functors](https://github.com/jaspervdj/digestive-functors)/562 | A general way to consume input using applicative functors |
| 144 | 6 | 1 | 2 years ago | [ghc-proofs](https://github.com/nomeata/ghc-proofs)/563 | Let GHC prove program equations for you |
| 143 | 13 | 87 | 21 hours ago | [Carnap](https://github.com/Carnap/Carnap)/564 | A formal logic framework that runs in the browser |
| 143 | 17 | 30 | 4 years ago | [language-c-inline](https://github.com/mchakravarty/language-c-inline)/565 | Inline C & Objective-C in Haskell |
| 143 | 22 | 1 | a month ago | [refined](https://github.com/nikita-volkov/refined)/566 | Refinement types with static checking |
| 143 | 28 | 2 | 6 months ago | [engine.io](https://github.com/ocharles/engine.io)/567 | A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols |
| 143 | 20 | 7 | 5 years ago | [zeromq-haskell](https://github.com/twittner/zeromq-haskell)/568 | This repository has been moved to https://gitlab.com/twittner/zeromq-haskell |
| 143 | 14 | 1 | 4 years ago | [hulk](https://github.com/chrisdone/hulk)/569 | Haskell IRC daemon. |
| 142 | 15 | 8 | 2 years ago | [grpc-haskell](https://github.com/grpc/grpc-haskell)/570 | gRPC library binding for Haskell. |
| 142 | 23 | 19 | 1 year, 4 days ago | [GPipe-Core](https://github.com/tobbebex/GPipe-Core)/571 | Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library |
| 142 | 4 | 0 | 4 years ago | [rei](https://github.com/kerkomen/rei)/572 | Process lists easily |
| 141 | 5 | 3 | 4 months ago | [izuna](https://github.com/matsumonkie/izuna)/573 | Show Haskell type annotations when doing code review on Github |
| 141 | 17 | 2 | 3 years ago | [redo](https://github.com/jekor/redo)/574 | djb's redo implementation in Haskell (for Haskell from Scratch video series) |
| 141 | 6 | 1 | 2 months ago | [quad-ci](https://github.com/alpacaaa/quad-ci)/575 | A CI server written in Simple Haskell. |
| 141 | 13 | 15 | 22 days ago | [curl-runnings](https://github.com/aviaviavi/curl-runnings)/576 | A declarative test framework for quickly and easily writing integration tests against JSON API's. |
| 141 | 8 | 1 | 6 years ago | [chips](https://github.com/egonSchiele/chips)/577 | A clone of Chips Challenge in Haskell |
| 141 | 4 | 2 | 8 years ago | [visi](https://github.com/visi-lang/visi)/578 | The Visi Language and iPad IDE |
| 140 | 11 | 1 | 6 years ago | [Copilot](https://github.com/leepike/Copilot)/579 | A (Haskell DSL) stream language for generating hard real-time C code. |
| 140 | 10 | 5 | 3 years ago | [ComonadSheet](https://github.com/kwf/ComonadSheet)/580 | A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads. |
| 140 | 22 | 0 | 2 years ago | [haskell-yesod-realworld-example-app](https://github.com/tzemanovic/haskell-yesod-realworld-example-app)/581 | Exemplary real world application built with Haskell + Yesod |
| 139 | 19 | 53 | 3 years ago | [dyna](https://github.com/nwf/dyna)/582 | Dyna2 compiler and REPL |
| 139 | 14 | 8 | 5 months ago | [json-autotype](https://github.com/migamake/json-autotype)/583 | Automatic Haskell type inference from JSON input |
| 139 | 45 | 16 | 1 year, 3 months ago | [language-javascript](https://github.com/erikd/language-javascript)/584 | Parser for JavaScript, in Haskell |
| 139 | 4 | 3 | 1 year, 9 months ago | [cherchord](https://github.com/DataKinds/cherchord)/585 | 🎸 Find chords for any string instrument quicky & easily 🎸 |
| 139 | 14 | 2 | 3 months ago | [transient-universe](https://github.com/transient-haskell/transient-universe)/586 | 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  |
| 138 | 12 | 1 | 4 years ago | [aws-lambda-haskell](https://github.com/abailly/aws-lambda-haskell)/587 | Running Haskell code on AWS Lambda |
| 138 | 59 | 40 | 2 months ago | [free](https://github.com/ekmett/free)/588 | free monads |
| 138 | 61 | 15 | 2 months ago | [logger](https://github.com/kazu-yamamoto/logger)/589 | A fast logging system for Haskell |
| 138 | 22 | 28 | 5 months ago | [universum](https://github.com/serokell/universum)/590 | :milky_way: Prelude written in @Serokell |
| 138 | 9 | 1 | 6 years ago | [BigPixel](https://github.com/mchakravarty/BigPixel)/591 | Pixel art for games |
| 138 | 32 | 27 | 3 months ago | [generics-sop](https://github.com/well-typed/generics-sop)/592 | Generic Programming using True Sums of Products |
| 137 | 9 | 2 | 5 months ago | [elsa](https://github.com/ucsd-progsys/elsa)/593 | Elsa is a lambda calculus evaluator  |
| 137 | 20 | 4 | 12 days ago | [haskellers](https://github.com/snoyberg/haskellers)/594 | haskellers.com site |
| 136 | 20 | 9 | 5 years ago | [lambda-ccc](https://github.com/conal/lambda-ccc)/595 | Convert lambda expressions to CCC combinators |
| 136 | 10 | 6 | 7 months ago | [zephyr](https://github.com/coot/zephyr)/596 | Tree shaking breeze for PureScript CoreFn AST |
| 136 | 7 | 1 | 2 years ago | [redish](https://github.com/honza/redish)/597 | A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell. |
| 135 | 39 | 6 | 7 years ago | [critbit](https://github.com/haskell/critbit)/598 | A Haskell implementation of crit-bit trees. |
| 135 | 29 | 33 | 5 months ago | [ThreadScope](https://github.com/haskell/ThreadScope)/599 | A graphical tool for profiling parallel Haskell programs |
| 135 | 24 | 19 | 6 months ago | [OpenGL](https://github.com/haskell-opengl/OpenGL)/600 | Haskell bindings to OpenGL |
| 135 | 18 | 4 | 6 days ago | [fakedata](https://github.com/fakedata-haskell/fakedata)/601 | Haskell Library for producing quality fake data |
| 135 | 40 | 18 | 17 days ago | [mongodb](https://github.com/mongodb-haskell/mongodb)/602 | MongoDB driver for Haskell |
| 134 | 11 | 41 | 1 year, 5 months ago | [cql](https://github.com/statebox/cql)/603 | CQL: Categorical Query Language implementation in Haskell |
| 134 | 32 | 8 | 3 hours ago | [accelerate-llvm](https://github.com/AccelerateHS/accelerate-llvm)/604 | LLVM backend for Accelerate |
| 134 | 7 | 8 | 4 months ago | [unfog](https://github.com/soywod/unfog)/605 | ⏱ Minimalist CLI task & time manager, written in Haskell. |
| 134 | 43 | 9 | 2 months ago | [hs-web3](https://github.com/airalab/hs-web3)/606 | Web3 API for Haskell. |
| 134 | 17 | 12 | a month ago | [sbv](https://github.com/LeventErkok/sbv)/607 | SMT Based Verification in Haskell. Express properties about Haskell programs  and automatically prove them using SMT solvers.  |
| 134 | 12 | 0 | 5 years ago | [haskeleton](https://github.com/tfausak/haskeleton)/608 | :skull: A Haskell package skeleton. |
| 133 | 11 | 43 | 10 months ago | [hoodle](https://github.com/wavewave/hoodle)/609 | hoodle : A pen notetaking program written in haskell |
| 133 | 17 | 5 | 4 months ago | [envy](https://github.com/dmjio/envy)/610 | :angry: Environmentally friendly environment variables |
| 133 | 28 | 45 | 2 years ago | [ajhc](https://github.com/ajhc/ajhc)/611 | A fork of jhc. And also a Haskell compiler. |
| 133 | 41 | 31 | 5 years ago | [llvm-general](https://github.com/bscarlet/llvm-general)/612 | Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.) |
| 133 | 16 | 21 | 1 year, 2 months ago | [vimus](https://github.com/vimus/vimus)/613 | An MPD client with vim-like key bindings, written in Haskell  |
| 133 | 52 | 23 | 11 days ago | [mono-traversable](https://github.com/snoyberg/mono-traversable)/614 | Type classes for mapping, folding, and traversing monomorphic containers |
| 132 | 20 | 3 | 12 days ago | [validity](https://github.com/NorfairKing/validity)/615 | Validity and validity-based testing |
| 132 | 13 | 4 | 5 years ago | [regex-genex](https://github.com/audreyt/regex-genex)/616 | Given a list of regexes, generate all possible strings that matches all of them. |
| 132 | 15 | 15 | a month ago | [numerical](https://github.com/wellposed/numerical)/617 | Numerical is the core library for Numerical Haskell |
| 132 | 11 | 0 | a month ago | [registry](https://github.com/etorreborre/registry)/618 | Components as records of functions for Haskell |
| 132 | 7 | 5 | 19 days ago | [git-mediate](https://github.com/Peaker/git-mediate)/619 | Become a conflict resolution hero |
| 132 | 10 | 13 | 3 years ago | [idris-cil](https://github.com/bamboo/idris-cil)/620 | A Common Intermediate Language backend for Idris. |
| 132 | 10 | 9 | 3 months ago | [implicit-hie](https://github.com/Avi-D-coder/implicit-hie)/621 | Auto generate a stack or cabal multi component hie.yaml file |
| 132 | 6 | 42 | 4 months ago | [Hydra](https://github.com/graninas/Hydra)/622 | Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support. It's currently moving to the production-ready state |
| 132 | 25 | 28 | 11 months ago | [streaming](https://github.com/haskell-streaming/streaming)/623 | An optimized general monad transformer for streaming applications, with a simple prelude of functions |
| 131 | 5 | 6 | 1 year, 5 months ago | [plate](https://github.com/seagreen/plate)/624 | Principled schema system for JSON. Work in progress. |
| 131 | 14 | 9 | 3 years ago | [bake](https://github.com/ndmitchell/bake)/625 | UNMAINTAINED: Continuous integration server |
| 131 | 10 | 1 | 1 year, 4 months ago | [hamilton](https://github.com/mstksg/hamilton)/626 | Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation.  Don't throw away your shot. |
| 131 | 21 | 3 | a month ago | [graphmod](https://github.com/yav/graphmod)/627 | A utility for displaying the module dependencies of Haskell programs. |
| 130 | 31 | 25 | 4 years ago | [HaRe](https://github.com/RefactoringTools/HaRe)/628 | The Haskell Refactoring Tool |
| 130 | 18 | 6 | 1 year, 7 months ago | [propagators](https://github.com/ekmett/propagators)/629 | The Art of the Propagator. See also: |
| 130 | 48 | 21 | 11 days ago | [skylighting](https://github.com/jgm/skylighting)/630 | A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions |
| 130 | 4 | 16 | 3 years ago | [idris-vimscript](https://github.com/owickstrom/idris-vimscript)/631 | Compile Idris to Vimscript, like you always wanted. |
| 130 | 10 | 0 | 2 months ago | [dotfiles](https://github.com/pbrisbin/dotfiles)/632 | My main configuration files |
| 130 | 8 | 14 | 21 days ago | [ghc-lib](https://github.com/digital-asset/ghc-lib)/633 | The GHC API, decoupled from GHC versions |
| 129 | 8 | 3 | 1 year, 8 months ago | [wc](https://github.com/ChrisPenner/wc)/634 | Beating unix `wc` in Haskell |
| 129 | 22 | 23 | 7 months ago | [hsdev](https://github.com/mvoidex/hsdev)/635 | Haskell development tool |
| 129 | 12 | 5 | 8 years ago | [haskelllive](https://github.com/haskelllive/haskelllive)/636 | Source code of the Haskell Live episodes. |
| 129 | 10 | 0 | 4 years ago | [tal](https://github.com/sweirich/tal)/637 | An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) |
| 129 | 9 | 6 | 3 years ago | [a-tour-of-go-in-haskell](https://github.com/syocy/a-tour-of-go-in-haskell)/638 | Write "Concurrency" section of "A Tour of Go" in Haskell |
| 129 | 14 | 16 | 8 months ago | [concur-replica](https://github.com/pkamenarsky/concur-replica)/639 | Server-side VDOM UI framework for Concur |
| 129 | 16 | 0 | 1 year, 2 months ago | [example-servant-elm](https://github.com/haskell-servant/example-servant-elm)/640 | Example for a web app with a servant backend and an elm frontend |
| 128 | 20 | 4 | a month ago | [haskellcosm](https://github.com/sigrlami/haskellcosm)/641 | Collecting information about Haskell ecosystem - companies, communities, media, etc. |
| 128 | 11 | 9 | 3 years ago | [typed-wire](https://github.com/typed-wire/typed-wire)/642 | Language independent type-safe communication |
| 127 | 21 | 14 | 4 months ago | [zoomhub](https://github.com/zoomhub/zoomhub)/643 | Share and view high-resolution images effortlessly |
| 127 | 19 | 34 | 1 year, 6 months ago | [mafia](https://github.com/haskell-mafia/mafia)/644 | Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks. |
| 127 | 61 | 55 | 26 days ago | [diagrams-lib](https://github.com/diagrams/diagrams-lib)/645 | Diagrams standard library |
| 127 | 10 | 3 | a month ago | [toysolver](https://github.com/msakai/toysolver)/646 | My sandbox for experimenting with solver algorithms. |
| 127 | 26 | 21 | 7 years ago | [configurator](https://github.com/bos/configurator)/647 | A Haskell library supporting flexible, dynamic file-based configuration. |
| 126 | 8 | 10 | 1 year, 20 days ago | [weeder](https://github.com/ndmitchell/weeder)/648 | Detect dead exports or package imports |
| 126 | 77 | 17 | 1 year, 8 months ago | [msgpack-haskell](https://github.com/msgpack/msgpack-haskell)/649 | Haskell implementation of MessagePack / msgpack.org[Haskell] |
| 126 | 3 | 1 | 1 year, 3 days ago | [Kei](https://github.com/caotic123/Kei)/650 | A small and expressive dependently typed language |
| 126 | 10 | 3 | 1 year, 4 months ago | [cradle](https://github.com/g-ford/cradle)/651 | Let's Build a Compiler (in Haskell) |
| 126 | 13 | 3 | 3 years ago | [micro-ci](https://github.com/ocharles/micro-ci)/652 | A tiny CI server built around GitHub and Nix |
| 126 | 12 | 1 | 2 years ago | [smudge](https://github.com/smudgelang/smudge)/653 | A domain-specific language for state machines. |
| 126 | 51 | 17 | 3 months ago | [Haskell-Foldl-Library](https://github.com/Gabriel439/Haskell-Foldl-Library)/654 | Composable, streaming, and efficient left folds |
| 126 | 8 | 0 | 3 years ago | [fugacious](https://github.com/jaspervdj/fugacious)/655 | An example Haskell web application |
| 125 | 72 | 26 | 4 days ago | [shakespeare](https://github.com/yesodweb/shakespeare)/656 | Haml-like template files that are compile-time checked |
| 125 | 4 | 3 | 1 year, 1 month ago | [ghc-grin](https://github.com/grin-compiler/ghc-grin)/657 | GRIN backend for GHC |
| 125 | 18 | 17 | 3 years ago | [uhc](https://github.com/UU-ComputerScience/uhc)/658 | None |
| 124 | 16 | 6 | 5 months ago | [discrimination](https://github.com/ekmett/discrimination)/659 | Fast linear time sorting and discrimination for a large class of data types |
| 124 | 15 | 10 | 4 months ago | [safe-money](https://github.com/k0001/safe-money)/660 | Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals |
| 124 | 7 | 36 | 2 months ago | [fragnix](https://github.com/fragnix/fragnix)/661 | Fragment-based code distribution! |
| 124 | 7 | 2 | 21 days ago | [scarf](https://github.com/scarf-sh/scarf)/662 | An environment manager and development tool powered by Nomia. |
| 124 | 14 | 0 | 3 years ago | [awesome-open-science](https://github.com/silky/awesome-open-science)/663 | some links to projects/tools related to "open science". |
| 124 | 14 | 11 | 1 year, 9 months ago | [hfmt](https://github.com/danstiner/hfmt)/664 | Format Haskell programs. Inspired by the gofmt utility. |
| 124 | 8 | 0 | 1 year, 5 months ago | [learn-physics](https://github.com/walck/learn-physics)/665 | A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory. |
| 123 | 14 | 9 | a month ago | [Rasterific](https://github.com/Twinside/Rasterific)/666 | A drawing engine in Haskell |
| 123 | 30 | 19 | 7 years ago | [hsenv](https://github.com/Paczesiowa/hsenv)/667 | Virtual Haskell Environment builder |
| 123 | 14 | 48 | a month ago | [purebred](https://github.com/purebred-mua/purebred)/668 | A terminal based mail user agent based on notmuch |
| 123 | 11 | 0 | 2 years ago | [quantfin](https://github.com/boundedvariation/quantfin)/669 | quant finance in pure haskell |
| 123 | 11 | 0 | 5 years ago | [datagraph](https://github.com/dropbox/datagraph)/670 | None |
| 122 | 19 | 14 | 5 years ago | [HandsomeSoup](https://github.com/egonSchiele/HandsomeSoup)/671 | Easy HTML parsing for Haskell |
| 122 | 12 | 1 | 3 years ago | [haskell-sdl2-examples](https://github.com/palf/haskell-sdl2-examples)/672 | SDL2 tutorial code in Haskell |
| 122 | 18 | 7 | a month ago | [mighttpd2](https://github.com/kazu-yamamoto/mighttpd2)/673 | File/CGI web server on warp |
| 122 | 25 | 14 | a day ago | [irc-core](https://github.com/glguy/irc-core)/674 | Haskell IRC library and console client - Join us on libera.chat #glirc |
| 122 | 4 | 1 | 2 years ago | [master-plan](https://github.com/rodrigosetti/master-plan)/675 | Project Management for Hackers |
| 122 | 1 | 1 | 10 months ago | [calico](https://github.com/ix/calico)/676 | cat, but for colors 😼 |
| 122 | 29 | 2 | 10 months ago | [repa](https://github.com/haskell-repa/repa)/677 |  High performance, regular, shape polymorphic parallel arrays. |
| 121 | 8 | 0 | 7 years ago | [Botworld](https://github.com/machine-intelligence/Botworld)/678 | A cellular automaton for studying self-modifying agents which are embedded in their environment |
| 121 | 45 | 42 | 2 months ago | [hie-bios](https://github.com/mpickering/hie-bios)/679 | None |
| 121 | 38 | 17 | 21 days ago | [arithmoi](https://github.com/Bodigrim/arithmoi)/680 | Number theory: primes, arithmetic functions, modular computations, special sequences |
| 121 | 10 | 0 | 2 minutes ago | [Awesome-list-of-Haskell-mentors](https://github.com/willbasky/Awesome-list-of-Haskell-mentors)/681 | An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects. |
| 121 | 9 | 0 | 6 years ago | [cubical](https://github.com/simhu/cubical)/682 | Implementation of Univalence in Cubical Sets |
| 121 | 17 | 3 | 10 months ago | [safe-exceptions](https://github.com/fpco/safe-exceptions)/683 | Safe, consistent, and easy exception handling |
| 121 | 7 | 3 | 1 year, 7 months ago | [Paskell](https://github.com/sam46/Paskell)/684 | A Pascal to LLVM compiler in Haskell  |
| 120 | 5 | 0 | 10 years ago | [Lemmachine](https://github.com/larrytheliquid/Lemmachine)/685 | REST'ful web framework in Agda |
| 120 | 12 | 4 | 3 years ago | [idris-py](https://github.com/ziman/idris-py)/686 | Python backend for Idris (generates Python source, not bytecode). |
| 120 | 2 | 4 | 15 days ago | [nix-tree](https://github.com/utdemir/nix-tree)/687 | Interactively browse dependency graphs of Nix derivations. |
| 120 | 22 | 16 | a month ago | [apply-refact](https://github.com/mpickering/apply-refact)/688 | Refactor Haskell source files |
| 120 | 8 | 0 | 1 year, 1 month ago | [Compositional_Deep_Learning](https://github.com/bgavran/Compositional_Deep_Learning)/689 | Deep learning via category theory and functional programming |
| 120 | 17 | 6 | 17 days ago | [reflex-vty](https://github.com/reflex-frp/reflex-vty)/690 | Build terminal applications using functional reactive programming (FRP) with Reflex FRP. |
| 120 | 5 | 0 | 3 years ago | [nn](https://github.com/saschagrunert/nn)/691 | A tiny neural network 🧠 |
| 119 | 8 | 3 | 4 years ago | [swift-haskell-tutorial](https://github.com/nanotech/swift-haskell-tutorial)/692 | Integrating Haskell with Swift Mac Apps |
| 119 | 19 | 5 | 3 days ago | [restyled.io](https://github.com/restyled-io/restyled.io)/693 | Restyled.io |
| 119 | 39 | 14 | a month ago | [hw-kafka-client](https://github.com/haskell-works/hw-kafka-client)/694 | Kafka client for Haskell, including auto-rebalancing consumers |
| 119 | 17 | 4 | 2 months ago | [pointfree](https://github.com/bmillwood/pointfree)/695 | Maintenance of the pointfree Hackage package. |
| 119 | 10 | 1 | 1 year, 7 months ago | [SitePipe](https://github.com/ChrisPenner/SitePipe)/696 | Yet another static site generator - non-opinionated, value-level.  Less magic == easier to understand |
| 119 | 16 | 46 | 5 years ago | [ide-backend](https://github.com/fpco/ide-backend)/697 | ide-backend drives the GHC API to build, query, and run your code |
| 119 | 25 | 37 | 11 days ago | [ngless](https://github.com/ngless-toolkit/ngless)/698 | NGLess: NGS with less work |
| 119 | 12 | 7 | 8 months ago | [neural](https://github.com/brunjlar/neural)/699 | Neural Nets in native Haskell |
| 118 | 34 | 9 | 3 months ago | [amqp](https://github.com/hreinhardt/amqp)/700 | Haskell AMQP client library |
| 118 | 7 | 7 | 6 months ago | [powerline-hs](https://github.com/rdnetto/powerline-hs)/701 | A lightning fast reimplementation of the Powerline prompt generator in Haskell. |
| 118 | 18 | 30 | 1 year, 28 days ago | [dunai](https://github.com/ivanperez-keera/dunai)/702 | Classic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions |
| 118 | 3 | 1 | 18 days ago | [type-of-html](https://github.com/knupfer/type-of-html)/703 | High performance type safe html generation |
| 118 | 14 | 6 | 4 years ago | [kontiki](https://github.com/NicolasT/kontiki)/704 | An implementation of the Raft consensus protocol |
| 118 | 1 | 2 | 8 months ago | [lens-regex-pcre](https://github.com/ChrisPenner/lens-regex-pcre)/705 | Text lenses using PCRE regexes |
| 118 | 13 | 12 | 2 months ago | [rib](https://github.com/srid/rib)/706 | Haskell static site generator based on Shake (superseded by Ema) |
| 118 | 9 | 3 | 4 months ago | [nix-deploy](https://github.com/awakesecurity/nix-deploy)/707 | Deploy software or an entire NixOS system configuration to another NixOS system |
| 118 | 3 | 1 | 2 years ago | [ghc-justdoit](https://github.com/nomeata/ghc-justdoit)/708 | A magic typeclass that just does it |
| 118 | 20 | 3 | 1 year, 16 days ago | [gressgraph](https://github.com/jekor/gressgraph)/709 | visualize your iptables firewall |
| 118 | 28 | 39 | 2 years ago | [nirum](https://github.com/nirum-lang/nirum)/710 |  Nirum: IDL compiler and RPC/distributed object framework for microservices |
| 117 | 12 | 0 | 7 years ago | [1HAD](https://github.com/1HaskellADay/1HAD)/711 | 1 Haskell A Day exercises |
| 117 | 5 | 7 | 6 years ago | [mote](https://github.com/imeckler/mote)/712 | None |
| 117 | 49 | 18 | 4 years ago | [elm-export](https://github.com/krisajenkins/elm-export)/713 | Create Elm types and JSON decoders from Haskell source. |
| 117 | 38 | 0 | 3 months ago | [Haskell](https://github.com/TheAlgorithms/Haskell)/714 | None |
| 117 | 29 | 31 | 1 year, 7 months ago | [monad-par](https://github.com/simonmar/monad-par)/715 | None |
| 117 | 8 | 2 | 8 years ago | [wisp](https://github.com/gw000/wisp)/716 | small-but-featureful embeddable lisp interpreter written in haskell. |
| 117 | 2 | 11 | 28 days ago | [hode](https://github.com/JeffreyBenjaminBrown/hode)/717 | rslt, take five-ish |
| 117 | 13 | 9 | 21 days ago | [smallcheck](https://github.com/Bodigrim/smallcheck)/718 | Test your Haskell code by exhaustively checking its properties |
| 117 | 41 | 27 | 7 months ago | [servant-swagger](https://github.com/haskell-servant/servant-swagger)/719 | Swagger for Servant |
| 116 | 8 | 4 | 7 months ago | [magicbane](https://github.com/unrelentingtech/magicbane)/720 | A web framework that integrates Servant, EKG, fast-logger, wai-cli… |
| 116 | 8 | 1 | 2 years ago | [getting-started-with-haskell](https://github.com/katychuang/getting-started-with-haskell)/721 | notes on where to find Haskell tutorials and tips to complete them |
| 116 | 3 | 0 | 6 years ago | [rust-haskell-ffi](https://github.com/aisamanra/rust-haskell-ffi)/722 | Toy example of calling Rust from Haskell |
| 116 | 22 | 4 | 3 months ago | [ted2srt](https://github.com/rnons/ted2srt)/723 | Download bilingual subtitles of TED talks  |
| 116 | 6 | 3 | a month ago | [inline-js](https://github.com/tweag/inline-js)/724 | Call JavaScript from Haskell, and vice versa! |
| 116 | 12 | 0 | 5 years ago | [Neks](https://github.com/wyager/Neks)/725 | A dead simple networked key/value store |
| 115 | 23 | 23 | 2 years ago | [open](https://github.com/diffusionkinetics/open)/726 | DiffusionKinetics open-source monorepo |
| 115 | 14 | 14 | 1 year, 8 months ago | [unagi-chan](https://github.com/jberryman/unagi-chan)/727 | A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API |
| 115 | 8 | 5 | 5 years ago | [elerea](https://github.com/cobbpg/elerea)/728 | A simple FRP library providing leak-free first-class streams. |
| 115 | 14 | 16 | 10 months ago | [steeloverseer](https://github.com/schell/steeloverseer)/729 | A file watcher and development tool. |
| 115 | 14 | 39 | 7 months ago | [fficxx](https://github.com/wavewave/fficxx)/730 | Haskell-C++ Foreign Function Interface Generator |
| 114 | 18 | 3 | a month ago | [rattletrap](https://github.com/tfausak/rattletrap)/731 | :car: Parse and generate Rocket League replays. |
| 114 | 41 | 27 | 13 days ago | [path](https://github.com/commercialhaskell/path)/732 | Typed filepath |
| 114 | 33 | 18 | 3 months ago | [hxt](https://github.com/UweSchmidt/hxt)/733 | Haskell XML Toolbox |
| 114 | 30 | 14 | a month ago | [unliftio](https://github.com/fpco/unliftio)/734 | The MonadUnliftIO typeclass for unlifting monads to IO |
| 114 | 40 | 14 | a month ago | [hoauth2](https://github.com/freizl/hoauth2)/735 | haskell oauth2 binding |
| 114 | 46 | 3 | 2 days ago | [freenode-exodus](https://github.com/siraben/freenode-exodus)/736 | Projects and channels that have decided to leave Freenode. (Leave count as of 2021-06-30: 1000) |
| 113 | 7 | 40 | 2 years ago | [pier](https://github.com/judah/pier)/737 | Yet another Haskell build system. |
| 113 | 44 | 10 | 12 days ago | [xlsx](https://github.com/qrilka/xlsx)/738 | Simple and incomplete Excel file parser/writer |
| 113 | 9 | 8 | 4 months ago | [regex-applicative](https://github.com/UnkindPartition/regex-applicative)/739 | Regex-based parsing with an applicative interface |
| 113 | 5 | 1 | 2 days ago | [lorem-markdownum](https://github.com/jaspervdj/lorem-markdownum)/740 | A lorem ipsum generator for markdown |
| 113 | 44 | 87 | 7 days ago | [chainweb-node](https://github.com/kadena-io/chainweb-node)/741 | Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput |
| 113 | 45 | 4 | 3 months ago | [jaspervdj](https://github.com/jaspervdj/jaspervdj)/742 | Source code of my personal home page. |
| 113 | 31 | 16 | 9 months ago | [hashtables](https://github.com/gregorycollins/hashtables)/743 | Mutable hash tables for Haskell, in the ST monad |
| 113 | 23 | 17 | 11 months ago | [hatrace](https://github.com/nh2/hatrace)/744 | scriptable strace |
| 113 | 30 | 15 | 3 months ago | [hfsnotify](https://github.com/haskell-fswatch/hfsnotify)/745 | Unified Haskell interface for basic file system notifications |
| 113 | 15 | 2 | 3 years ago | [HaNS](https://github.com/GaloisInc/HaNS)/746 | The haskell network stack |
| 112 | 5 | 3 | 4 years ago | [SimpleFP-v2](https://github.com/BekaValentine/SimpleFP-v2)/747 | A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS |
| 112 | 16 | 7 | 4 days ago | [docopt.hs](https://github.com/docopt/docopt.hs)/748 | A command-line interface description language and parser that will make you smile |
| 112 | 11 | 0 | 7 years ago | [haskell-amuse-bouche](https://github.com/mzero/haskell-amuse-bouche)/749 | A short technical talk about some fun things in Haskell |
| 112 | 13 | 0 | 4 years ago | [hnn](https://github.com/alpmestan/hnn)/750 | haskell neural network library |
| 112 | 9 | 13 | 8 months ago | [slownews](https://github.com/srid/slownews)/751 | 🐢 Bringing slow news for the nervous among us |
| 112 | 11 | 0 | 3 years ago | [Haskell-OpenGL-Tutorial](https://github.com/madjestic/Haskell-OpenGL-Tutorial)/752 | an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO |
| 111 | 28 | 1 | 2 months ago | [hid-examples](https://github.com/bravit/hid-examples)/753 | Examples to accompany the book "Haskell in Depth" |
| 111 | 5 | 19 | 1 year, 19 days ago | [distributed-dataset](https://github.com/utdemir/distributed-dataset)/754 | A distributed data processing framework in Haskell. |
| 111 | 6 | 7 | 2 months ago | [nix-diff](https://github.com/Gabriel439/nix-diff)/755 | Explain why two Nix derivations differ |
| 110 | 6 | 0 | 5 months ago | [PolysemyCleanArchitecture](https://github.com/thma/PolysemyCleanArchitecture)/756 | Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model. |
| 110 | 11 | 11 | 2 days ago | [klfc](https://github.com/39aldo39/klfc)/757 | Keyboard Layout Files Creator |
| 110 | 13 | 2 | 4 months ago | [extensible](https://github.com/fumieval/extensible)/758 | Extensible records, variants, structs, effects, tangles |
| 110 | 28 | 7 | 2 years ago | [game-in-haskell](https://github.com/elisehuard/game-in-haskell)/759 | None |
| 109 | 10 | 29 | 4 years ago | [ling](https://github.com/np/ling)/760 | LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming |
| 109 | 30 | 19 | 1 year, 9 months ago | [hdbc](https://github.com/hdbc/hdbc)/761 | Haskell Database Connectivity |
| 109 | 12 | 0 | 5 years ago | [minghc](https://github.com/fpco/minghc)/762 | DEPRECATED: Windows installer for GHC including msys |
| 109 | 3 | 3 | 10 months ago | [hinc](https://github.com/serras/hinc)/763 | Haskell In New Clothes |
| 109 | 21 | 9 | 6 months ago | [mysql-haskell](https://github.com/winterland1989/mysql-haskell)/764 |  Pure haskell mysql driver |
| 109 | 23 | 23 | 10 months ago | [dh-core](https://github.com/DataHaskell/dh-core)/765 | Functional data science |
| 109 | 15 | 10 | 15 days ago | [pandoc-include-code](https://github.com/owickstrom/pandoc-include-code)/766 | A Pandoc filter for including code from source files |
| 108 | 11 | 8 | 1 year, 7 months ago | [guide](https://github.com/aelve/guide)/767 | A workspace for research teams |
| 108 | 7 | 0 | 10 months ago | [hierarchical-free-monads-the-most-developed-approach-in-haskell](https://github.com/graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell)/768 | Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell |
| 108 | 14 | 2 | 8 years ago | [android-haskell-activity](https://github.com/neurocyte/android-haskell-activity)/769 | An example of an Android Activity written in Haskell |
| 108 | 11 | 27 | 2 months ago | [TaskLite](https://github.com/ad-si/TaskLite)/770 | The CLI task manager for power users |
| 108 | 15 | 18 | 4 years ago | [blaze-react](https://github.com/meiersi/blaze-react)/771 | A blaze-html style ReactJS binding for Haskell using GHCJS |
| 108 | 31 | 23 | 1 year, 5 months ago | [hasktags](https://github.com/MarcWeber/hasktags)/772 | Produces ctags "tags" and etags "TAGS" files for Haskell programs |
| 108 | 12 | 2 | 3 years ago | [hadron](https://github.com/Soostone/hadron)/773 | Construct and run Hadoop MapReduce programs in Haskell |
| 108 | 6 | 12 | 4 years ago | [luminance](https://github.com/phaazon/luminance)/774 | Type-safe, type-level and stateless Haskell graphics framework |
| 108 | 15 | 2 | 1 year, 19 days ago | [frag](https://github.com/rainbyte/frag)/775 | Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong |
| 107 | 57 | 9 | 2 months ago | [glot-www](https://github.com/glotcode/glot-www)/776 | glot.io website |
| 107 | 14 | 13 | 16 days ago | [nix-linter](https://github.com/Synthetica9/nix-linter)/777 | Linter for the Nix expression language |
| 107 | 9 | 19 | 3 years ago | [importify](https://github.com/serokell/importify)/778 | :space_invader: Importi.fy — it's like Uber, but for Haskell modules. |
| 107 | 12 | 1 | 1 year, 10 months ago | [recursion-drill](https://github.com/kazu-yamamoto/recursion-drill)/779 | Drill to study recursive programming in Haskell |
| 107 | 19 | 8 | 4 months ago | [ghc-vis](https://github.com/def-/ghc-vis)/780 | Visualize live Haskell data structures in GHCi |
| 107 | 11 | 7 | 6 years ago | [djinn](https://github.com/augustss/djinn)/781 | Generate Haskell code from a type |
| 107 | 5 | 26 | 15 days ago | [what4](https://github.com/GaloisInc/what4)/782 | Symbolic formula representation and solver interaction library |
| 106 | 2 | 2 | 4 months ago | [jsn](https://github.com/michowski/jsn)/783 | An absolutely simple & terse CLI app to manipulate JSON data |
| 106 | 46 | 29 | 6 days ago | [jsaddle](https://github.com/ghcjs/jsaddle)/784 | JavaScript interface that works with GHCJS or GHC |
| 106 | 10 | 14 | 7 months ago | [hip](https://github.com/lehins/hip)/785 | Haskell Image Processing Library |
| 105 | 11 | 5 | 4 years ago | [dominion](https://github.com/egonSchiele/dominion)/786 | A Dominion simulator in Haskell |
| 105 | 12 | 8 | 11 days ago | [record-dot-preprocessor](https://github.com/ndmitchell/record-dot-preprocessor)/787 | A preprocessor for a Haskell record syntax using dot |
| 105 | 8 | 6 | 3 years ago | [oczor](https://github.com/ptol/oczor)/788 | Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp |
| 105 | 43 | 2 | 1 year, 2 months ago | [reflex-dom-inbits](https://github.com/hansroland/reflex-dom-inbits)/789 | A tutorial for reflex-dom with small code bits |
| 105 | 6 | 2 | 2 years ago | [void-space](https://github.com/ChrisPenner/void-space)/790 | Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me |
| 104 | 34 | 26 | 1 year, 4 months ago | [llvm](https://github.com/bos/llvm)/791 | Haskell bindings to the LLVM compiler infrastructure project.   |
| 104 | 3 | 1 | 2 months ago | [switch](https://github.com/typedbyte/switch)/792 | A library for interacting with Nintendo Switch controllers, written in Haskell. |
| 104 | 25 | 10 | 1 year, 11 months ago | [hssqlppp](https://github.com/JakeWheat/hssqlppp)/793 | sql parser and type checker in haskell |
| 104 | 28 | 8 | 2 months ago | [bound](https://github.com/ekmett/bound)/794 | Combinators for manipulating locally-nameless generalized de Bruijn terms |
| 104 | 30 | 13 | 9 months ago | [hs-jose](https://github.com/frasertweedale/hs-jose)/795 | Haskell JOSE and JWT library |
| 104 | 1 | 0 | 6 years ago | [oHm](https://github.com/commandodev/oHm)/796 | Om with Haskell in it |
| 104 | 5 | 6 | 3 years ago | [herbalizer](https://github.com/danchoi/herbalizer)/797 | Convert HAML to ERB |
| 103 | 21 | 9 | 3 years ago | [eventful](https://github.com/jdreaver/eventful)/798 | Event Sourcing library for Haskell |
| 103 | 10 | 9 | a month ago | [replica](https://github.com/pkamenarsky/replica)/799 | A remote virtual DOM library for Haskell |
| 103 | 13 | 3 | 2 years ago | [Kulitta](https://github.com/donya/Kulitta)/800 | 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. |
| 103 | 25 | 39 | 3 months ago | [stackage-server](https://github.com/fpco/stackage-server)/801 | Server for stable, curated Haskell package sets |
| 103 | 17 | 55 | 3 hours ago | [disco](https://github.com/disco-lang/disco)/802 | Functional teaching language for use in a discrete mathematics course |
| 103 | 0 | 0 | 2 months ago | [shortcut-highlighter](https://github.com/Rasie1/shortcut-highlighter)/803 | Set of tools and services for highlighting shortcuts from applications and system with RGB keyboard |
| 103 | 35 | 17 | 3 months ago | [these](https://github.com/haskellari/these)/804 | An either-or-both data type, with corresponding hybrid error/writer monad transformer. |
| 102 | 7 | 1 | 8 months ago | [eve](https://github.com/ChrisPenner/eve)/805 | An extensible event-driven application framework in haskell |
| 102 | 8 | 6 | 4 years ago | [hopper-v0](https://github.com/hopper-lang/hopper-v0)/806 | a sound modern language for computation and transactional resource logic |
| 102 | 12 | 24 | 4 years ago | [streaming](https://github.com/michaelt/streaming)/807 | An optimized general monad transformer for streaming applications, with a simple prelude of functions |
| 102 | 12 | 31 | 15 days ago | [camfort](https://github.com/camfort/camfort)/808 | Light-weight verification and transformation tools for Fortran. See http://camfort.github.io |
| 102 | 53 | 15 | 6 years ago | [pool](https://github.com/bos/pool)/809 | A high-performance striped resource pooling implementation for Haskell |
| 102 | 21 | 7 | 4 months ago | [xeno](https://github.com/ocramz/xeno)/810 | Fast Haskell XML parser  |
| 102 | 38 | 33 | 1 year, 1 month ago | [sqlite-simple](https://github.com/nurpax/sqlite-simple)/811 | Mid-level bindings for sqlite |
| 102 | 12 | 10 | 7 months ago | [riscv-semantics](https://github.com/mit-plv/riscv-semantics)/812 | A formal semantics of the RISC-V ISA in Haskell |
| 101 | 14 | 0 | 1 year, 30 days ago | [haskell-music](https://github.com/tsoding/haskell-music)/813 | Source Code from "Making Music with Haskell" video |
| 101 | 5 | 7 | 8 months ago | [stdio](https://github.com/ZHaskell/stdio)/814 | Haskell Standard Input and Output |
| 101 | 24 | 45 | 2 months ago | [store](https://github.com/mgsloan/store)/815 | Fast binary serialization in Haskell |
| 101 | 47 | 74 | 19 hours ago | [cardano-ledger-specs](https://github.com/input-output-hk/cardano-ledger-specs)/816 | A formal specification and executable model of the ledger rules introduced by the Shelley release |
| 101 | 1 | 0 | 3 months ago | [squee](https://github.com/KMahoney/squee)/817 | A Typed, Composable Database Query Language |
| 101 | 13 | 8 | 3 months ago | [godot-haskell](https://github.com/SimulaVR/godot-haskell)/818 | Haskell bindings for GdNative |
| 101 | 7 | 8 | 5 months ago | [vgrep](https://github.com/fmthoma/vgrep)/819 | A pager for grep |
| 100 | 10 | 1 | 4 months ago | [basilica](https://github.com/ianthehenry/basilica)/820 | It's kinda like a forum. |
| 100 | 27 | 15 | 3 days ago | [vulkan](https://github.com/expipiplus1/vulkan)/821 | Haskell bindings for Vulkan |
| 100 | 16 | 0 | 5 years ago | [tangaroa](https://github.com/chrisnc/tangaroa)/822 | A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant. |
| 100 | 12 | 0 | 3 years ago | [mtl-style-example](https://github.com/lexi-lambda/mtl-style-example)/823 | A small example of using mtl style to unit test effectful code |
| 100 | 5 | 0 | 8 months ago | [ascii-runner](https://github.com/smallhadroncollider/ascii-runner)/824 | An infinite runner in your terminal |
| 100 | 6 | 6 | 1 year, 10 months ago | [webviewhs](https://github.com/lettier/webviewhs)/825 | 🌐 A Haskell binding to the webview library created by Serge Zaitsev. |
| 100 | 4 | 3 | 3 months ago | [icepeak](https://github.com/channable/icepeak)/826 | Icepeak is a fast JSON document store with push notification support. |
| 100 | 20 | 40 | 9 months ago | [hdevtools](https://github.com/hdevtools/hdevtools)/827 | Persistent GHC-powered background server for FAST haskell development tools |
| 100 | 3 | 1 | a month ago | [Hypatia](https://github.com/kindl/Hypatia)/828 | A ML-family Language Compiled to Lua |
| 99 | 22 | 25 | 13 days ago | [haskell-lockfree](https://github.com/rrnewton/haskell-lockfree)/829 | A collection of different packages for CAS based data structures. |
| 99 | 5 | 3 | 3 years ago | [exference](https://github.com/lspitzner/exference)/830 | Haskell tool to generate expressions from types |
| 99 | 7 | 1 | 23 days ago | [deriving-aeson](https://github.com/fumieval/deriving-aeson)/831 | Scrap your hand-rolled aeson instances |
| 99 | 6 | 2 | 2 days ago | [hsthrift](https://github.com/facebookincubator/hsthrift)/832 | The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport. |
| 98 | 21 | 22 | 2 years ago | [Magic](https://github.com/MedeaMelana/Magic)/833 | Haskell implementation of Magic: The Gathering |
| 98 | 8 | 0 | 8 months ago | [pcf](https://github.com/jozefg/pcf)/834 | A small compiler for PCF |
| 98 | 14 | 3 | 4 months ago | [markdown-unlit](https://github.com/sol/markdown-unlit)/835 | Literate Haskell support for Markdown |
| 98 | 7 | 1 | 11 months ago | [web-haskell-graphql-postgres-boilerplate](https://github.com/dandoh/web-haskell-graphql-postgres-boilerplate)/836 | Modern webserver in Haskell: Graphql + Postgresql + Authentication + DB migration + Dotenv and more |
| 98 | 23 | 9 | 2 months ago | [reflection](https://github.com/ekmett/reflection)/837 | Reifies arbitrary Haskell terms into types that can be reflected back into terms |
| 98 | 29 | 29 | a month ago | [tomland](https://github.com/kowainik/tomland)/838 | 🏝 Bidirectional TOML serialization |
| 98 | 15 | 8 | 4 days ago | [gonimo](https://github.com/gonimo/gonimo)/839 | gonimo application back & front |
| 98 | 10 | 1 | 10 months ago | [Bidirectional](https://github.com/ollef/Bidirectional)/840 | Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism" |
| 97 | 3 | 15 | 5 years ago | [awelon](https://github.com/dmbarbour/awelon)/841 | Awelon project is a new UI model with a new language. |
| 97 | 28 | 20 | 25 days ago | [hgeometry](https://github.com/noinia/hgeometry)/842 | HGeometry |
| 97 | 1 | 2 | 3 months ago | [tensor-safe](https://github.com/leopiney/tensor-safe)/843 | A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras. |
| 97 | 18 | 12 | 4 years ago | [roshask](https://github.com/acowley/roshask)/844 | Haskell client library for the ROS robotics framework. |
| 97 | 9 | 4 | 7 months ago | [clckwrks](https://github.com/clckwrks/clckwrks)/845 | A Haskell CMS platform |
| 97 | 9 | 1 | 1 year, 3 months ago | [effects](https://github.com/stepchowfun/effects)/846 | A brief exploration of the various approaches to modeling side effects in a purely functional programming language. |
| 97 | 4 | 0 | 8 months ago | [sprite-lang](https://github.com/ranjitjhala/sprite-lang)/847 | An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason. |
| 97 | 1 | 3 | 3 years ago | [thank-you-stars](https://github.com/y-taka-23/thank-you-stars)/848 | Give your dependencies stars on GitHub! |
| 97 | 6 | 0 | 22 days ago | [nix-script](https://github.com/BrianHicks/nix-script)/849 | write scripts in compiled languages that run in the nix ecosystem, with no separate build step |
| 97 | 33 | 7 | a month ago | [io-streams](https://github.com/snapframework/io-streams)/850 | Simple, composable, and easy-to-use stream I/O for Haskell |
| 97 | 15 | 17 | 5 years ago | [hastache](https://github.com/lymar/hastache)/851 | Haskell implementation of Mustache template |
| 97 | 8 | 12 | 2 years ago | [sealchain](https://github.com/sealchain-project/sealchain)/852 | Financial blockchain based on cardano-sl |
| 96 | 10 | 4 | 26 days ago | [row-types](https://github.com/target/row-types)/853 | A Haskell library for open records and variants using closed type families and type literals |
| 96 | 10 | 1 | 3 years ago | [ifcxt](https://github.com/mikeizbicki/ifcxt)/854 | constraint level if statements |
| 96 | 67 | 6 | 19 days ago | [time](https://github.com/haskell/time)/855 | A time library |
| 96 | 5 | 6 | 1 year, 8 months ago | [cake-slayer](https://github.com/kowainik/cake-slayer)/856 | 🍰🔪 Architecture of Haskell backend applications |
| 96 | 4 | 0 | 5 years ago | [crisp-compiler](https://github.com/talw/crisp-compiler)/857 | A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend |
| 96 | 11 | 26 | a month ago | [weeder](https://github.com/ocharles/weeder)/858 | A re-implementation of weeder using HIE files |
| 95 | 4 | 0 | 5 years ago | [hinance](https://github.com/hinance/hinance)/859 | Automated personal bookkeeping for hackers. |
| 95 | 2 | 0 | a day ago | [pandoc-plot](https://github.com/LaurentRDC/pandoc-plot)/860 | Render and include figures in Pandoc documents using your plotting toolkit of choice |
| 95 | 19 | 24 | 1 year, 9 months ago | [dhall-to-cabal](https://github.com/dhall-lang/dhall-to-cabal)/861 | Compile Dhall expressions to Cabal files |
| 95 | 25 | 48 | 1 year, 22 days ago | [haskell-indexer](https://github.com/google/haskell-indexer)/862 | Emits code crossreference data for Haskell sources. |
| 95 | 12 | 9 | 10 months ago | [tinc](https://github.com/sol/tinc)/863 | A dependency manager for Haskell |
| 95 | 5 | 1 | 1 year, 9 months ago | [haze](https://github.com/cronokirby/haze)/864 | A bittorrent client, for learning purposes |
| 95 | 9 | 2 | 1 year, 2 months ago | [super-user-spark](https://github.com/NorfairKing/super-user-spark)/865 | A safe way to never worry about your beautifully configured system again. (NO LONGER MAINTAINED. Use Nixos instead.) |
| 95 | 10 | 2 | 2 years ago | [haskellbook](https://github.com/dmvianna/haskellbook)/866 | Exercise solutions for haskellbook.com |
| 95 | 14 | 59 | 11 months ago | [haskell-editor-setup](https://github.com/guardians-of-life/haskell-editor-setup)/867 | Easy instructions for setting up Haskell editors / IDEs on any major operating system. |
| 95 | 2 | 20 | 10 months ago | [kalyn](https://github.com/raxod502/kalyn)/868 | ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch. |
| 94 | 16 | 44 | a month ago | [fourmolu](https://github.com/fourmolu/fourmolu)/869 | A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome! |
| 94 | 11 | 9 | 3 years ago | [gitit2](https://github.com/jgm/gitit2)/870 | A reimplementation of gitit in Yesod |
| 94 | 6 | 13 | 8 years ago | [ObjectiveHaskell](https://github.com/jspahrsummers/ObjectiveHaskell)/871 | Tools for making it easier to integrate Haskell and Objective-C. |
| 94 | 13 | 2 | 4 years ago | [qio-haskell](https://github.com/alexandersgreen/qio-haskell)/872 | The Quantum IO Monad, implemented in Haskell |
| 94 | 17 | 9 | 8 years ago | [Peggy](https://github.com/tanakh/Peggy)/873 | The Parser Generator for Haskell |
| 94 | 19 | 30 | 5 years ago | [ApexCtl](https://github.com/tuxmark5/ApexCtl)/874 | An utility to enable extra macro keys on Steelseries Apex keyboards |
| 93 | 1 | 1 | 4 years ago | [higher-rank](https://github.com/lexi-lambda/higher-rank)/875 | A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism |
| 93 | 6 | 0 | 4 years ago | [veggies](https://github.com/nomeata/veggies)/876 | Hopefully verifiable code generation in GHC |
| 93 | 16 | 5 | 6 years ago | [easyVision](https://github.com/albertoruiz/easyVision)/877 | Haskell packages for computer vision, image processing, and pattern recognition |
| 93 | 10 | 17 | 20 days ago | [hapistrano](https://github.com/stackbuilders/hapistrano)/878 | Deploy tool for Haskell applications, like Capistrano for Rails |
| 93 | 8 | 7 | 2 years ago | [argon](https://github.com/rubik/argon)/879 | Monitor cyclomatic complexity in Haskell programs |
| 93 | 9 | 7 | 3 months ago | [feedforward](https://github.com/yaxu/feedforward)/880 | None |
| 93 | 6 | 2 | 2 months ago | [challenge](https://github.com/sweirich/challenge)/881 | Strongly-typed System F in Haskell |
| 93 | 10 | 0 | 4 years ago | [netwire-classics](https://github.com/ocharles/netwire-classics)/882 | Classic games recreated in netwire |
| 92 | 16 | 6 | 1 year, 11 days ago | [shell-conduit](https://github.com/psibi/shell-conduit)/883 | Write shell scripts with Conduit |
| 92 | 10 | 28 | 11 months ago | [hs-gauge](https://github.com/vincenthz/hs-gauge)/884 | Lean Haskell Benchmarking |
| 92 | 9 | 0 | 7 years ago | [analytics](https://github.com/analytics/analytics)/885 | None |
| 92 | 16 | 10 | 1 year, 5 months ago | [algebra](https://github.com/ekmett/algebra)/886 | constructive abstract algebra |
| 92 | 8 | 0 | 11 months ago | [vocabulink](https://github.com/jekor/vocabulink)/887 | web application for learning foreign vocabulary |
| 92 | 14 | 7 | 3 years ago | [haskellnews](https://github.com/haskellnews/haskellnews)/888 | An aggregation of all online content related to Haskell. |
| 92 | 17 | 19 | 1 year, 5 months ago | [tintin](https://github.com/theam/tintin)/889 | 📚 A softer alternative to Haddock |
| 92 | 4 | 2 | 4 months ago | [tardis](https://github.com/DanBurton/tardis)/890 | None |
| 92 | 13 | 12 | 8 days ago | [hledger-flow](https://github.com/apauley/hledger-flow)/891 | An hledger/ledger-cli workflow focusing on automated statement import and classification |
| 92 | 2 | 2 | 9 months ago | [spaceleak](https://github.com/ndmitchell/spaceleak)/892 | Notes on space leaks |
| 92 | 13 | 2 | 6 months ago | [grid](https://github.com/mhwombat/grid)/893 | Tools for working with regular grids/graphs/lattices. |
| 92 | 20 | 0 | 6 months ago | [lambdapi](https://github.com/ilya-klyuchnikov/lambdapi)/894 | Dependently Typed Lambda Calculus in Haskell |
| 92 | 52 | 8 | 6 months ago | [heist](https://github.com/snapframework/heist)/895 | An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.  |
| 91 | 8 | 3 | a month ago | [streaming-benchmarks](https://github.com/composewell/streaming-benchmarks)/896 | Benchmarks to compare Haskell streaming library performance |
| 91 | 12 | 7 | 5 years ago | [succinct](https://github.com/ekmett/succinct)/897 | playground for working with succinct data structures |
| 91 | 36 | 1 | 30 days ago | [snowdrift](https://github.com/snowdriftcoop/snowdrift)/898 | Infrastructure for Snowdrift.coop. This is a MIRROR of https://gitlab.com/snowdrift/snowdrift. Your issue reports and merge requests are welcome, but they will be moved to gitlab.com. You are encouraged to start there instead! |
| 91 | 8 | 0 | 3 years ago | [haskell_game](https://github.com/drummyfish/haskell_game)/899 | Wolfenstein 3D, ray-casting FPS game I make to learn Haskell. No libraries used, rendering is done in terminal. |
| 91 | 7 | 3 | 7 years ago | [hcraft](https://github.com/nandor/hcraft)/900 | Haskell clone of a certain game |
| 91 | 7 | 5 | 2 years ago | [versioning](https://github.com/lortabac/versioning)/901 | Type-safe data versioning. |
| 90 | 8 | 6 | 2 years ago | [motor](https://github.com/owickstrom/motor)/902 | Type-safe effectful state machines in Haskell |
| 90 | 4 | 1 | 4 months ago | [haskey](https://github.com/haskell-haskey/haskey)/903 | Transactional key-value store written entirely in Haskell |
| 90 | 0 | 3 | 4 years ago | [Ntha](https://github.com/zjhmale/Ntha)/904 | The Ntha Programming Language |
| 90 | 36 | 13 | 3 months ago | [purescript-bridge](https://github.com/eskimor/purescript-bridge)/905 | Create PureScript datatypes from Haskell datatypes |
| 90 | 11 | 6 | 4 years ago | [haskell-rethinkdb](https://github.com/AtnNn/haskell-rethinkdb)/906 | RethinkDB client library for Haskell |
| 90 | 17 | 2 | 10 days ago | [pandoc-sidenote](https://github.com/jez/pandoc-sidenote)/907 | Convert Pandoc Markdown-style footnotes into sidenotes |
| 90 | 16 | 198 | 8 months ago | [HyperNerd](https://github.com/tsoding/HyperNerd)/908 |  Total Surveillance Automatic Ban Machine for Twitch and Discord |
| 90 | 59 | 43 | a month ago | [binary](https://github.com/kolmodin/binary)/909 | Efficient, pure binary serialisation using ByteStrings in Haskell. |
| 90 | 4 | 1 | 2 years ago | [Bang](https://github.com/5outh/Bang)/910 | A Drum Machine DSL for Haskell |
| 90 | 5 | 2 | 4 years ago | [Haskell-Annah-Library](https://github.com/Gabriel439/Haskell-Annah-Library)/911 | Distributed programming language that desugars to Morte |
| 89 | 25 | 1 | 4 years ago | [real-world-haskell](https://github.com/cyga/real-world-haskell)/912 | parser for code samples from the book "real world haskell" (http://book.realworldhaskell.org/read/) |
| 89 | 16 | 9 | 2 years ago | [haskelldb](https://github.com/m4dc4p/haskelldb)/913 | A library for building re-usable and composable SQL queries. |
| 89 | 15 | 8 | 8 days ago | [estuary](https://github.com/dktr0/estuary)/914 | Platform for collaboration and learning through live coding |
| 89 | 26 | 1 | 7 years ago | [h2048](https://github.com/gregorulm/h2048)/915 | An implementation of the game 2048 in Haskell |
| 89 | 6 | 6 | a month ago | [x86-64](https://github.com/divipp/x86-64)/916 | Runtime code generation for x86 64 bit machine code |
| 89 | 50 | 7 | 25 days ago | [X11](https://github.com/xmonad/X11)/917 | A Haskell binding to the X11 graphics library. |
| 89 | 20 | 237 | 2 days ago | [Drasil](https://github.com/JacquesCarette/Drasil)/918 | Generate all the things (focusing on research software) |
| 89 | 8 | 6 | 10 months ago | [turbinado](https://github.com/alsonkemp/turbinado)/919 | MVC Web Framework for Haskell.  See http://github.com/turbinado/turbinado-website for example code |
| 88 | 35 | 8 | 5 months ago | [servant-purescript](https://github.com/eskimor/servant-purescript)/920 | Translate servant API to purescript code, with the help of purescript-bridge. |
| 88 | 8 | 24 | 2 years ago | [buchhaltung](https://github.com/johannesgerer/buchhaltung)/921 | Smart tools for the ledger universe |
| 88 | 4 | 7 | 1 year, 1 month ago | [hasql-th](https://github.com/nikita-volkov/hasql-th)/922 | Template Haskell utilities for Hasql |
| 88 | 2 | 2 | 1 year, 11 months ago | [hsp](https://github.com/bawolk/hsp)/923 | Haskell command line text stream processor |
| 88 | 8 | 7 | 8 months ago | [theHarmonicAlgorithm](https://github.com/OscarSouth/theHarmonicAlgorithm)/924 | The Harmonic Algorithm by Oscar South - A Project Spanning Music Analysis, Functional Programming & Machine Learning |
| 88 | 17 | 12 | 5 years ago | [ghcjs-examples](https://github.com/ghcjs/ghcjs-examples)/925 | None |
| 88 | 4 | 1 | 8 days ago | [hypertypes](https://github.com/lamdu/hypertypes)/926 | Hypertypes - generic programming for heterogeneous recursive types |
| 88 | 3 | 0 | 6 years ago | [type-inference](https://github.com/adamgundry/type-inference)/927 | Unification and type inference algorithms |
| 88 | 3 | 0 | 10 years ago | [LispHaskellIPad](https://github.com/dpp/LispHaskellIPad)/928 | An iPad app that's a Lisp interpretter... written in Haskell (heh heh heh) |
| 88 | 9 | 20 | 10 days ago | [zeus](https://github.com/mightybyte/zeus)/929 | None |
| 88 | 30 | 12 | 3 months ago | [retry](https://github.com/Soostone/retry)/930 | Retry combinators for monadic actions that may fail |
| 88 | 45 | 5 | a month ago | [haskell](https://github.com/kubernetes-client/haskell)/931 | Haskell client for the kubernetes API. A work in progress. |
| 88 | 4 | 5 | 9 months ago | [notion-ocr](https://github.com/yannick-cw/notion-ocr)/932 | Adding OCR support to Notion |
| 88 | 5 | 0 | 6 months ago | [cpl](https://github.com/msakai/cpl)/933 | An interpreter of Hagino's Categorical Programming Language (CPL). |
| 88 | 12 | 8 | 2 years ago | [datalog](https://github.com/travitch/datalog)/934 | A pure Haskell implementation of Datalog |
| 88 | 17 | 0 | 3 years ago | [haskoin](https://github.com/MichaelBurge/haskoin)/935 | Proof-of-concept Blockchain in Haskell |
| 88 | 20 | 0 | 4 months ago | [repline](https://github.com/sdiehl/repline)/936 | Haskeline wrapper for GHCi-like REPL interfaces |
| 87 | 15 | 1 | 1 year, 9 months ago | [dataflow](https://github.com/sonyxperiadev/dataflow)/937 | Render graphs using a declarative markup. |
| 87 | 2 | 0 | 6 months ago | [FPSheet](https://github.com/RKlompUU/FPSheet)/938 | FPSheet: A Spreadsheet program with Haskell as the scripting language |
| 87 | 6 | 2 | 1 year, 1 month ago | [b-tree](https://github.com/bgamari/b-tree)/939 | Haskell on-disk B* tree implementation |
| 87 | 4 | 0 | 1 year, 10 months ago | [strelka](https://github.com/nikita-volkov/strelka)/940 | A simple, flexible and composable web-router |
| 87 | 4 | 2 | 2 years ago | [theseus](https://github.com/chessai/theseus)/941 | theseus, functional programming language with fully reversible computation |
| 87 | 17 | 7 | 3 years ago | [protobuf](https://github.com/alphaHeavy/protobuf)/942 | An implementation of Google's Protocol Buffers in Haskell. |
| 87 | 13 | 10 | 5 years ago | [FRPNow](https://github.com/atzeus/FRPNow)/943 | None |
| 87 | 6 | 1 | a day ago | [sketches](https://github.com/effectfully-ou/sketches)/944 | A Haskell blog |
| 87 | 23 | 3 | 4 years ago | [cis194-solutions](https://github.com/bschwb/cis194-solutions)/945 | Solutions for CIS 194 - Spring 2013 |
| 87 | 24 | 5 | 1 year, 2 months ago | [haskell-json](https://github.com/tsoding/haskell-json)/946 | Source Code for JSON Parser Video |
| 87 | 3 | 2 | 8 months ago | [fastsum](https://github.com/patrickt/fastsum)/947 | A fast open-union type, suitable for 100+ contained alternatives. |
| 87 | 18 | 6 | 2 months ago | [haskell-wasm](https://github.com/SPY/haskell-wasm)/948 | Haskell WebAssembly Toolkit |
| 87 | 11 | 27 | a month ago | [dimensional](https://github.com/bjornbm/dimensional)/949 | Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+). |
| 87 | 7 | 1 | 7 years ago | [hailstorm](https://github.com/hailstorm-hs/hailstorm)/950 | Haskell distributed stream processing with exactly-once semantics |
| 87 | 28 | 3 | 3 years ago | [haskell-programming](https://github.com/dwayne/haskell-programming)/951 | My notes and solutions to exercises for the book "Haskell Programming from first principles". |
| 86 | 12 | 9 | 5 months ago | [waargonaut](https://github.com/haskell-waargonaut/waargonaut)/952 | JSON decoding/encoding/manipulation library. |
| 86 | 16 | 24 | 3 days ago | [commonmark-hs](https://github.com/jgm/commonmark-hs)/953 | Pure Haskell commonmark parsing library, designed to be flexible and extensible |
| 86 | 3 | 1 | 2 years ago | [stackage-everything](https://github.com/quchen/stackage-everything)/954 | »I want Stackage on an airplane and I have only 3 minutes until takeoff« |
| 86 | 17 | 0 | 6 years ago | [texts](https://github.com/Mzk-Levi/texts)/955 | None |
| 86 | 13 | 1 | 1 year, 24 days ago | [weigh](https://github.com/fpco/weigh)/956 | Measure allocations of a Haskell functions/values |
| 86 | 42 | 48 | a month ago | [primitive](https://github.com/haskell/primitive)/957 | This package provides various primitive memory-related operations. |
| 86 | 15 | 0 | 9 months ago | [miso-isomorphic-example](https://github.com/FPtje/miso-isomorphic-example)/958 | Minimalistic single page example of Miso's isomorphic feature. |
| 85 | 10 | 10 | 3 months ago | [typerep-map](https://github.com/kowainik/typerep-map)/959 | ⚡️Efficient implementation of Map with types as keys |
| 85 | 18 | 1 | 3 months ago | [dyre](https://github.com/willdonnelly/dyre)/960 | A Dynamic Reconfiguration Library for Haskell Programs |
| 85 | 4 | 2 | 9 years ago | [siege](https://github.com/danielwaterworth/siege)/961 | [DEPRECATED] A DBMS written in Haskell |
| 85 | 26 | 0 | a day ago | [haskellweekly](https://github.com/haskellweekly/haskellweekly)/962 | Publishes curated news about the Haskell programming language. |
| 85 | 9 | 5 | 13 days ago | [cxxdraft-htmlgen](https://github.com/Eelis/cxxdraft-htmlgen)/963 | Generates http://eel.is/c++draft |
| 85 | 9 | 4 | 2 years ago | [fraxl](https://github.com/ElvishJerricco/fraxl)/964 | None |
| 85 | 29 | 23 | a month ago | [mysql-simple](https://github.com/paul-rouse/mysql-simple)/965 | A mid-level client library for the MySQL database, intended to be fast and easy to use.   |
| 85 | 18 | 2 | 5 months ago | [HUnit](https://github.com/hspec/HUnit)/966 | A unit testing framework for Haskell |
| 85 | 21 | 2 | 3 months ago | [ansi-terminal](https://github.com/UnkindPartition/ansi-terminal)/967 | ANSI terminal support for Haskell, with Windows compatibility |
| 85 | 4 | 5 | 2 months ago | [hocker](https://github.com/awakesecurity/hocker)/968 | Utilities for interacting with the docker registry and generating nix build instructions |
| 85 | 4 | 1 | 1 year, 2 months ago | [HGE2D](https://github.com/I3ck/HGE2D)/969 | 2D game engine written in Haskell |
| 85 | 5 | 0 | 3 months ago | [github-release](https://github.com/tfausak/github-release)/970 | :octocat: Upload files to GitHub releases. |
| 84 | 4 | 5 | a month ago | [seonbi](https://github.com/dahlia/seonbi)/971 | SmartyPants for Korean language |
| 84 | 2 | 7 | 3 months ago | [named](https://github.com/monadfix/named)/972 | Named parameters (keyword arguments) for Haskell |
| 84 | 10 | 0 | 6 years ago | [ethereum-haskell](https://github.com/bkirwi/ethereum-haskell)/973 | An independent reimplementation of Ethereum in Haskell |
| 84 | 14 | 5 | 10 days ago | [hslua](https://github.com/hslua/hslua)/974 | Haskell bindings to Lua, an embeddable scripting language. |
| 84 | 17 | 2 | 8 years ago | [Classical-Mechanics](https://github.com/chris-taylor/Classical-Mechanics)/975 | Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation. |
| 84 | 5 | 0 | 7 months ago | [advent-of-code-2018](https://github.com/mstksg/advent-of-code-2018)/976 | Advent of Code 2018 Solutions (Spoilers!) |
| 84 | 9 | 0 | 14 days ago | [rfc](https://github.com/soupi/rfc)/977 | My slides and compilation of resources in a repo that is too popular to rename. |
| 84 | 60 | 8 | a month ago | [hashable](https://github.com/haskell-unordered-containers/hashable)/978 | A class for types that can be converted to a hash value |
| 84 | 44 | 25 | 7 years ago | [test-framework](https://github.com/batterseapower/test-framework)/979 | Framework for running and organising QuickCheck test properties and HUnit test cases |
| 84 | 7 | 43 | 10 months ago | [sparse-linear-algebra](https://github.com/ocramz/sparse-linear-algebra)/980 | Numerical computation in native Haskell |
| 84 | 57 | 14 | 3 months ago | [pandoc-types](https://github.com/jgm/pandoc-types)/981 | types for representing structured documents |
| 84 | 2 | 74 | 1 year, 9 months ago | [path](https://github.com/robrix/path)/982 | A lambda calculus to explore type-directed program synthesis. |
| 84 | 7 | 1 | 4 months ago | [advent-of-code-2020](https://github.com/mstksg/advent-of-code-2020)/983 | 🎅🌟❄️☃️🎄🎁 |
| 83 | 12 | 11 | 1 year, 9 months ago | [build-shootout](https://github.com/ndmitchell/build-shootout)/984 | Comparison of build program expressive power |
| 83 | 16 | 7 | 1 year, 14 days ago | [units](https://github.com/goldfirere/units)/985 | The home of the units Haskell package |
| 83 | 22 | 17 | 4 months ago | [nix-tools](https://github.com/input-output-hk/nix-tools)/986 | Translate Cabals Generic Package Description to a Nix expression |
| 83 | 11 | 3 | 1 year, 1 month ago | [mcc](https://github.com/jmorag/mcc)/987 | MicroC example compiler for Stephen Edward's PLT class, but in Haskell |
| 83 | 65 | 46 | 25 days ago | [unix](https://github.com/haskell/unix)/988 | POSIX functionality |
| 83 | 14 | 0 | 2 years ago | [category-theory-for-programmers-challenges](https://github.com/awalterschulze/category-theory-for-programmers-challenges)/989 | Challenges from Category Theory for Programmers |
| 83 | 11 | 6 | 2 months ago | [Perspec](https://github.com/ad-si/Perspec)/990 | Scriptable desktop app to correct the perspective of images |
| 83 | 13 | 0 | 2 years ago | [servant-generic](https://github.com/chpatrick/servant-generic)/991 | Specify Servant routes with records |
| 83 | 9 | 4 | 2 months ago | [gl](https://github.com/ekmett/gl)/992 | Complete raw OpenGL bindings for Haskell |
| 83 | 8 | 0 | a month ago | [blog](https://github.com/ruuda/blog)/993 | My personal site |
| 83 | 10 | 1 | 9 months ago | [clifm](https://github.com/pasqu4le/clifm)/994 | Command Line Interface File Manager |
| 83 | 10 | 13 | 3 months ago | [pandoc-csv2table](https://github.com/baig/pandoc-csv2table)/995 | A Pandoc filter that renders CSV as Pandoc Markdown Tables. |
| 82 | 31 | 6 | 1 year, 24 days ago | [postgresql-simple-migration](https://github.com/ameingast/postgresql-simple-migration)/996 | PostgreSQL Schema Migrations for Haskell |
| 82 | 4 | 7 | 4 years ago | [heckle](https://github.com/2016rshah/heckle)/997 | :black_nib: Jekyll in Haskell (feat. LaTeX) |
| 82 | 34 | 22 | 1 year, 2 months ago | [missingh](https://github.com/haskell-hvr/missingh)/998 | Utility library [Haskell] |
| 82 | 1 | 0 | 1 year, 3 months ago | [astar-monad](https://github.com/ChrisPenner/astar-monad)/999 | A smart A* search monad transformer which supports backtracking user-state! |
| 82 | 6 | 13 | 3 years ago | [bartlett](https://github.com/Nike-Inc/bartlett)/1000 | A simple Jenkins command line client to serve your needs. |