awesome-haskell
Haskell toolkit
A curated collection of Haskell frameworks and libraries for building software
A curated list of awesome Haskell frameworks, libraries and software.
414 stars
27 watching
21 forks
last commit: 22 days ago
Linked from 1 awesome list
awesome-haskell | |||
| koalaman/shellcheck | 36,432 | 18 days ago | ShellCheck, a static analysis tool for shell scripts |
| jgm/pandoc | 34,706 | 6 days ago | Universal markup converter |
| PostgREST/postgrest | 23,440 | 6 days ago | REST API for any Postgres database |
| hadolint/hadolint | 10,453 | 24 days ago | Dockerfile linter, validate inline bash, written in Haskell |
| purescript/purescript | 8,575 | about 2 months ago | A strongly-typed language that compiles to JavaScript |
| simplex-chat/simplex-chat | 7,269 | 6 days ago | SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱! |
| unisonweb/unison | 5,797 | 6 days ago | A friendly programming language from the future |
| digitallyinduced/ihp | 4,935 | 7 days ago | 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness |
| facebook/Haxl | 4,271 | 2 months ago | A Haskell library that simplifies access to remote data, such as databases or web-based services |
| commercialhaskell/stack | 3,996 | 6 days ago | The Haskell Tool Stack |
| input-output-hk/cardano-sl | 3,765 | over 4 years ago | Cryptographic currency implementing Ouroboros PoS protocol |
| xmonad/xmonad | 3,364 | 5 days ago | The core of xmonad, a small but functional ICCCM-compliant tiling window manager |
| sdiehl/write-you-a-haskell | 3,351 | almost 4 years ago | Building a modern functional compiler from first principles. ( ) |
| koka-lang/koka | 3,313 | 16 days ago | Koka language compiler and interpreter |
| krispo/awesome-haskell | 3,101 | over 1 year ago | A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line |
| ghc/ghc | 3,056 | 4 days ago | Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance ( ). First time contributors are encouraged to get started with the newcomers info ( ) |
| simonmichael/hledger | 3,050 | 5 days ago | Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces |
| haskell/haskell-language-server | 2,714 | 9 days ago | Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine |
| jaspervdj/hakyll | 2,700 | 8 days ago | A static website compiler library in Haskell |
| caiorss/Functional-Programming | 2,688 | over 5 years ago | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python |
| yesodweb/yesod | 2,638 | 3 months ago | A RESTful Haskell web framework built on WAI |
| typelead/eta | 2,607 | over 2 years ago | The Eta Programming Language, a dialect of Haskell on the JVM |
| wireapp/wire-server | 2,615 | 3 days ago | 🇪🇺 Wire back-end services |
| ghcjs/ghcjs | 2,606 | almost 2 years ago | Haskell to JavaScript compiler, based on GHC |
| sdiehl/wiwinwlh | 2,568 | over 2 years ago | What I Wish I Knew When Learning Haskell |
| jaspervdj/patat | 2,450 | 19 days ago | Terminal-based presentations using Pandoc |
| haskell/haskell-ide-engine | 2,380 | almost 4 years ago | The engine for haskell ide-integration. Not an IDE |
| dmjio/miso | 2,191 | 20 days ago | A tasty Haskell front-end framework |
| ekmett/lens | 2,032 | 13 days ago | Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens |
| tweag/asterius | 1,974 | about 2 years ago | DEPRECATED in favor of ghc wasm backend, see |
| haskell-servant/servant | 1,826 | about 1 month ago | Servat is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more! |
| smallhadroncollider/taskell | 1,735 | about 1 year ago | Command-line Kanban board/task manager with support for Trello boards and GitHub projects |
| scotty-web/scotty | 1,719 | 4 months ago | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) |
| haskell/cabal | 1,625 | 4 days ago | Official upstream development repository for Cabal and cabal-install |
| jtdaugherty/brick | 1,604 | 6 days ago | A declarative Unix terminal UI library written in Haskell |
| tensorflow/haskell | 1,582 | 3 months ago | Haskell bindings for TensorFlow |
| google-research/dex-lang | 1,590 | about 2 months ago | Research language for array processing in the Haskell/ML family |
| huangzworks/real-world-haskell-cn | 1,557 | almost 3 years ago | 《Real World Haskell》中文翻译项目 |
| yi-editor/yi | 1,510 | 20 days ago | The Haskell-Scriptable Editor |
| ndmitchell/hlint | 1,475 | 8 days ago | Haskell source code suggestions |
| HuwCampbell/grenade | 1,449 | 12 months ago | Deep Learning in Haskell |
| valderman/haste-compiler | 1,440 | over 5 years ago | A GHC-based Haskell to JavaScript compiler |
| clash-lang/clash-compiler | 1,442 | 6 days ago | Haskell to VHDL/Verilog/SystemVerilog compiler |
| google/haskell-trainings | 1,386 | over 1 year ago | Haskell 101 and 102: slides and codelabs |
| lettier/gifcurry | 1,352 | over 3 years ago | 😎 The open-source, Haskell-built video editor for GIF makers |
| faylang/fay | 1,283 | over 3 years ago | A proper subset of Haskell that compiles to JavaScript |
| haskell-beginners-2022/course-plan | 1,284 | over 1 year ago | 📜 Haskell course info, plan, video lectures, slides |
| haskell/aeson | 1,255 | 3 months ago | A fast Haskell JSON library |
| quchen/articles | 1,250 | over 1 year ago | Miscellaneous articles. The readme is the table of contents |
| google/codeworld | 1,242 | 3 months ago | Educational computer programming environment using Haskell |
| ucsd-progsys/liquidhaskell | 1,196 | 3 days ago | Liquid Types For Haskell |
| hzlmn/haskell-must-watch | 1,126 | about 7 years ago | Huge list of videos, talks, courses for Haskell programming language |
| reanimate/reanimate | 1,126 | 11 months ago | Haskell library for building declarative animations based on SVG graphics |
| evincarofautumn/kitten | 1,102 | over 1 year ago | A statically typed concatenative systems programming language |
| graninas/software-design-in-haskell | 1,082 | about 2 months ago | Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell |
| reflex-frp/reflex | 1,070 | 12 days ago | 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 |
| hasktorch/hasktorch | 1,069 | 5 months ago | Tensors and neural networks in Haskell |
| GaloisInc/HaLVM | 1,054 | almost 6 years ago | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen |
| matterhorn-chat/matterhorn | 1,048 | 5 days ago | A feature-rich Unix terminal client for the Mattermost chat system |
| sdiehl/kaleidoscope | 1,029 | over 4 years ago | Haskell LLVM JIT Compiler Tutorial |
| grin-compiler/grin | 1,030 | over 1 year ago | GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support |
| phuhl/linux_notification_center | 1,015 | 4 months ago | A notification daemon/center for linux |
| kowainik/learn4haskell | 1,007 | 5 months ago | 👩🏫 👨🏫 Learn Haskell basics in 4 pull requests |
| thma/LtuPatternFactory | 994 | 10 months ago | Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns |
| haskell/stylish-haskell | 988 | 3 months ago | Haskell code prettifier |
| leksah/leksah | 979 | 7 months ago | Haskell IDE |
| tweag/ormolu | 964 | 14 days ago | A formatter for Haskell source code |
| obsidiansystems/obelisk | 959 | 3 days ago | Functional reactive web and mobile applications, with batteries included |
| lierdakil/pandoc-crossref | 952 | about 1 month ago | Pandoc filter for cross-references |
| Gabriella439/turtle | 945 | 6 months ago | Shell programming, Haskell style |
| mrkkrp/megaparsec | 919 | about 2 months ago | Industrial-strength monadic parser combinator library |
| pcapriotti/optparse-applicative | 914 | 15 days ago | Applicative option parser |
| NixOS/nixfmt | 922 | 14 days ago | The official (but not yet stable) formatter for Nix code |
| agentm/project-m36 | 899 | 23 days ago | Project: M36 Relational Algebra Engine |
| AccelerateHS/accelerate | 903 | 22 days ago | Embedded language for high-performance array computations |
| maralorn/nix-output-monitor | 917 | about 1 month ago | Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building |
| kirel/detexify-hs-backend | 891 | almost 8 years ago | Detexify Backend written in Haskell |
| samtay/tetris | 893 | 4 days ago | A terminal interface for Tetris |
| composewell/streamly | 865 | 6 days ago | High performance, concurrent functional programming abstractions |
| joshuaclayton/unused | 855 | over 4 years ago | Deprecated; see |
| cachix/cachix | 850 | about 1 month ago | Command line client for Nix binary cache hosting: |
| commercialhaskell/rio | 843 | 4 months ago | A standard library for Haskell |
| yesodweb/wai | 834 | 7 days ago | Haskell Web Application Interface |
| srid/emanote | 817 | 10 days ago | Emanate a structured view of your plain-text notes |
| jonschoning/espial | 792 | 3 months ago | Espial is an open-source, web-based bookmarking server |
| hspec/hspec | 751 | 5 days ago | A Testing Framework for Haskell |
| ndmitchell/hoogle | 752 | 4 months ago | Haskell API search engine |
| 2mol/pboy | 738 | over 2 years ago | a small .pdf management tool with a command-line UI |
| nick8325/quickcheck | 726 | 13 days ago | Automatic testing of Haskell programs |
| rgleichman/glance | 720 | over 2 years ago | A visual Haskell |
| snowleopard/alga | 719 | 6 months ago | Algebraic graphs |
| haskell-distributed/distributed-process | 713 | 18 days ago | Cloud Haskell core libraries |
| hstreamdb/hstream | 708 | about 2 months ago | HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications |
| kowainik/relude | 700 | about 1 month ago | 🌀 Safe, performant, user-friendly and lightweight Haskell standard library |
| kowainik/summoner | 699 | 11 days ago | 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects |
| taffybar/taffybar | 696 | 9 days ago | A gtk based status bar for tiling window managers such as XMonad |
| lspitzner/brittany | 692 | about 2 years ago | haskell source code formatter |
| agrafix/Spock | 679 | 8 months ago | Another Haskell web framework for rapid development |
| DanielG/ghc-mod | 677 | over 5 years ago | Happy Haskell Hacking for editors. DEPRECATED |
| hedgehogqa/haskell-hedgehog | 677 | 3 months ago | Release with confidence, state-of-the-art property testing for Haskell |
| Copilot-Language/copilot | 659 | 13 days ago | A stream-based runtime-verification framework for generating hard real-time C code |
| BinRoot/Haskell-Data-Analysis-Cookbook | 652 | about 9 years ago | Accompanying Source Code for the Haskell Data Analysis Cookbook |
| bos/stanford-cs240h | 649 | about 13 years ago | Course materials for Stanford CS240h, "Functional Systems in Haskell" |
| fused-effects/fused-effects | 647 | 3 months ago | A fast, flexible, fused effect system for Haskell |
| UnkindPartition/tasty | 640 | 16 days ago | Modern and extensible testing framework for Haskell |
| i-am-tom/haskell-exercises | 638 | about 1 year ago | A little course to learn about some of the more obscure GHC extensions |
| transient-haskell/transient | 633 | over 3 years ago | 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) |
| qfpl/applied-fp-course | 626 | about 1 year ago | Applied Functional Programming Course - Move from exercises to a working app! |
| sol/hpack | 624 | 4 months ago | hpack: A modern format for Haskell packages |
| LambdaHack/LambdaHack | 624 | 8 months ago | Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at |
| ChrisPenner/rasa | 616 | about 4 years ago | Extremely modular text editor built in Haskell |
| brendanhay/amazonka | 605 | 2 months ago | A comprehensive Amazon Web Services SDK for Haskell |
| aviaviavi/legion | 601 | over 6 years ago | Simple blockchain server written in Haskell for educational purposes |
| fjvallarino/monomer | 596 | 6 months ago | An easy to use, cross platform, GUI library for writing Haskell applications |
| xmonad/xmonad-contrib | 590 | 5 days ago | Contributed modules for xmonad |
| ad-si/Perspec | 590 | over 1 year ago | Scriptable desktop app to correct the perspective of images |
| tweag/HaskellR | 585 | about 1 month ago | The full power of R in Haskell |
| haskell/ghcide | 583 | almost 4 years ago | A library for building Haskell IDE tooling |
| mattgreen/hython | 579 | over 7 years ago | Haskell-powered Python 3 interpreter |
| haskell-beam/beam | 577 | about 1 month ago | A type-safe, non-TH Haskell SQL library and ORM |
| kowainik/stan | 570 | about 2 months ago | 🕵️ Haskell STatic ANalyser |
| alpacaaa/zero-bs-haskell | 562 | over 3 years ago | Learn Haskell, with tiny lessons |
| mihaimaruseac/hindent | 562 | 9 days ago | Haskell pretty printer |
| chrisdone/hell | 564 | 13 days ago | Haskell-based shell scripting language |
| hasura/eff | 553 | over 1 year ago | 🚧 a work in progress effect system for Haskell 🚧 |
| quchen/stgi | 527 | over 3 years ago | A user-centric visual STG implementation to help understand GHC/Haskell's execution model |
| HeinrichApfelmus/reactive-banana | 522 | 3 months ago | Library for functional reactive programming in Haskell |
| nikita-volkov/hasql | 519 | 2 months ago | The fastest PostgreSQL libpq-based driver for Haskell |
| haskell/attoparsec | 513 | 8 days ago | A fast Haskell library for parsing ByteStrings |
| alexwl/haskell-code-explorer | 512 | almost 2 years ago | Web application for exploring and understanding Haskell codebases |
| JakeWheat/intro_to_parsing | 503 | over 5 years ago | Introduction to parsing with Haskell and Parsec |
| haskell/criterion | 504 | 26 days ago | A powerful but simple library for measuring the performance of Haskell code |
| facebookincubator/retrie | 503 | 5 months ago | Retrie is a powerful, easy-to-use codemodding tool for Haskell |
| exercism/haskell | 494 | 20 days ago | Exercism exercises in Haskell |
| raviksharma/bartosz-basics-of-haskell | 488 | almost 4 years ago | Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial |
| pushcx/hpffp-resources | 488 | almost 7 years ago | Haskell Programming From First Principles - Follow-up Resources |
| valderman/selda | 477 | 6 months ago | A type-safe, high-level SQL library for Haskell |
| chrisdone-archive/jl | 473 | over 2 years ago | Functional sed for JSON |
| yesodweb/persistent | 467 | 2 months ago | Persistence interface for Haskell allowing multiple storage methods |
| thma/WhyHaskellMatters | 467 | 11 months ago | 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 |
| haskell-foundation/foundation | 464 | over 1 year ago | Empire strikes back |
| google/proto-lens | 465 | 19 days ago | API for protocol buffers using modern Haskell language and library patterns |
| tweag/sparkle | 447 | almost 2 years ago | Haskell on Apache Spark |
| ivanperez-keera/Yampa | 450 | about 1 month ago | Functional Reactive Programming domain-specific language for efficient hybrid systems |
| HeinrichApfelmus/threepenny-gui | 441 | 6 months ago | GUI framework that uses the web browser as a display |
| lsmor/snake-fury | 440 | over 1 year ago | a challenge for Haskell beginners |
| haskell-CI/haskell-ci | 438 | 4 days ago | Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations |
| timbod7/haskell-chart | 430 | about 1 year ago | A 2D charting library for haskell |
| bitemyapp/bloodhound | 424 | 16 days ago | Haskell Elasticsearch client and query DSL |
| tommythorn/Reduceron | 422 | 6 days ago | 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 |
| lettier/movie-monad | 424 | over 4 years ago | A free and simple to use video player made with Haskell |
| gregwebs/Shelly.hs | 418 | 5 months ago | Haskell shell scripting |
| haskell/hackage-server | 416 | 19 days ago | Hackage-Server: A Haskell Package Repository |
| haskell-github/github | 411 | 10 days ago | The github API for Haskell |
| morpheusgraphql/morpheus-graphql | 410 | 5 months ago | Haskell GraphQL Api, Client and Tools |
| jaspervdj/websockets | 407 | 19 days ago | A Haskell library for creating WebSocket-capable servers |
| haskell/text | 407 | 25 days ago | Haskell library for space- and time-efficient operations over Unicode text |
| haskell-graphql/graphql-api | 406 | almost 5 years ago | Write type-safe GraphQL services in Haskell |
| haskell-tls/hs-tls | 403 | 5 days ago | TLS/SSL implementation in haskell |
| protolude/protolude | 403 | 6 months ago | A sensible starting Prelude template |
| cdepillabout/termonad | 401 | 7 months ago | Terminal emulator configurable in Haskell |
| nh2/call-haskell-from-anything | 391 | over 2 years ago | Call Haskell functions from any programming language via serialization and dynamic libraries |
| jonascarpay/apecs | 392 | 8 months ago | a fast, extensible, type driven Haskell ECS framework for games |
| eashanhatti/peridot | 388 | almost 2 years ago | A fast functional language based on two level type theory |
| lehins/massiv | 385 | 3 months ago | Efficient Haskell Arrays featuring Parallel computation |
| ozanmakes/markup.rocks | 382 | about 8 years ago | Pandoc based document editor and converter in your browser |
| jtdaugherty/tart | 382 | 7 days ago | Tart - draw ASCII art in the terminal with your mouse! |
| haskell/haskell-platform | 380 | almost 3 years ago | Distribution of Haskell with batteries included |
| Consensys/constellation | 380 | over 4 years ago | Peer-to-peer encrypted message exchange |
| dbousamra/hnes | 378 | over 1 year ago | NES Emulator written in Haskell |
| jbarrow/LambdaNet | 377 | over 8 years ago | Purely functional artificial neural network library implemented in Haskell |
| haskell-effectful/effectful | 380 | 4 days ago | An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem |
| knupfer/haskell-emacs | 374 | 10 months ago | Write Emacs extensions in Haskell |
| Gabriella439/Haskell-Morte-Library | 375 | about 2 years ago | A bare-bones calculus-of-constructions |
| sol/doctest | 373 | about 1 month ago | An implementation of Python's doctest for Haskell |
| haskell/mtl | 367 | 4 months ago | The Monad Transformer Library |
| haskell/lsp | 366 | 4 months ago | Haskell library for the Microsoft Language Server Protocol |
| ollef/Earley | 365 | over 1 year ago | Parsing all context-free grammars using Earley's algorithm in Haskell |
| haskell-game/sdl2 | 362 | 14 days ago | Haskell bindings to the SDL2 library |
| gelisam/hawk | 361 | 10 months ago | Haskell text processor for the command-line |
| NixOS/cabal2nix | 361 | 8 days ago | Generate Nix build instructions from a Cabal file |
| augustss/MicroHs | 364 | 7 days ago | Haskell implemented with combinators |
| sebastiaanvisser/clay | 360 | 27 days ago | A CSS preprocessor as embedded Haskell |
| reflex-frp/reflex-dom | 358 | 20 days ago | 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 |
| fourmolu/fourmolu | 361 | 6 days ago | A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome! |
| DimaSamoz/mezzo | 354 | over 5 years ago | A Haskell library for typesafe music composition |
| simonmar/parconc-examples | 353 | about 3 years ago | Sample code to accompany the book "Parallel and Concurrent Programming in Haskell" |
| theam/haskell-do | 352 | almost 7 years ago | - The Haskell code editor focused on interactive development |
| joelburget/react-haskell | 351 | over 9 years ago | React bindings for Haskell |
| morphismtech/squeal | 360 | 2 months ago | Squeal, a deep embedding of SQL in Haskell |
| haskus/haskus-system | 348 | 4 months ago | Moved to |
| jepst/CloudHaskell | 347 | about 12 years ago | A distributed computing framework for Haskell |
| mrkkrp/req | 338 | 23 days ago | An HTTP client library |
| tweag/linear-base | 336 | 13 days ago | Standard library for linear types in Haskell |
| litxio/ptghci | 337 | about 1 year ago | High-powered REPL for Haskell, inspired by IPython |
| higherkindness/mu-haskell | 333 | 4 months ago | Mu (μ) is a purely functional framework for building micro services |
| chris-taylor/aima-haskell | 331 | over 7 years ago | Algorithms from AIMA in Haskell |
| informatikr/hedis | 329 | 5 months ago | A Redis client library for Haskell |
| amuletml/amulet | 328 | about 3 years ago | An ML-like functional programming language |
| haskell/network | 327 | 9 days ago | Low-level networking interface |
| spell-music/csound-expression | 323 | 30 days ago | Haskell Framework for Electronic Music |
| fimad/scalpel | 323 | 5 days ago | A high level web scraping library for Haskell |
| jtdaugherty/vty | 319 | 5 months ago | A high-level ncurses alternative written in Haskell |
| jgm/texmath | 322 | 8 days ago | A Haskell library for converting LaTeX math to MathML |
| hakaru-dev/hakaru | 311 | over 2 years ago | A probabilistic programming language |
| justinethier/husk-scheme | 308 | about 1 year ago | A full implementation of the Scheme programming language for the Haskell Platform |
| Holmusk/three-layer | 308 | over 3 years ago | Architecture of the Haskell web applications |
| sweirich/dth | 302 | about 2 years ago | Examples of Dependently-typed programs in Haskell |
| haskell/statistics | 299 | about 1 year ago | A fast, high quality library for computing with statistics in Haskell |
| haskell/alex | 297 | 4 months ago | A lexical analyser generator for Haskell |
| purenix-org/purenix | 299 | 3 months ago | Nix backend for PureScript. Transpile PureScript code to Nix |
| winterland1989/magic-haskell | 293 | over 5 years ago | 魔力haskell官方网站 |
| quchen/prettyprinter | 295 | 14 days ago | A modern, extensible and well-documented prettyprinter |
| acid-state/acid-state | 294 | 8 days ago | Add ACID guarantees to any serializable Haskell data structure |
| Yvee1/hascard | 292 | 25 days ago | flashcard TUI with markdown cards |
| NorfairKing/smos | 292 | 4 days ago | A comprehensive self-management System |
| iostreamer-X/FuncShell | 290 | almost 3 years ago | Improve your shell by making it functional through Haskell! (An update to Awkward) |
| haskell-gi/haskell-gi | 290 | 26 days ago | Generate Haskell bindings for GObject-Introspection capable libraries |
| owickstrom/gi-gtk-declarative | 288 | 10 months ago | Declarative GTK+ programming in Haskell |
| haskell/happy | 290 | 10 days ago | The Happy parser generator for Haskell |
| goldfirere/singletons | 287 | 25 days ago | Fake dependent types in Haskell using singletons |
| stevenfontanella/microlens | 285 | 7 months ago | A lightweight (but compatible with ‘lens’) lenses library |
| HaskVan/HaskellKoans | 283 | almost 4 years ago | Haskell Koans for the Vancouver's Haskell UnMeetup |
| blitzcode/hue-dashboard | 283 | over 6 years ago | A web interface for monitoring and controlling Philips Hue lights |
| lotz84/haskell | 282 | almost 3 years ago | A curated list of awesome things related to Haskell |
| snoyberg/http-client | 280 | 24 days ago | An HTTP client engine, intended as a base layer for more user-friendly packages |
| chrisdone-archive/vado | 281 | over 5 years ago | A demo web browser engine written in Haskell |
| cardano-scaling/hydra | 284 | 4 days ago | Implementation of the Hydra Head protocol |
| brendanhay/gogol | 281 | 7 days ago | A comprehensive Google Services SDK for Haskell |
| neohaskell/NeoHaskell | 276 | 4 days ago | ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity |
| IntersectMBO/ouroboros-network | 276 | 6 days ago | Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node |
| byorgey/haskell-course | 275 | over 2 years ago | Introductory Haskell course materials (originally CIS 194 @ UPenn) |
| anton-k/ru-haskell-book | 275 | over 1 year ago | учебник по Haskell |
| ivanperez-keera/haskanoid | 273 | over 1 year ago | A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support |
| GaloisInc/haskell-tor | 272 | about 7 years ago | A Haskell implementation of the Tor protocol |
| theam/aws-lambda-haskell-runtime | 270 | 9 months ago | ⚡Haskell runtime for AWS Lambda |
| dmbarbour/Sirea | 270 | over 11 years ago | Simply Reactive! Declarative orchestration in Haskell using RDP |
| luke-clifton/shh | 269 | 3 months ago | Simple shell like scripting from Haskell |
| neovimhaskell/nvim-hs | 269 | 11 months ago | Neovim API for Haskell plugins as well as the plugin provider |
| m4dc4p/cheatsheet | 267 | over 1 year ago | A Haskell CheatSheet in PDF and literate source formats |
| discord-haskell/discord-haskell | 267 | 7 days ago | Haskell library for writing Discord bots |
| mwotton/Hubris | 262 | over 9 years ago | Bridge from Ruby to Haskell |
| lukexi/halive | 263 | over 3 years ago | Live recompiler for Haskell |
| VinylRecords/Vinyl | 262 | about 1 year ago | Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode |
| haskell-beginners-2022/exercises | 261 | 6 months ago | 💻 Exercises for the Haskell Beginners 2022 course |
| denisshevchenko/ohaskell.guide | 261 | about 1 year ago | Ваша первая книга о языке Haskell |
| haskell-hint/hint | 260 | 3 months ago | Runtime Haskell interpreter |
| Mesabloo/diagnose | 260 | 3 months ago | A simple library for reporting compiler/interpreter errors |
| co-log/co-log | 257 | 9 months ago | 📓 Flexible and configurable modern #Haskell logging framework |
| bravit/hid-examples | 256 | 2 months ago | Examples to accompany the book "Haskell in Depth" |
| ekmett/guanxi | 256 | 3 months ago | Relational programming in Haskell. Mostly developed on twitch |
| kadena-io/chainweb-node | 249 | 5 days ago | Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput |
| haskell-tools/haskell-tools | 249 | 4 months ago | Developer tools for Haskell |
| standardsemiconductor/lion | 249 | 4 months ago | Where Lions Roam: RISC-V on the VELDT |
| seliopou/typo | 249 | over 8 years ago | A programming language that runs in Haskell's type system |
| tmcgilchrist/airship | 245 | over 1 year ago | Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps |
| jyh1/mmaclone | 243 | over 5 years ago | A simple Wolfram Language clone in Haskell |
| evertedsphere/silica | 243 | almost 5 years ago | optics for Haskell with the most amazing type errors you've seen |
| cdepillabout/pretty-simple | 243 | about 1 year ago | pretty-printer for Haskell data types that have a Show instance |
| LeventErkok/sbv | 243 | 7 days ago | SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers |
| jaspervdj/blaze-html | 242 | 3 months ago | A blazingly fast HTML combinator library for Haskell |
| awakesecurity/gRPC-haskell | 241 | 6 months ago | Haskell gRPC support |
| Nike-Inc/hal | 240 | 2 months ago | hal provides an AWS Lambda Custom Runtime environment for your Haskell applications |
| bijoutrouvaille/fireward | 238 | over 1 year ago | A concise and readable language for Firestore security rules, similar to Firebase Bolt |
| aristidb/aws | 238 | 7 days ago | Amazon Web Services for Haskell |
| Twinside/Juicy.Pixels | 236 | 6 months ago | Haskell library to load & save pictures |
| k-bx/owlcloud | 236 | almost 7 years ago | OwnCloud for owls done via The Microservice Architecture |
| khibino/haskell-relational-record | 233 | 12 months ago | This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type |
| k0ral/hbro | 234 | over 5 years ago | [Unmaintained] A minimal web-browser written and configured in Haskell |
| jlouis/combinatorrent | 234 | almost 8 years ago | A bittorrent client written in Haskell |
| itchyny/sjsp | 234 | almost 5 years ago | Simple JavaScript Profiler |
| ndmitchell/tagsoup | 233 | about 1 month ago | Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents |
| tweag/inline-java | 230 | 12 months ago | Haskell/Java interop via inline Java code in Haskell modules |
| lexi-lambda/freer-simple | 228 | 6 months ago | A friendly effect system for Haskell |
| haskell-hvr/cassava | 223 | 4 months ago | A CSV parsing and encoding library optimized for ease of use and high performance |
| harpocrates/inline-rust | 223 | over 3 years ago | Use snippets of Rust inline in your Haskell programs |
| passy/givegif | 223 | about 5 years ago | GIFs on the command line |
| nstack/nstack | 222 | 10 months ago | Type-safe, composable microservices for data analytics |
| haskell/haskeline | 223 | 5 months ago | A Haskell library for line input in command-line programs |
| jgoerzen/twidge | 219 | over 8 years ago | Command-line twitter/identica client [Haskell] |
| ad-si/TaskLite | 225 | 16 days ago | The CLI task manager for power users |
| simonmar/par-tutorial | 219 | almost 12 years ago | A tutorial on Parallel and Concurrent Haskell |
| seek-oss/serverless-haskell | 215 | 11 months ago | Deploying Haskell applications to AWS Lambda with Serverless |
| tweag/capability | 213 | 5 months ago | Extensional capabilities and deriving combinators |
| blynn/compiler | 213 | 9 days ago | The adventures of a Haskell compiler |
| AllureOfTheStars/Allure | 215 | about 1 year ago | 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 |
| chrisdone-archive/duet | 212 | over 1 year ago | A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell |
| michaelochurch/summer-2015-haskell-class | 212 | about 9 years ago | Summer 2015 Haskell Class |
| ekmett/quine | 211 | almost 6 years ago | haskell, opengl, toy project |
| typeclasses/haskell-phrasebook | 211 | over 2 years ago | The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs |
| runtimeverification/haskell-backend | 212 | 4 days ago | The symbolic execution engine powering the K Framework |
| eckyputrady/haskell-scotty-realworld-example-app | 210 | about 5 years ago | Exemplary real world backend API built with Haskell/Scotty |
| commercialhaskell/haskelldocumentation | 209 | over 2 years ago | Repository for collaborative Haskell documentation |
| snowleopard/hadrian | 209 | almost 6 years ago | Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree! |
| music-suite/music-suite | 207 | over 2 years ago | Music in Haskell |
| lpsmith/postgresql-simple | 206 | about 3 years ago | Mid-level client library for accessing PostgreSQL from Haskell |
| ivanperez-keera/dunai | 211 | 11 days ago | Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions |
| axellang/axel | 206 | 6 months ago | Haskell + Lisp |
| Soostone/katip | 205 | 3 months ago | A structured logging framework for Haskell |
| rzk-lang/rzk | 205 | 14 days ago | An experimental proof assistant based on a type theory for synthetic ∞-categories |
| luc-tielen/eclair-lang | 220 | 10 months ago | A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR |
| cmoog/traderjoes | 205 | 26 days ago | Price tracking program and website for Trader Joe's, updated daily |
| david-christiansen/pie-hs | 204 | about 5 years ago | An implementation of Pie in Haskell |
| ChrisPenner/slick | 204 | 3 months ago | Static site generator built on Shake configured in Haskell |
| Avi-D-coder/implicit-hie | 205 | 9 months ago | Auto generate a stack or cabal multi component hie.yaml file |
| lambdacube3d/lambdacube-edsl | 203 | over 6 years ago | Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system: |
| fujimura/hi | 203 | almost 2 years ago | Generate scaffold for a Haskell project |
| advancedtelematic/quickcheck-state-machine | 204 | over 3 years ago | Test monadic programs using state machine based models |
| klappvisor/haskell-telegram-api | 201 | over 1 year ago | Telegram Bot API for Haskell |
| def-/gifstream | 202 | about 1 year ago | Make interactive games in Haskell using GIF streams that can be shown in the web browser |
| ekmett/linear | 202 | about 1 month ago | Low-dimensional linear algebra primitives for Haskell |
| tfausak/flow | 200 | about 2 months ago | Write more understandable Haskell |
| Daniel-Diaz/HaTeX | 199 | about 1 year ago | The Haskell LaTeX library |
| lemmih/lhc | 198 | over 4 years ago | The LLVM LHC Haskell Optimization System |
| haskell/c2hs | 199 | 8 months ago | c2hs is a pre-processor for Haskell FFI bindings to C libraries |
| CIFASIS/QuickFuzz | 198 | over 4 years ago | An experimental grammar fuzzer in Haskell using QuickCheck |
| keera-studios/keera-hails | 195 | over 2 years ago | Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications |
| jxv/dino-rush | 196 | almost 3 years ago | 🌋 Endless runner game |
| barrucadu/dejafu | 195 | about 2 months ago | Systematic concurrency testing meets Haskell |
| soywod/unfog | 195 | 3 months ago | ⏱ Minimalist CLI task & time manager, written in Haskell |
| jgm/skylighting | 195 | about 1 month ago | A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions |
| haskell-suite/haskell-src-exts | 193 | over 1 year ago | Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer |
| corsis/PortFusion | 192 | over 8 years ago | Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling solution – currently available for all TCP protocols (RDP, VNC, HTTP(S), SSH, ...) |
| chrisdone-archive/dynamic | 192 | over 5 years ago | Dynamic typing in Haskell |
| thma/PolysemyCleanArchitecture | 191 | 11 months ago | Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model |
| mikeizbicki/HerbiePlugin | 191 | about 9 years ago | GHC plugin that improves Haskell code's numerical stability |
| haskell-webdriver/haskell-webdriver | 191 | 5 days ago | A Haskell client for the Selenium WebDriver protocol |
| chrisdone-archive/tryhaskell | 192 | over 1 year ago | Try Haskell |
| well-typed/cborg | 191 | 4 months ago | Binary serialisation in the CBOR format |
| airalab/hs-web3 | 190 | 27 days ago | Web3 API for Haskell |
| alpacaaa/quad-ci | 188 | over 2 years ago | A CI server written in Simple Haskell |
| Gabriella439/Haskell-Typed-Spreadsheet-Library | 186 | about 2 years ago | Typed and composable spreadsheets |
| haskell/fgl | 184 | about 2 months ago | A Functional Graph Library for Haskell |
| bollu/cellularAutomata | 184 | over 5 years ago | a collection of cellular automata written in Haskell with Diagrams |
| sdiehl/tinyjit | 183 | almost 5 years ago | Haskell JIT |
| derekmcloughlin/pearls | 185 | over 8 years ago | Pearls of Functional Algorithm Design by Richard Bird - Haskell Code |
| gtk2hs/gtk2hs | 182 | 4 months ago | GUI library for Haskell based on GTK+ |
| facebookarchive/lex-pass | 182 | over 10 years ago | manipulate a php codebase using haskell to transform the abstract-syntax-tree |
| Yuras/pdf-toolbox | 180 | 6 months ago | A collection of tools for processing PDF files in Haskell |
| ucsd-progsys/elsa | 181 | 5 months ago | Elsa is a lambda calculus evaluator |
| mstksg/backprop | 181 | 5 months ago | Heterogeneous automatic differentiation ("backpropagation") in Haskell |
| haskell/hie-bios | 181 | 24 days ago | Set up a GHC API session for various Haskell Projects |
| chshersh/iris | 182 | about 1 year ago | 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines |
| ennocramer/floskell | 180 | 4 months ago | Floskell is a flexible Haskell source code pretty printer |
| yav/graphmod | 180 | 5 months ago | A utility for displaying the module dependencies of Haskell programs |
| nominolo/scion | 179 | over 11 years ago | OLD, DEPRECATED: Use this instead |
| mstksg/auto | 180 | over 5 years ago | Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations |
| haskell/HTTP | 177 | 2 months ago | Haskell HTTP package |
| dmjio/stripe | 178 | 4 months ago | Stripe API |
| serokell/universum | 177 | about 1 month ago | Prelude written in @Serokell |
| awakesecurity/spectacle | 175 | almost 2 years ago | Embedded specification language & model checker in Haskell |
| suhailshergill/extensible-effects | 174 | almost 4 years ago | Extensible Effects: An Alternative to Monad Transformers |
| pmiddend/nixos-manager | 176 | over 4 years ago | Manage your NixOS packages and configuration via a simple, intuitive UI |
| mchakravarty/HaskellSpriteKit | 173 | almost 4 years ago | Haskell binding to Apple's SpriteKit framework |
| nomeata/inspection-testing | 173 | about 1 month ago | Inspection Testing for Haskell |
| kazu-yamamoto/unit-test-example | 173 | 10 months ago | Unit test example for Haskell |
| mongodb-haskell/mongodb | 172 | 5 months ago | MongoDB driver for Haskell |
| kofigumbs/codec-beam | 172 | about 1 year ago | Generate Erlang VM byte code from Haskell |
| fbsamples/ghc-hotswap | 172 | about 6 years ago | Example code for how we swap compiled code within a running Haskell process |
| awakesecurity/nix-deploy | 173 | over 2 years ago | Deploy software or an entire NixOS system configuration to another NixOS system |
| flannelhead/blackstar | 171 | about 3 years ago | A black hole raytracer written in Haskell |
| finkel-lang/finkel | 171 | about 1 month ago | Haskell in S-expression |
| apauley/hledger-flow | 172 | 7 months ago | An hledger/ledger-cli workflow focusing on automated statement import and classification |
| SimulaVR/godot-haskell | 170 | 5 months ago | Haskell bindings for GdNative |
| willbasky/Awesome-list-of-Haskell-mentors | 169 | about 2 years ago | An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects |
| tsoding/haskell-json | 171 | over 1 year ago | Source Code for JSON Parser Video |
| jdnavarro/graphql-haskell | 168 | over 5 years ago | Haskell GraphQL implementation |
| hercules-ci/legacy-old-hercules | 168 | about 6 years ago | Abandoned |
| tzemanovic/haskell-yesod-realworld-example-app | 169 | almost 3 years ago | Exemplary real world application built with Haskell + Yesod |
| MondayMorningHaskell/haskellings | 167 | over 1 year ago | An automated tutorial to teach you about Haskell! |
| dfinity-side-projects/dhc | 166 | over 5 years ago | Compiles Haskell to WebAssembly |
| w7cook/AoPL | 165 | over 3 years ago | A book on programming languages, using Haskell |
| NorfairKing/haskell-dangerous-functions | 166 | about 1 year ago | Documentation about Haskell's dangerous functions and a hlint config file to warn about them |
| etorreborre/registry | 166 | 9 months ago | Components as records of functions for Haskell |
| lambdabot/lambdabot | 164 | 7 months ago | A friendly IRC bot and apprentice coder, written in Haskell |
| joshcough/HaskellStarter | 164 | about 10 years ago | A project that demonstrates getting up and running with Haskell |
| haskell-servant/servant-elm | 164 | 10 months ago | Automatically derive Elm functions to query servant webservices |
| statebox/cql | 163 | over 1 year ago | CQL: Categorical Query Language implementation in Haskell |
| mthom/shentong | 162 | over 6 years ago | A Haskell implementation of the Shen programming language |
| ekmett/coda | 163 | 8 months ago | A language experiment -- irc.freenode.net ##coda |
| snoyberg/yaml | 162 | 3 months ago | Support for serialising Haskell to and from Yaml |
| ocharles/zero-to-quake-3 | 163 | over 4 years ago | Implementing Quake 3 in Haskell & Vulkan |
| mbj/stratosphere | 162 | 22 days ago | Haskell EDSL and type-checker for AWS CloudFormation templates |
| jyp/styx | 162 | over 3 years ago | A nix-based Haskell project manager |
| ekmett/hask | 161 | over 3 years ago | Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!) |
| keera-studios/haskell-game-programming | 160 | about 5 years ago | A central repository of Haskell Game Programming resources, put together by Keera Studios |
| haskell-game/tiny-games-hs | 160 | about 1 year ago | Haskell Tiny Game Jam |
| glguy/irc-core | 160 | 2 months ago | Haskell IRC library and console client - Join us on libera.chat #glirc |
| erikd/language-javascript | 160 | over 1 year ago | Parser for JavaScript, in Haskell |
| scarf-sh/scarf | 159 | over 3 years ago | An environment manager and development tool powered by Nomia |
| kazu-yamamoto/logger | 159 | 21 days ago | A fast logging system for Haskell |
| g-ford/cradle | 160 | over 4 years ago | Let's Build a Compiler (in Haskell) |
| opqdonut/haskell-exercises | 158 | over 3 years ago | Haskell exercises with automatic tests |
| mtolly/onyx | 159 | about 2 months ago | Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games |
| himura/twitter-conduit | 159 | almost 3 years ago | Twitter API package for Haskell, including enumerator interfaces and Streaming API supports |
| bollu/tiny-optimising-compiler | 158 | about 5 years ago | A tiny compiler for an imperative programming language written in haskell |
| Synthetica9/nix-linter | 157 | over 1 year ago | Linter for the Nix expression language |
| AccelerateHS/accelerate-llvm | 158 | 2 months ago | LLVM backend for Accelerate |
| well-typed/generics-sop | 157 | 6 months ago | Generic Programming using True Sums of Products |
| radian-software/kalyn | 157 | over 2 years ago | ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch |
| mit-plv/riscv-semantics | 156 | over 1 year ago | A formal semantics of the RISC-V ISA in Haskell |
| grpc/grpc-haskell | 155 | about 6 years ago | gRPC library binding for Haskell |
| LumiGuide/haskell-opencv | 154 | about 1 year ago | Haskell binding to OpenCV-3.x |
| jgm/citeproc | 154 | about 1 month ago | CSL citation processing library in Haskell |
| graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell | 155 | over 3 years ago | Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell |
| circuithub/rel8 | 156 | about 1 month ago | Hey! Hey! Can u rel8? |
| haskell/ThreadScope | 153 | 16 days ago | A graphical tool for profiling parallel Haskell programs |
| tree-sitter/haskell-tree-sitter | 154 | about 2 months ago | Haskell bindings for tree-sitter |
| SPY/haskell-wasm | 151 | 6 months ago | Haskell WebAssembly Toolkit |
| madjestic/Haskell-OpenGL-Tutorial | 151 | 6 months ago | an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO |
| tfausak/rattletrap | 150 | 22 days ago | Parse and generate Rocket League replays |
| migamake/json-autotype | 149 | about 1 year ago | Automatic Haskell type inference from JSON input |
| facebookincubator/hsthrift | 151 | 4 days ago | 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 |
| dmjio/envy | 150 | 8 months ago | Environmentally friendly environment variables |
| takeoutweight/shade | 149 | over 10 years ago | Interactive, client-side web apps in Haskell |
| nanotech/swift-haskell-tutorial | 149 | over 7 years ago | Integrating Haskell with Swift Mac Apps |
| leepike/Copilot | 149 | over 5 years ago | A (Haskell DSL) stream language for generating hard real-time C code |
| fakedata-haskell/fakedata | 149 | about 1 month ago | Haskell Library for producing quality fake data |
| DataKinds/cherchord | 149 | over 1 year ago | 🎸 Find chords for any string instrument quicky & easily 🎸 |
| soupi/rfc | 148 | 3 months ago | My slides and compilation of resources |
| quchen/generative-art | 148 | about 1 month ago | I wanted to make a nicer sticker for Munihac, then things got out of hand |
| ocharles/engine.io | 149 | almost 4 years ago | A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols |
| mchakravarty/language-c-inline | 147 | over 7 years ago | Inline C & Objective-C in Haskell |
| tsoding/HyperNerd | 148 | about 4 years ago | Total Surveillance Automatic Ban Machine for Twitch and Discord |
| mpickering/apply-refact | 147 | 5 months ago | Refactor Haskell source files |
| jaspervdj/fugacious | 147 | over 6 years ago | An example Haskell web application |
| haskell-opengl/OpenGL | 147 | 5 months ago | Haskell bindings to OpenGL |
| CyberCat-Institute/open-game-engine | 147 | 11 days ago | Haskell implementation of open games |
| wavewave/hoodle | 146 | over 1 year ago | hoodle : A pen notetaking program written in haskell |
| jekor/redo | 145 | almost 7 years ago | djb's redo implementation in Haskell (for Haskell from Scratch video series) |
| zoomhub/zoomhub | 144 | about 1 month ago | Share and view high-resolution images effortlessly |
| grin-compiler/ghc-grin | 143 | about 3 years ago | GRIN backend for GHC |
| ngless-toolkit/ngless | 142 | 3 months ago | NGLess: NGS with less work |
| matsumonkie/izuna | 142 | almost 4 years ago | Show Haskell type annotations when doing code review on Github |
| haskellweekly/haskellweekly | 142 | 7 days ago | Publishes curated news about the Haskell programming language |
| haskell-game/dear-imgui.hs | 143 | about 2 months ago | Haskell bindings to Dear ImGui, an immediate mode GUI toolkit |
| egonSchiele/chips | 142 | about 10 years ago | A clone of Chips Challenge in Haskell |
| wavewave/fficxx | 141 | about 1 year ago | Haskell-C++ Foreign Function Interface Generator |
| palf/haskell-sdl2-examples | 142 | over 1 year ago | SDL2 tutorial code in Haskell |
| commercialhaskell/haskellers | 141 | 10 months ago | haskellers.com site |
| chrisdone-archive/hulk | 141 | almost 8 years ago | Haskell IRC daemon |
| Twinside/Rasterific | 140 | over 3 years ago | A drawing engine in Haskell |
| reflex-frp/reflex-vty | 140 | 10 days ago | Build terminal applications using functional reactive programming (FRP) with Reflex FRP |
| JacquesCarette/Drasil | 143 | 10 days ago | Generate all the things (focusing on research software) |
| haskell-works/hw-kafka-client | 140 | 9 months ago | Kafka client for Haskell, including auto-rebalancing consumers |
| expipiplus1/vulkan | 140 | 29 days ago | Haskell bindings for Vulkan |
| ChrisPenner/void-space | 140 | over 4 years ago | Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me |
| twittner/zeromq-haskell | 139 | over 8 years ago | This repository has been moved to |
| RefactoringTools/HaRe | 139 | over 7 years ago | The Haskell Refactoring Tool |
| purebred-mua/purebred | 139 | about 1 year ago | A terminal based mail user agent based on notmuch |
| pkamenarsky/replica | 139 | 13 days ago | A remote virtual DOM library for Haskell |
| pkamenarsky/concur-replica | 139 | about 4 years ago | Server-side VDOM UI framework for Concur |
| vimus/vimus | 139 | over 2 years ago | An MPD client with vim-like key bindings, written in Haskell |
| typeable/octopod | 138 | 3 months ago | Kubernetes self-service portal |
| sigrlami/haskellcosm | 137 | 8 months ago | Collecting information about Haskell ecosystem - companies, communities, media, etc |
| msgpack/msgpack-haskell | 138 | almost 2 years ago | Haskell implementation of MessagePack / msgpack.org[Haskell] |
| haskell/critbit | 138 | over 2 years ago | A Haskell implementation of crit-bit trees |
| tromp/ChessPositionRanking | 139 | 12 months ago | Software suite for ranking chess positions and accurately estimating the number of legal chess positions |
| honza/redish | 137 | over 6 years ago | A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell |
| boundedvariation/quantfin | 138 | over 5 years ago | quant finance in pure haskell |
| wellposed/numerical | 136 | 5 months ago | Numerical is the core library for Numerical Haskell |
| rainbyte/frag | 136 | over 4 years ago | Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong |
| jgm/commonmark-hs | 135 | 27 days ago | Pure Haskell commonmark parsing library, designed to be flexible and extensible |
| haskell-fswatch/hfsnotify | 136 | 16 days ago | Unified Haskell interface for basic file system notifications |
| ChrisPenner/wc | 136 | over 3 years ago | Beating unix in Haskell |
| sol/markdown-unlit | 135 | 2 months ago | Literate Haskell support for Markdown |
| haskell-mafia/mafia | 135 | almost 5 years ago | Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks |
| def-/ghc-vis | 135 | 8 months ago | Visualize live Haskell data structures in GHCi |
| abailly/aws-lambda-haskell | 135 | over 8 years ago | Running Haskell code on AWS Lambda |
| tfausak/haskeleton | 134 | over 7 years ago | A Haskell package skeleton |
| Bodigrim/smallcheck | 134 | over 1 year ago | Test your Haskell code by exhaustively checking its properties |
| ajhc/ajhc | 134 | over 5 years ago | A fork of jhc. And also a Haskell compiler |
| tsoding/haskell-music | 134 | about 4 years ago | Source Code from "Making Music with Haskell" video |
| rodrigosetti/master-plan | 133 | about 6 years ago | Project Management for Hackers |
| kowainik/cake-slayer | 132 | almost 2 years ago | 🍰🔪 Architecture of Haskell backend applications |
| qrilka/xlsx | 132 | 6 months ago | Simple and incomplete Excel file parser/writer |
| ocharles/micro-ci | 133 | about 7 years ago | A tiny CI server built around GitHub and Nix |
| freizl/hoauth2 | 133 | 10 days ago | Haskell oauth2 binding |
| bscarlet/llvm-general | Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.) | ||
| tweag/inline-js | 131 | 3 months ago | Call JavaScript from Haskell, and vice versa! |
| MarcWeber/hasktags | 130 | about 2 months ago | Produces ctags "tags" and etags "TAGS" files for Haskell programs |
| dahlia/seonbi | 131 | 13 days ago | SmartyPants for Korean language |
| aisamanra/rust-haskell-ffi | 131 | over 9 years ago | Toy example of calling Rust from Haskell |
| syocy/a-tour-of-go-in-haskell | 130 | about 6 years ago | Write "Concurrency" section of "A Tour of Go" in Haskell |
| simonmichael/shelltestrunner | 130 | about 1 year ago | Easy, repeatable testing of CLI programs/commands |
| mvoidex/hsdev | 130 | about 4 years ago | Haskell development tool |
| haskelllive/haskelllive | 130 | over 12 years ago | Source code of the Haskell Live episodes |
| ollef/Bidirectional | 129 | about 4 years ago | Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism" |
| ndmitchell/record-dot-preprocessor | 129 | 10 months ago | A preprocessor for a Haskell record syntax using dot |
| haskell/play-haskell | 130 | 27 days ago | Haskell Playground |
| augustss/djinn | 129 | about 1 year ago | Generate Haskell code from a type |
| schell/steeloverseer | 128 | 10 days ago | A file watcher and development tool |
| hdbc/hdbc | 127 | almost 3 years ago | Haskell Database Connectivity |
| fumieval/extensible | 128 | about 2 months ago | Extensible records, variants, structs, effects, tangles |
| bos/configurator | 128 | about 8 years ago | A Haskell library supporting flexible, dynamic file-based configuration |
| saschagrunert/nn | 127 | over 6 years ago | A tiny neural network 🧠 |
| kubernetes-client/haskell | 127 | 2 months ago | Haskell client for the kubernetes API. A work in progress |
| kazu-yamamoto/recursion-drill | 127 | 6 months ago | Drill to study recursive programming in Haskell |
| jberryman/unagi-chan | 127 | almost 3 years ago | A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API |
| ix/calico | 128 | over 4 years ago | cat, but for colors 😼 |
| sam46/Paskell | 126 | about 5 years ago | A Pascal to LLVM compiler in Haskell |
| hreinhardt/amqp | 127 | about 1 month ago | Haskell AMQP client library |
| flora-pm/flora-server | 128 | 4 days ago | A package index for the Haskell ecosystem |
| camfort/camfort | 126 | about 1 month ago | Light-weight verification and transformation tools for Fortran |
| hspec/HUnit | 125 | 4 months ago | A unit testing framework for Haskell |
| gregorycollins/hashtables | 125 | 4 days ago | Mutable hash tables for Haskell, in the ST monad |
| danstiner/hfmt | 125 | about 2 years ago | Format Haskell programs. Inspired by the gofmt utility |
| UweSchmidt/hxt | 124 | 4 months ago | Haskell XML Toolbox |
| mumuki/mulang | 124 | about 1 year ago | Universal, Multi Language, Multi Paradigm code analyzer |
| lexi-lambda/eff | 124 | about 1 year ago | 🚧 a work in progress effect system for Haskell 🚧 |
| lettier/webviewhs | 125 | over 3 years ago | 🌐 A Haskell binding to the webview library created by Serge Zaitsev |
| egonSchiele/HandsomeSoup | 124 | over 8 years ago | Easy HTML parsing for Haskell |
| turion/rhine | 124 | 5 days ago | Haskell Functional Reactive Programming framework with type-level clocks |
| Paczesiowa/hsenv | 123 | almost 11 years ago | Virtual Haskell Environment builder |
| nh2/hatrace | 123 | over 4 years ago | scriptable strace |
| effectfully-ou/sketches | 125 | 5 months ago | A Haskell blog |
| brunjlar/neural | 123 | about 4 years ago | Neural Nets in native Haskell |
| winterland1989/mysql-haskell | 122 | 23 days ago | Pure haskell mysql driver |
| kowainik/tomland | 122 | 6 months ago | 🏝 Bidirectional TOML serialization |
| frasertweedale/hs-jose | 122 | 4 months ago | Haskell JOSE and JWT library |
| dandoh/web-haskell-graphql-postgres-boilerplate | 122 | over 1 year ago | Modern webserver in Haskell: Graphql + Postgresql + Authentication + DB migration + Dotenv and more |
| noinia/hgeometry | 122 | 4 days ago | HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms |
| nirum-lang/nirum | 121 | almost 6 years ago | Nirum: IDL compiler and RPC/distributed object framework for microservices |
| srid/rib | 119 | over 2 years ago | Haskell static site generator based on Shake (superseded by ) |
| paf31/dovetail | 119 | over 2 years ago | A PureScript interpreter in Haskell |
| cronokirby/haskell-in-haskell | 120 | almost 4 years ago | Trying to write an understandable implementation of Haskell, in Haskell |
| ocramz/xeno | 120 | over 1 year ago | Fast Haskell XML parser |
| katychuang/getting-started-with-haskell | 118 | about 6 years ago | notes on where to find Haskell tutorials and tips to complete them |
| halogenandtoast/ArkhamHorror | 118 | 6 days ago | An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games |
| 1HaskellADay/1HAD | 118 | over 10 years ago | 1 Haskell A Day exercises |
| sweirich/challenge | 117 | about 2 years ago | Strongly-typed System F in Haskell |
| srid/ema | 117 | 3 months ago | Change-aware static site generator for Haskell programmers |
| rdnetto/powerline-hs | 117 | 11 months ago | A lightning fast reimplementation of the Powerline prompt generator in Haskell |
| lehins/hip | 116 | 10 months ago | Haskell Image Processing Library |
| krisajenkins/elm-export | 116 | 10 months ago | Create Elm types and JSON decoders from Haskell source |
| hansroland/reflex-dom-inbits | 116 | almost 2 years ago | A tutorial for reflex-dom with small code bits |
| grin-compiler/ghc-whole-program-compiler-project | 116 | 7 days ago | GHC Whole Program Compiler and External STG IR tooling |
| bgamari/b-tree | 116 | almost 3 years ago | Haskell on-disk B* tree implementation |
| utdemir/distributed-dataset | 116 | over 4 years ago | A distributed data processing framework in Haskell |
| NorfairKing/sydtest | 115 | 4 days ago | A modern testing framework for Haskell with good defaults and advanced testing features |
| mzero/haskell-amuse-bouche | 114 | about 11 years ago | A short technical talk about some fun things in Haskell |
| judah/pier | 115 | over 4 years ago | Yet another Haskell build system |
| jmorag/mcc | 116 | over 3 years ago | MicroC example compiler for Stephen Edward's PLT class, but in Haskell |
| ianthehenry/basilica | 115 | almost 4 years ago | It's kinda like a forum |
| GaloisInc/HaNS | 115 | almost 7 years ago | The haskell network stack |
| diffusionkinetics/open | 115 | almost 2 years ago | DiffusionKinetics open-source monorepo |
| cofinalsubnets/wisp | 115 | over 11 years ago | small-but-featureful embeddable lisp interpreter written in haskell |
| nikita-volkov/hasql-th | 112 | 5 months ago | Template Haskell utilities for Hasql |
| awakesecurity/hocker | 115 | about 1 month ago | Utilities for interacting with the docker registry and generating nix build instructions |
| srid/slownews | 113 | about 4 years ago | 🐢 Bringing slow news for the nervous among us |
| donya/Kulitta | 113 | about 6 years ago | 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 |
| simmsb/calamity | 112 | about 1 month ago | A library for writing discord bots in haskell |
| ilya-klyuchnikov/lambdapi | 112 | over 3 years ago | Dependently Typed Lambda Calculus in Haskell |
| bos/pool | 112 | over 2 years ago | A high-performance striped resource pooling implementation for Haskell |
| alpmestan/hnn | 112 | over 7 years ago | haskell neural network library |
| target/row-types | 111 | over 2 years ago | A Haskell library for open records and variants using closed type families and type literals |
| serras/hinc | 111 | over 4 years ago | Haskell In New Clothes |
| mmark-md/mmark | 111 | 14 days ago | Strict markdown processor for writers |
| MedeaMelana/Magic | 111 | over 3 years ago | Haskell implementation of Magic: The Gathering |
| egonSchiele/dominion | 111 | almost 8 years ago | A Dominion simulator in Haskell |
| chrisnc/tangaroa | 111 | over 8 years ago | A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant |
| UnkindPartition/ansi-terminal | 110 | 7 days ago | ANSI terminal support for Haskell, with Windows compatibility |
| neurocyte/android-haskell-activity | 110 | over 11 years ago | An example of an Android Activity written in Haskell |
| eskimor/purescript-bridge | 110 | 5 months ago | Create PureScript datatypes from Haskell datatypes |
| typedbyte/switch | 109 | almost 2 years ago | A library for interacting with Nintendo Switch controllers, written in Haskell |
| Soostone/hadron | 109 | about 7 years ago | Construct and run Hadoop MapReduce programs in Haskell |
| mgsloan/store | 109 | 9 months ago | Fast binary serialization in Haskell |
| JakeWheat/hssqlppp | 108 | about 3 years ago | SQL parser and type checker in Haskell |
| hadronized/luminance | 109 | over 7 years ago | Type-safe, type-level and stateless Haskell graphics framework |
| ChrisPenner/eve | 109 | almost 4 years ago | An extensible event-driven application framework in haskell |
| cachix/elm2nix | 109 | about 2 months ago | Convert Elm project into Nix expressions |
| drummyfish/haskell_game | 108 | over 6 years ago | Wolfenstein 3D, ray-casting FPS game I make to learn Haskell. No libraries used, rendering is done in terminal |
| sdiehl/repline | 106 | over 1 year ago | Haskeline wrapper for GHCi-like REPL interfaces |
| meiersi/blaze-react | 107 | over 8 years ago | A blaze-html style ReactJS binding for Haskell using GHCJS |
| marcosh/crem | 108 | 24 days ago | Compositional Representable Executable Machines |
| fizruk/telegram-bot-simple | 108 | 5 days ago | Easy to use library for building Telegram bots in Haskell |
| cronokirby/haze | 107 | about 5 years ago | A bittorrent client, for learning purposes |
| acowley/roshask | 107 | about 8 years ago | Haskell client library for the ROS robotics framework |
| y-taka-23/thank-you-stars | 106 | almost 2 years ago | Give your dependencies stars on GitHub! 🌟 |
| rrnewton/haskell-lockfree | 106 | 5 months ago | A collection of different packages for CAS based data structures |
| matthewbauer/ghc-nix | 106 | almost 2 years ago | Exploring the options for incremental Haskell builds using Nix |
| jdreaver/eventful | 106 | about 3 years ago | Event Sourcing library for Haskell |
| haskell/binary | 106 | 7 months ago | Efficient, pure binary serialisation using ByteStrings in Haskell |
| commercialhaskell/stackage-server | 106 | 5 months ago | Server for stable, curated Haskell package sets |
| aelve/guide | 106 | almost 5 years ago | A workspace for research teams |
| ZHaskell/stdio | 104 | about 4 years ago | Haskell Standard Input and Output |
| gonimo/gonimo | 105 | over 3 years ago | gonimo application back & front |
| xmonad/X11 | 105 | 5 days ago | A Haskell binding to the X11 graphics library |
| smallhadroncollider/ascii-runner | 104 | about 4 years ago | An infinite runner in your terminal |
| serokell/importify | 104 | about 6 years ago | Importi.fy — it's like Uber, but for Haskell modules |
| re-xyr/cleff | 105 | over 1 year ago | Fast and concise extensible effects |
| monadicsystems/okapi | 104 | 11 months ago | A data-driven micro web framework for Haskell |
| commandodev/oHm | 104 | over 9 years ago | Om with Haskell in it |
| bos/llvm | 104 | almost 5 years ago | Haskell bindings to the LLVM compiler infrastructure project |
| pasqu4le/clifm | 107 | about 4 years ago | Command Line Interface File Manager |
| travitch/datalog | 102 | over 4 years ago | A pure Haskell implementation of Datalog |
| tfausak/github-release | 102 | about 2 months ago | Upload files to GitHub releases |
| m4dc4p/haskelldb | 102 | over 5 years ago | A library for building re-usable and composable SQL queries |
| japiirainen/fp | 102 | 5 days ago | A small, weird and unpractical programming language |
| ekmett/reflection | 102 | 22 days ago | Reifies arbitrary Haskell terms into types that can be reflected back into terms |
| composewell/streaming-benchmarks | 102 | 6 days ago | Benchmarks to compare Haskell streaming library performance |
| clckwrks/clckwrks | 103 | 16 days ago | A Haskell CMS platform |
| stackbuilders/hapistrano | 103 | 9 days ago | Deploy tool for Haskell applications, like Capistrano for Rails |
| lspitzner/exference | 101 | over 7 years ago | Haskell tool to generate expressions from types |
| lexi-lambda/higher-rank | 101 | over 7 years ago | A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism |
| leopiney/tensor-safe | 101 | almost 2 years ago | A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras |
| haskellfoundation/error-message-index | 102 | 19 days ago | A community-driven collection of documentation for Haskell error messages and warnings |
| freeman42x/haskell-editor-setup | 101 | 8 months ago | Easy instructions for setting up Haskell editors / IDEs on any major operating system |
| kowainik/typerep-map | 100 | 10 months ago | ⚡️Efficient implementation of Map with types as keys |
| dhall-lang/dhall-to-cabal | 100 | almost 2 years ago | Compile Dhall expressions to Cabal files |
| alexandersgreen/qio-haskell | 100 | 9 months ago | The Quantum IO Monad, implemented in Haskell |
| talw/crisp-compiler | 99 | over 8 years ago | A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend |
| stepchowfun/effects | 99 | almost 3 years ago | A brief exploration of the various approaches to modeling side effects in a purely functional programming language |
| snapframework/io-streams | 99 | 7 months ago | Simple, composable, and easy-to-use stream I/O for Haskell |
| kosmikus/lhs2tex | 99 | 12 months ago | Preprocessor for typesetting Haskell sources with LaTeX |
| JustusAdam/mustache | 98 | over 1 year ago | Haskell implementation of mustache templates |
| hercules-ci/hercules-ci-agent | 99 | 6 days ago | build and deployment agent |
| hdevtools/hdevtools | 99 | about 4 years ago | Persistent GHC-powered background server for FAST haskell development tools |
| google/haskell-indexer | 99 | over 4 years ago | Emits code crossreference data for Haskell sources |
| dorchard/effect-monad | 99 | over 1 year ago | Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects |
| haskell/stm | 98 | 10 days ago | Software Transactional Memory |
| blarney-lang/blarney | 98 | about 2 months ago | Haskell library for hardware description |
| ZHaskell/z-io | 97 | 6 months ago | IO lib for haskell |
| sol/tinc | 97 | almost 3 years ago | A dependency manager for Haskell |
| rubik/argon | 98 | over 5 years ago | Monitor cyclomatic complexity in Haskell programs |
| jonascarpay/calligraphy | 98 | over 1 year ago | haskell source code visualizer |
| haskell/win32 | 97 | 9 days ago | Haskell support for the Win32 API |
| google/mlir-hs | 97 | about 1 month ago | Haskell bindings for MLIR |
| lymar/hastache | 96 | about 6 years ago | Haskell implementation of Mustache template |
| haskell-cryptography/cacophony | 96 | over 3 years ago | A Haskell library implementing the Noise protocol |
| RKlompUU/FPSheet | 95 | over 3 years ago | FPSheet: A Spreadsheet program with Haskell as the scripting language |
| owickstrom/motor | 95 | about 4 years ago | Type-safe effectful state machines in Haskell |
| nandor/hcraft | 95 | over 10 years ago | Haskell clone of a certain game |
| JustusAdam/language-haskell | 97 | 7 months ago | Highlighting support for the Haskell language in visual studio code |
| goldfirere/units | 95 | 9 months ago | The home of the units Haskell package |
| dmvianna/haskellbook | 95 | almost 5 years ago | Exercise solutions for haskellbook.com |
| alphaHeavy/protobuf | 95 | almost 3 years ago | An implementation of Google's Protocol Buffers in Haskell |
| sealchain-project/sealchain | 94 | almost 2 years ago | Financial blockchain based on cardano-sl |
| ndmitchell/extra | 94 | about 1 month ago | Extra Haskell functions |
| haskell-waargonaut/waargonaut | 94 | over 2 years ago | JSON decoding/encoding/manipulation library |
| dwayne/haskell-programming | 95 | about 3 years ago | My notes and solutions to exercises for the book "Haskell Programming from first principles" |
| dustin/gopro | 96 | 6 days ago | Tools for making the most out of GoPro Plus |
| albertoruiz/easyVision | 94 | over 7 years ago | Haskell packages for computer vision, image processing, and pattern recognition |
| 5outh/Bang | 94 | almost 6 years ago | A Drum Machine DSL for Haskell |
| zjhmale/Ntha | 93 | about 8 years ago | The Ntha Programming Language |
| zenhack/haskell-capnp | 93 | over 1 year ago | Cap'n Proto for Haskell |
| willdonnelly/dyre | 93 | about 1 year ago | A Dynamic Reconfiguration Library for Haskell Programs |
| tanakh/Peggy | 93 | over 9 years ago | The Parser Generator for Haskell |
| psibi/tldr-hs | 92 | over 2 years ago | Haskell tldr client |
| haskell-haskey/haskey | 93 | over 3 years ago | Transactional key-value store written entirely in Haskell |
| ekmett/gl | 94 | 7 months ago | Complete raw OpenGL bindings for Haskell |
| AtnNn/haskell-rethinkdb | 93 | over 7 years ago | RethinkDB client library for Haskell |
| 2016rshah/heckle | 93 | over 7 years ago | Jekyll in Haskell (feat. LaTeX) |
| snowdriftcoop/snowdrift | 92 | 11 months ago | Infrastructure for Snowdrift.coop. This is a MIRROR of . Your issue reports and merge requests are welcome, but they will be moved to gitlab.com. You are encouraged to start there instead! |
| snapframework/heist | 92 | 5 months ago | An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags |
| monadfix/named | 90 | 26 days ago | Named parameters (keyword arguments) for Haskell |
| lettier/parsing-with-haskell-parser-combinators | 92 | about 5 years ago | 🔍 A step-by-step guide to parsing using Haskell parser combinators |
| lazamar/haskell-docs-cli | 93 | 30 days ago | Browse Hackage from the terminal |
| jspahrsummers/ObjectiveHaskell | 92 | over 11 years ago | Tools for making it easier to integrate Haskell and Objective-C |
| fpco/weigh | 93 | 20 days ago | Measure allocations of a Haskell functions/values |
| adamwalker/sdr | 92 | over 1 year ago | Software defined radio library in Haskell |
| snoyberg/file-embed | 92 | 2 months ago | Use Template Haskell to embed file contents directly |
| ndmitchell/cmdargs | 91 | 7 months ago | Haskell library for command line argument processing |
| kazu-yamamoto/quic | 92 | 5 days ago | IETF QUIC library in Haskell |
| hspec/hspec-example | 91 | about 1 year ago | A Haskell/Hspec skeleton project |
| haskellnews/haskellnews | 91 | over 6 years ago | An aggregation of all online content related to Haskell |
| google/ghc-source-gen | 91 | 16 days ago | Library for generating Haskell source files and code fragments |
| Gabriella439/Haskell-Annah-Library | 91 | about 2 years ago | Distributed programming language that desugars to Morte |
| vincenthz/hs-gauge | 90 | about 2 years ago | Lean Haskell Benchmarking |
| MichaelBurge/haskoin | 90 | almost 7 years ago | Proof-of-concept Blockchain in Haskell |
| I3ck/HGE2D | 90 | over 3 years ago | 2D game engine written in Haskell |
| haskell-game/fungen | 90 | about 1 year ago | A lightweight, cross-platform, OpenGL-based 2D game engine in Haskell |
| hailstorm-hs/hailstorm | 90 | over 10 years ago | Haskell distributed stream processing with exactly-once semantics |
| YPares/porcupine | 89 | over 2 years ago | Express parametrable, composable and portable data pipelines |
| tbarnetlamb/hyphen | 89 | 5 months ago | hyphen - access Haskell modules from Python |
| ShabbyX/libpandoc | 90 | over 7 years ago | C bindings to Pandoc, a markup converter library written in Haskell |
| rumblesan/improviz | 89 | almost 2 years ago | DEPRECATED: A live-coded visual performance tool |
| pa-ba/compdata | 89 | about 1 year ago | Haskell library implementing "Data Types a la Carte" |
| mvaldesdeleon/haskell-book | 89 | about 3 years ago | Exercises and code from "Haskell Programming from First Principles" |
| gregorulm/h2048 | 89 | over 10 years ago | An implementation of the game 2048 in Haskell |
| cyga/real-world-haskell | 89 | about 8 years ago | parser for code samples from the book "real world haskell" ( ) |
| abooij/sudbury | 89 | about 7 years ago | Haskell implementation of the wayland protocol |
| rmehri01/thock | 88 | about 3 years ago | ⌨️ A modern TUI typing game featuring online racing against friends |
| ocramz/sparse-linear-algebra | 88 | over 4 years ago | Numerical computation in native Haskell |
| Holmusk/elm-street | 88 | 6 months ago | Crossing the road between Haskell and Elm |
| haskellari/postgresql-simple | 88 | 3 months ago | Mid-level client library for accessing PostgreSQL from Haskell |
| Euterpea/HSoM | 88 | about 1 year ago | Supporting Impelementation for Haskell School of Music |
| effectfully-ou/haskell-challenges | 89 | almost 2 years ago | Code challenges to solve with Haskell |
| chris-taylor/Classical-Mechanics | 88 | over 7 years ago | Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation |
| Bodigrim/linear-builder | 88 | 3 months ago | Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time |
| bawolk/hsp | 88 | over 5 years ago | Haskell command line text stream processor |
| sellout/yaya | 87 | 29 days ago | Yet another yet another recursion scheme library in Haskell |
| qnikst/HaskellNet | 87 | 3 months ago | Haskell library which provides client support for POP3, SMTP, and IMAP protocols |
| haskell-nix/hnix-store | 87 | 16 days ago | Haskell implementation of the Nix store |
| haskell-hvr/missingh | 87 | 2 months ago | Utility library [Haskell] |
| dpp/LispHaskellIPad | 87 | over 13 years ago | An iPad app that's a Lisp interpretter... written in Haskell (heh heh heh) |
| ChrisPenner/Firefly | 87 | about 6 years ago | Simple Haskell http framework |
| Lysxia/first-class-families | 86 | 3 months ago | First-class type families |
| lambdacube3d/lambdacube-compiler | 86 | about 1 year ago | LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out: |
| alsonkemp/turbinado | 86 | about 4 years ago | MVC Web Framework for Haskell. See for example code |
| TomSmeets/FractalArt | 85 | almost 2 years ago | Generate colorful wallpapers! |
| mvr/at | 85 | 2 months ago | Effective Algebraic Topology in Haskell |
| andys8/git-brunch | 85 | about 1 year ago | Git branch checkout menu |
| ameingast/postgresql-simple-migration | 85 | over 3 years ago | PostgreSQL Schema Migrations for Haskell |
| ahushh/monaba | 85 | almost 4 years ago | Imageboard engine written in Haskell and powered by Yesod |
| abarbu/matplotlib-haskell | 85 | 8 months ago | Haskell bindings for Python's Matplotlib |
| seanhess/hyperbole | 88 | 9 days ago | Haskell interactive serverside web framework inspired by HTMX |
| ocharles/what-it-do | 84 | over 6 years ago | Automatically trace all (showable) binds in do expressions |
| ice1000/Kt2Dart | 84 | about 7 years ago | [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again |
| fimad/prometheus-haskell | 84 | 5 months ago | Haskell client library for exposing prometheus.io metrics |
| dnikolovv/practical-haskell | 84 | about 2 years ago | A collection of Practical Haskell bits |
| danielwaterworth/siege | 84 | almost 13 years ago | [DEPRECATED] A DBMS written in Haskell |
| blackhole89/macros | 84 | over 4 years ago | A more powerful C/C++ preprocessor |
| algas/haskell-servant-cookbook | 84 | over 3 years ago | Haskell Servant Cookbook |
| agrafix/funblog | 84 | over 7 years ago | A simple blog software written in Haskell |
| nikita-volkov/jsonifier | 83 | 12 months ago | Fast and simple JSON encoding toolkit |
| nh2/haskell-cpu-instruction-counter | 83 | over 6 years ago | Measuring CPU instructions in Haskell using Linux Performance Counters |
| ifesdjeen/haskell-ffi-tutorial | 83 | about 10 years ago | A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop |
| haskell-works/avro | 83 | 4 months ago | Haskell Avro Encoding and Decoding Native Support (no RPC) |
| ekmett/linear-logic | 83 | over 3 years ago | They see me rollin'. They're Heyting. -- Chamillionaire, 2005 |
| ChrisPenner/json-to-haskell | 82 | almost 4 years ago | In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available |
| bolt12/laop | 83 | over 1 year ago | Linear Algebra of Programming - Algebraic Matrices in Haskell |
| agrafix/superrecord | 83 | about 2 years ago | Haskell: Supercharged anonymous records |
| zmactep/hasbolt | 82 | 9 months ago | Haskell driver for Neo4j 3+ (BOLT protocol) |
| thephoeron/quipper-language | 83 | about 9 years ago | Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork) |
| mark-watson/haskell_tutorial_cookbook_examples | 82 | 12 days ago | Code samples for my book "Haskell Tutorial and Cookbook" |
| jcollard/unm-hip | 82 | about 10 years ago | The University of New Mexico's Haskell Image Processing Library |
| JakeWheat/simple-sql-parser | 82 | about 1 month ago | SQL parser in Haskell |
| HeinrichApfelmus/operational | 82 | 6 months ago | Implement monads by specifying instructions and their desired operational semantics |
| ezyang/compact | 82 | 5 months ago | Compact regions library for Haskell |
| bkirwi/ethereum-haskell | 82 | over 9 years ago | An independent reimplementation of Ethereum in Haskell |
| awkward-squad/ki | 83 | 4 months ago | A structured concurrency library |
| xnning/EvEff | 82 | over 3 years ago | Efficient Haskell effect handlers based on evidence translation |
| reflex-frp/reflex-examples | 81 | 3 months ago | See Reflex FRP in action with tinker-friendly code samples you can run yourself |
| phadej/cabal-extras | 81 | 4 months ago | A tool suite to aid Haskell development using |
| Nike-Inc/bartlett | 81 | over 6 years ago | A simple Jenkins command line client to serve your needs |
| mrkkrp/zip | 81 | 23 days ago | Efficient library for manipulating zip archives |
| Lysxia/generic-random | 81 | over 1 year ago | Generic random generators |
| llvm-hs/llvm-hs-kaleidoscope | 82 | over 3 years ago | Kaleidoscope Tutorial using llvm-hs |
| iu-parfunc/lvars | 81 | about 2 years ago | The LVish Haskell library |
| hpdeifel/hledger-iadd | 82 | 23 days ago | A terminal UI as drop-in replacement for hledger add |
| HaskellZhangSong/Introduction_to_Haskell_2ed_source | 82 | almost 7 years ago | 这是Haskell函数式编程入门第2版的源码 |
| haskell-jp/makeMistakesToLearnHaskell | 81 | 4 days ago | Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門 |
| Gabriella439/Haskell-Lens-Tutorial-Library | 81 | 6 months ago | The missing tutorial module for the lens library |
| bitc/lushtags | 81 | almost 7 years ago | Create ctags compatible tags files for Haskell programs |
| awakesecurity/proto3-suite | 81 | 7 days ago | Haskell Protobuf Implementation |
| vehicle-lang/vehicle | 80 | 3 days ago | A toolkit for enforcing logical specifications on neural networks |
| sol/aeson-qq | 80 | over 1 year ago | JSON quasiquoter for Haskell |
| k-bx/protocol-buffers | 80 | 5 months ago | Haskell protocol-buffers package |
| gshen42/HasChor | 80 | about 2 months ago | Functional choreographic programming in Haskell |
| felixmulder/haskell-in-production | 80 | about 5 years ago | Companion to the Haskell in Production series |
| Bodigrim/tasty-bench | 80 | 19 days ago | Featherlight benchmark framework, drop-in replacement for criterion and gauge |
| aviaviavi/cryptocompare | 80 | about 4 years ago | Haskell wrapper for the CryptoCompare API - No longer maintained, ping me if you'd like to take over |
| Anut-py/h-raylib | 81 | 24 days ago | Haskell bindings for raylib |
| sdiehl/zurihac-crypto | 79 | almost 5 years ago | Small minimal examples of modern cryptographic techniques in Haskell |
| jwiegley/control-theory | 80 | almost 6 years ago | Control theory in Haskell: Data structures, algorithms and adapters |
| jfeltz/dash-haskell | 79 | over 4 years ago | dash docset builder for Haskell packages and cabal project dependencies |
| hlian/linklater | 79 | about 4 years ago | A Haskell library for the Slack API (including real-time messaging!) |
| haskell-github-trust/replace-megaparsec | 79 | 6 months ago | Stream editing with Haskell Megaparsec parsers |
| crabmusket/haskell-simple-concurrency | 79 | about 8 years ago | Small examples of concurrency in Haskell |
| zhangchiqing/beginner-friendly-haskell-for-web-development | 78 | almost 6 years ago | A book about real world web development in beginner friendly Haskell |
| YoEight/eventstore | 78 | almost 3 years ago | EventStore Haskell TCP Client |
| well-typed/unfolder | 80 | 5 days ago | Repository with code snippets that accompany episodes of The Haskell Unfolder |
| alevy/postgresql-orm | 78 | over 3 years ago | An Haskell ORM (Object Relational Mapping) and migrations DSL for PostgreSQL |
| tfausak/rampart | 77 | about 2 months ago | Determine how intervals relate to each other |
| TerenceNg03/mueval | 77 | 7 months ago | A secure sandboxed Haskell interpreter for pure function evaluation |
| tdammers/ginger | 77 | 16 days ago | A Haskell implementation of the Jinja template language |
| smart-chain-fr/tokenomia | 76 | over 1 year ago | Tokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. Cardashift is a community-driven startup platform that raises funds, builds and accelerates startups that solve social and environmental problems |
| nominolo/lambdachine | 77 | about 10 years ago | VM and tracing JIT for Haskell (work in progress) |
| kowainik/hit-on | 77 | almost 2 years ago | Kowainik Git Workflow Helper Tool |
| jwiegley/putting-lenses-to-work | 76 | over 7 years ago | A presentation for BayHac 2017 on how I uses lenses at work |
| jasonstolaruk/CurryMUD | 77 | 11 months ago | A Multi-User Dungeon server in Haskell |
| ekmett/comonad | 77 | 23 days ago | Haskell 98 comonads |
| tmcdonell/cuda | 75 | about 1 year ago | Haskell FFI bindings to CUDA |
| thumphries/hgrep | 76 | over 4 years ago | Search Haskell source code from the command line |
| robstewart57/rdf4h | 76 | 8 months ago | rdf4h is a library for working with RDF in Haskell |
| jvranish/MiniKanrenT | 76 | over 11 years ago | An implementation of miniKanren in Haskell |
| jaredloomis/andromeda | 76 | about 5 years ago | OpenGL-based rendering engine with embedded language that compiles to GLSL |
| intolerable/reddit | 76 | over 2 years ago | reddit api for haskell |
| Haskell-Things/HSlice | 76 | 10 months ago | HSlice - A Haskell based slicer for 3D printing |
| elaforge/fast-tags | 76 | 2 months ago | Incremental vi and emacs tags for haskell |
| denibertovic/docker-hs | 76 | over 1 year ago | A Haskell library for the Docker Engine API |
| alt-romes/hegg | 77 | 7 months ago | Fast equality saturation in Haskell |
| saurabhnanda/odd-jobs | 75 | about 1 month ago | Haskell job queue with admin UI and loads of other features |
| rudymatela/fitspec | 74 | 10 months ago | refine properties for testing Haskell programs |
| NoRedInk/haskell-libraries | 75 | 13 days ago | Libraries we use at NoRedInk |
| ndmitchell/uniplate | 76 | about 1 year ago | Haskell library for simple, concise and fast generic operations |
| jhickner/smtp-mail | 75 | 7 months ago | Making it easy to send SMTP email from Haskell |
| barbuz/Husk | 75 | over 3 years ago | Functional golfing language inspired by Haskell |
| tfausak/witch | 75 | 14 days ago | Convert values from one type into another |
| randomthought/xmonad-config | 74 | over 5 years ago | xmonad config |
| mchakravarty/lazy-lambda | 74 | about 8 years ago | Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit |
| kowainik/prolens | 72 | over 1 year ago | 👓 Profunctor based lightweight implementation of Lenses |
| eldr-io/hastl | 81 | about 1 month ago | Production ready, modern web-application starter template using haskell and htmx |
| dstcruz/Write-Yourself-A-Scheme-In-48-Hours | 75 | over 12 years ago | My solutions to the popular Haskell tutorial |
| chshersh/dr-cabal | 74 | almost 2 years ago | 📊 Haskell dependencies build times profiler |
| xtendo-org/chips | 73 | about 1 year ago | A fast, lightweight, and concurrent plugin manager for the fish shell, written in Haskell |
| mmirman/ImperativeHaskell | 73 | over 12 years ago | Proof that Haskell can look and act like an imperative language |
| isovector/suavemente | 73 | over 5 years ago | an applicative functor that seamlessly talks to HTML inputs |
| ekmett/contravariant | 73 | about 1 month ago | Haskell 98 contravariant functors |
| cdepillabout/servant-checked-exceptions | 73 | over 1 year ago | type-level errors for Servant APIs |
| basvandijk/scientific | 73 | 5 months ago | Arbitrary-precision floating-point numbers represented using scientific notation |
| turtlesoupy/haskakafka | 72 | about 7 years ago | Kafka bindings for Haskell |
| ryukinix/discrete-mathematics | 72 | over 5 years ago | A computational way to study discrete mathematics using Haskell |
| robrix/starlight | 72 | about 4 years ago | spaceships in space |
| lvm/tidal-drum-patterns | 74 | over 3 years ago | TidalCycles / Haskell modules of drum patterns |
| LeventErkok/hArduino | 72 | almost 2 years ago | Control your Arduino board from Haskell, using the Firmata protocol |
| ku-fpg/blank-canvas | 72 | 26 days ago | A Haskell API into HTML5 Canvas |
| JeanHuguesdeRaigniac/effects-landscape | 72 | over 1 year ago | Effects libraries in Haskell |
| hauxir/haskell-tetris | 72 | about 5 years ago | Tetris game written in Haskell using ncurses |
| colah/HaskSymb | 72 | over 12 years ago | An Experiment in Haskell Symbolic Algebra |
| balsoft/lambda-launcher | 72 | over 2 years ago | Application launcher in haskell. Mostly Just For Fun |
| vmchale/command-line-tweeter | 71 | almost 4 years ago | Tweets in from a pipe |
| siraben/mini-haskell | 72 | almost 5 years ago | A self-hosting mini Haskell compiler with a mini C runtime |
| llvm-hs/llvm-hs-examples | 71 | over 3 years ago | Examples for Haskell bindings to LLVM |
| kowainik/smuggler | 71 | over 4 years ago | 🚣 Smuggle all imports |
| iand675/hs-opentelemetry | 73 | 6 days ago | OpenTelemetry support for the Haskell programming language |
| cjdev2/monad-mock | 71 | almost 5 years ago | A Haskell package that provides a monad transformer for mocking mtl-style typeclasses |
| bsl/GLFW-b | 71 | 2 months ago | Haskell bindings to GLFW |
| anton-k/mig | 71 | 12 months ago | Lightweight and composable servers for Haskell |
| sol/reserve | 70 | almost 3 years ago | Universal and robust reloading for Haskell web applications |
| snoyberg/xml | 71 | 18 days ago | Various XML utility packages for Haskell |
| ncaq/dic-nico-intersection-pixiv | 70 | 3 months ago | ニコニコ大百科とピクシブ百科事典の共通部分のIME辞書 |
| mroman42/mikrokosmos | 70 | over 3 years ago | (λ) Educational lambda calculus interpreter |
| kowainik/shellmet | 70 | about 1 month ago | 🐚 Out of the shell solution for scripting in Haskell |
| jdreaver/amy | 70 | about 5 years ago | Strict Haskell-like programming language that compiles to LLVM |
| i-am-tom/learn-me-a-haskell | 70 | about 6 years ago | Trying to get back all the stuff I had in JavaScript |
| haskellfoundation/tech-proposals | 69 | 4 months ago | The Haskell Foundation Tech Proposal Process |
| ekmett/profunctors | 70 | 5 months ago | Haskell 98 Profunctors |
| anton-k/processing-for-haskell | 70 | over 2 years ago | Graphics for kids and artists. Processing implemented in Haskell |
| alanz/ghc-exactprint | 70 | 7 days ago | GHC version of haskell-src-exts exactPrint |
| abhin4v/hastatic | 71 | over 5 years ago | hastatic is a tiny static content web server for Docker |
| wyager/Example-Distributed-App | 69 | almost 4 years ago | An example distributed systems application in Haskell using Cloud Haskell |
| TOTBWF/refinery | 69 | over 1 year ago | ⛏️ A refinement proof framework for haskell |
| tfausak/wuss | 69 | 6 days ago | Secure WebSocket (WSS) clients in Haskell |
| stevana/property-based-testing-stateful-systems-tutorial | 69 | almost 2 years ago | A tutorial about how to apply property-based testing to stateful systems |
| qmuli/qmuli | 69 | almost 6 years ago | Qmuli - Serverless framework for Haskell |
| politrons/Dive_into_Haskell | 69 | over 1 year ago | Dive into Haskell: Examples of all features of this Pure Functional programing language |
| podenv/podenv | 70 | 29 days ago | a container wrapper |
| Paczesiowa/virthualenv | 69 | almost 11 years ago | Virtual Haskell Environment builder |
| kowainik/policeman | 69 | over 3 years ago | 👮 Haskell PVP adviser |
| IFCA-Advanced-Computing/opencl | 69 | about 3 years ago | Haskell high-level wrapper for OpenCL |
| iand675/haskell-checklist | 69 | about 8 years ago | Preflight checklist for Haskell code. Aspire to greatness! |
| haskell/pretty | 69 | over 1 year ago | Haskell Pretty-printer library |
| alexmingoia/twain | 69 | 16 days ago | Tiny web application framework for WAI |
| transient-haskell/axiom | 68 | over 3 years ago | Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler) |
| tonyday567/numhask | 68 | about 1 month ago | A haskell numeric prelude, providing a clean structure for numbers and operations that combine them |
| raaz-crypto/raaz | 68 | about 1 month ago | Cryptographic library for Haskell |
| mrkkrp/modern-uri | 68 | 24 days ago | Modern library for working with URIs |
| lambdacube3d/lambdacube-quake3 | 68 | almost 2 years ago | Quake 3 map viewer in Haskell using LambdaCube 3D |
| jekor/hesh | 68 | over 4 years ago | Haskell Extensible Shell |
| codedownio/sandwich | 68 | 7 days ago | Yet another test framework for Haskell |
| vincenthz/language-java | 67 | over 3 years ago | Java parser and printer for haskell |
| takenobu-hs/haskell-ethereum-assembly | 66 | over 6 years ago | EVM (Ethereum virtual machine) Assembly on Haskell DSL |
| rickeyski/slack-api | 67 | over 1 year ago | Haskell bindings to the Slack RTM API |
| puffnfresh/sonic2 | 67 | almost 3 years ago | Sonic the Hedgehog 2 in Haskell |
| poor-a/erlang-ffi | 67 | 9 months ago | A Foreign Function Interface that lets Haskell and Erlang programs communicate |
| lukasmartinelli/hwk | 67 | almost 7 years ago | A Haskell based awk and sed alternative |
| kazu-yamamoto/hhp | 67 | 10 months ago | Happy Haskell Programming |
| HaskellZhangSong/Introduction_to_Haskell | 67 | about 8 years ago | This is source code of my book |
| cpennington/h4sh | 67 | over 14 years ago | Fork of Don Stewarts h4sh haskell shell scripts |
| chiroptical/declarative-programming-streams | 67 | about 1 year ago | Active streaming declarative programmers. See who's online at the following URL: |
| bitc/hs-term-emulator | 67 | almost 3 years ago | Terminal Emulator written in 100% Haskell |
| vincenthz/hs-git | 66 | almost 3 years ago | git protocol and storage in pure haskell |
| vaibhavsagar/duffer | 66 | almost 5 years ago | A git-compatible content tracker in Haskell |
| typedbyte/hagato | 66 | 12 months ago | Haskell Gamedev Toolkit, a library for developing games from scratch |
| sebastiaanvisser/fclabels | 66 | almost 3 years ago | First class composable record labels for Haskell |
| kowainik/validation-selective | 66 | 6 months ago | 💂♂️ Lightweight pure validation based on Applicative and Selective functors |
| kowainik/colourista | 66 | 30 days ago | ️🌈 Convenient interface for printing colourful messages |
| kim/leveldb-haskell | 66 | 6 months ago | Haskell bindings to LevelDB ( ) |
| itchyny/miv | 66 | over 1 year ago | Vim plugin manager written in Haskell |
| haskell-lisp/liskell | 66 | almost 11 years ago | Haskell Semantics with Lisp Syntax |
| haskell/filepath | 66 | 4 days ago | Haskell FilePath core library |
| guibou/PyF | 66 | 6 months ago | Haskell QuasiQuoter for String Formatting |
| geniusyield/atlas | 67 | 6 days ago | Application backend for Plutus smart contracts on Cardano |
| elaforge/karya | 66 | 8 months ago | music sequencer and generalized notation |
| dorchard/type-level-sets | 66 | 11 months ago | Type-level sets for Haskell (with value-level counterparts and various operations) |
| crufter/haquery | 65 | over 1 year ago | jQuery for Haskell |
| Bodigrim/poly | 66 | about 1 month ago | Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent) |
| bendyworks/api-server | 66 | about 9 years ago | A JSON API server written in Haskell |
| AtifChy/xmonad | 66 | about 3 years ago | my Xmonad configuration |
| asivitz/Hickory | 67 | 8 months ago | Tools for building 3D interactive programs in Haskell |
| acowley/ffmpeg-light | 67 | 7 months ago | Minimal Haskell bindings to the FFmpeg library |
| stackbuilders/dotenv-hs | 65 | 21 days ago | Load environment variables from dotenv files for Haskell |
| spl/dlist | 65 | 5 months ago | Difference lists in Haskell |
| paulrzcz/hquantlib | 66 | 11 months ago | HQuantLib, financial math in Haskell |
| ethercrow/opentelemetry-haskell | 65 | about 1 year ago | The OpenTelemetry Haskell Client |
| ocharles/effect-zoo | 65 | over 3 years ago | Comparing Haskell effect systems for ergonomics and speed |
| HeinrichApfelmus/frp-guides | 65 | almost 4 years ago | A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP) |
| ff-notes/ron | 65 | 5 months ago | Haskell implementation of RON and RON-RDT |
| dhall-lang/dhall-json | 65 | almost 6 years ago | This repository has moved to |
| basvandijk/nixtodo | 65 | about 7 years ago | A demonstration on how to use Nix to build, test and deploy a Haskell application |
| judah/haskeline | 223 | 5 months ago | A Haskell library for line input in command-line programs |
| kolmodin/binary | 106 | 7 months ago | Efficient, pure binary serialisation using ByteStrings in Haskell |
| ocharles/assert-explainer | 65 | over 6 years ago | Py.test style assertions in Haskell |
| haskell-hvr/hslogger | 64 | 2 months ago | Logging framework for Haskell |
| fosskers/aura | 1,756 | about 2 months ago | A multilingual package manager for Arch Linux and the AUR |
| Haskell-Things/ImplicitCAD | 1,409 | 4 months ago | A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation |
| cjdev/monad-mock | A Haskell package that provides a monad transformer for mocking mtl-style typeclasses | ||
| input-output-hk/hydra | 284 | 4 days ago | Implementation of the Hydra Head protocol |
| gvolpe/shopping-cart-haskell | 64 | over 3 years ago | Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach" |
| Gabriella439/Haskell-Errors-Library | 64 | about 1 year ago | Type-safe error handling |
| postgres-haskell/postgres-wire | 64 | almost 6 years ago | A native Haskell driver for PostgreSQL |
| ivan-m/graphviz | 64 | about 2 years ago | Haskell bindings to the Graphviz toolkit |
| yamadapc/haskell-ascii-progress | 64 | over 7 years ago | A simple Haskell progress bar for the console. Heavily borrows from TJ Holowaychuk's Node.JS project |
| tfausak/hairy | 64 | over 8 years ago | A JSON REST API built in Haskell |
| jaseemabid/Olifant | 64 | about 6 years ago | A simple programming language targeting LLVM |
| IxpertaSolutions/freer-effects | 65 | over 6 years ago | An implementation of "Freer Monads, More Extensible Effects" |
| chrisdone/jl | 473 | over 2 years ago | Functional sed for JSON |
| chrisdone/vado | 281 | over 5 years ago | A demo web browser engine written in Haskell |
| chrisdone/duet | 212 | over 1 year ago | A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell |
| chrisdone/tryhaskell | 192 | over 1 year ago | Try Haskell |
| chrisdone/dynamic | 192 | over 5 years ago | Dynamic typing in Haskell |
| snoyberg/haskellers | 141 | 10 months ago | haskellers.com site |
| chrisdone/hulk | 141 | almost 8 years ago | Haskell IRC daemon |
| fpco/stackage-server | 106 | 5 months ago | Server for stable, curated Haskell package sets |
| huangz1990/real-world-haskell-cn | 1,557 | almost 3 years ago | 《Real World Haskell》中文翻译项目 |
| feramhq/Perspec | 590 | over 1 year ago | Scriptable desktop app to correct the perspective of images |
| serokell/nixfmt | 922 | 14 days ago | A formatter for Nix code |
| jaspervdj/psqueues | 64 | 3 months ago | Priority Search Queues in three different flavors for Haskell |
| achirkin/vulkan | 63 | over 3 years ago | Low-level low-overhead haskell bindings to vulkan API |
| phaazon/luminance | 109 | over 7 years ago | Type-safe, type-level and stateless Haskell graphics framework |
| roman/Haskell-capataz | 62 | over 5 years ago | OTP-like supervision trees in Haskell |
| owainlewis/http-dispatch | 62 | about 7 years ago | A high level HTTP client for Haskell that focuses on ease of use |
| ekmett/structures | 63 | about 9 years ago | A playground for working on advanced data structures in Haskell |
| Chase-C/Flocking-Simulation | 64 | almost 9 years ago | A 3D Boids-like flocking simulation coded in Haskell |
| bydriv/mhc | 63 | over 6 years ago | Minimal Haskell Compiler |
| hslua/hslua | 129 | 8 days ago | Haskell bindings to Lua, an embeddable scripting language |
| sleexyz/hylogen | 481 | 10 months ago | GLSL embedded in Haskell |
| rnons/ted2srt | 143 | over 3 years ago | Download bilingual subtitles of TED talks |
| Frost-Lord/HaskMate | 32 | 3 months ago | HaskMate is a Haskell-based project monitoring and automation tool designed to continuously watches for changes in your Haskell source files and automatically triggers a rebuild and re-execution of the project whenever a modification is detected |
| osener/markup.rocks | 382 | about 8 years ago | Pandoc based document editor and converter in your browser |
| kowainik/treap | 63 | over 3 years ago | Efficient implementation of the implicit treap data structure |
| kazu-yamamoto/dns | 64 | 6 months ago | DNS libary in Haskell |
| Gabriella439/Haskell-MVC-Library | 62 | about 2 years ago | Model-view-controller |
| wasp-lang/wasp | 13,766 | 6 days ago | The fastest way to develop full-stack web apps with React & Node.js |
| alpacaaa/zero-bullshit-haskell | 562 | over 3 years ago | Learn Haskell, without the bullshit |
| mtolly/onyxite-customs | 159 | about 2 months ago | Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games |
| IFCA/opencl | 69 | about 3 years ago | Haskell high-level wrapper for OpenCL |
| serras/lambdaconf-2015-web | 63 | over 9 years ago | Projects for LambdaConf 2015 Haskell web workshop |
| bgamari/ghc-debug | 62 | 7 months ago | Moved to Haskell.org GitLab |
| gw000/wisp | 115 | over 11 years ago | small-but-featureful embeddable lisp interpreter written in haskell |
| aspiwack/porcupine | 89 | over 2 years ago | Express parametrable, composable and portable data pipelines |
| razvan-flavius-panda/haskell-editor-setup | 101 | 8 months ago | Easy instructions for setting up Haskell editors / IDEs on any major operating system |
| gwern/mueval | 77 | 7 months ago | A secure sandboxed Haskell interpreter for pure function evaluation |
| nponeccop/HNC | 62 | over 5 years ago | HN Compiler |
| haskell-tls/hs-certificate | 60 | 7 months ago | Certificate and Key Reader/Writer in haskell |
| blitzcode/hackage-diff | 63 | over 6 years ago | Compare the public API of different versions of a Hackage library |
| ConsenSys/constellation | 380 | over 4 years ago | Peer-to-peer encrypted message exchange |
| input-output-hk/nix-tools | 96 | over 1 year ago | Translate Cabals Generic Package Description to a Nix expression |
| fizruk/rzk | 205 | 14 days ago | An experimental proof assistant based on a type theory for synthetic ∞-categories |
| ed-o-saurus/PLHaskell | 135 | 3 months ago | A Haskell extension for PostgreSQL that allows embedded Haskell code |
| ekmett/semigroups | 62 | over 1 year ago | Haskell 98 semigroups |
| zepto-lang/zepto | 60 | about 6 years ago | A schemy Lisp backed by Haskell |
| migamake/homplexity | 61 | almost 2 years ago | Haskell code complexity and quality measurement |
| CGenie/haskell-snake | 60 | about 6 years ago | Snake game implemetation in Haskell using SDL2 |
| jamesdbrock/replace-megaparsec | 79 | 6 months ago | Stream editing with Haskell Megaparsec parsers |
| nh2/haskell-from-python | 58 | almost 12 years ago | Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary) |
| killy971/hpc-coveralls | 60 | about 1 year ago | coveralls.io support for haskell code coverage with hpc |
| kallisti-dev/hs-webdriver | 191 | 5 days ago | A Haskell client for the Selenium WebDriver protocol |
| agda/agda2hs | 177 | about 1 month ago | Compiling Agda code to readable Haskell |
| guardians-of-life/haskell-editor-setup | 101 | 8 months ago | Easy instructions for setting up Haskell editors / IDEs on any major operating system |
| kowainik/membrain | 62 | about 4 years ago | 🧠 Type-safe memory units |
| kowainik/issue-wanted | 59 | about 4 years ago | 🏷 Web application to help beginners to start contributing into Haskell projects |
| tibbe/hyena | 60 | about 14 years ago | A Haskell web application server |
| ocramz/aeson-schema | 60 | almost 2 years ago | Haskell JSON schema validator and parser generator |
| kowainik/eio | 58 | over 3 years ago | 🎯 IO with Exceptions tracked on the type-level |
| coinmetrics/haskell-tools | 58 | almost 3 years ago | Tools for exporting blockchain data to analytical databases |
| vincenthz/hs-connection | 61 | over 1 year ago | simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management |
| tmcgilchrist/postgresql-transactional | 60 | over 2 years ago | Transactional monadic actions on top of PostgreSQL |
| Quid2/flat | 60 | about 2 years ago | Principled and efficient binary serialization |
| NinjaTrappeur/ex-hack | 59 | over 5 years ago | Example-based Haskell Documentation Engine |
| mrkkrp/ghc-syntax-highlighter | 59 | 5 months ago | Syntax highlighter for Haskell using the lexer of GHC |
| djv/VisualProf | 59 | about 9 years ago | - |
| TiltMeSenpai/Discord.hs | 57 | over 7 years ago | Have you heard of our lord and savior Haskell? |
| mstksg/tensor-ops | 59 | over 7 years ago | Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation |
| seanhess/robotquest | 61 | about 8 years ago | RobotQuest is a MMO, programming game. Instead of playing RobotQuest directly, you write a program that plays it for you. Your program communicates with the game server API over HTTP by sending and receiving JSON messages. Written in HTML, Haskell, with MongoDB |
| pietervdvn/Haskell | 58 | almost 9 years ago | Introduction to haskell |
| hasura/graphql-parser-hs | 59 | about 2 years ago | A GraphQL query parser for Haskell |
| haskell-opengl/GLUT | 61 | 5 months ago | Haskell bindings to GLUT |
| EmaApps/emanote | 817 | 10 days ago | Emanate a structured view of your plain-text notes |
| EmaApps/ema | 117 | 3 months ago | Haskell static site generator that is change-aware |
| jules-hedges/open-games-hs | 147 | 11 days ago | Haskell implementation of open games |
| rnons/shadowsocks-haskell | 57 | about 6 years ago | shadowsocks in haskell |
| input-output-hk/hydra-poc | 284 | 4 days ago | Proof of concept for the Hydra Head protocol |
| haskell/ghcup-hs | 289 | 4 days ago | THIS REPO IS A MIRROR, BUG REPORTS GO HERE: |
| chetant/LibClang | 58 | over 7 years ago | Haskell FFI to libclang |
| haskell-hvr/uuid | 61 | 3 months ago | A Haskell library for creating, printing and parsing UUIDs |
| unrelentingtech/magicbane | 119 | about 2 years ago | A web framework that integrates Servant, EKG, fast-logger, wai-cli… |
| fortytools/holumbus | 57 | about 10 years ago | A Haskell library which provides the basic building blocks for creating powerful indexing and search applications |
| tomahawkins/improve | 56 | about 13 years ago | An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink |
| mrkkrp/facts | 58 | about 6 years ago | Refined types |
| geekrelief/as3tohaxe | 57 | almost 14 years ago | An Actionscript 3 to haXe source converter written in Haskell |
| Erdwolf/prolog | 61 | over 9 years ago | A prolog interpreter written in Haskell |
| hasura/graphql-engine | 31,179 | 7 days ago | Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events |
| Gabriella439/Haskell-Pipes-Library | 489 | about 2 years ago | Compositional pipelines |
| Gabriella439/Haskell-Optparse-Generic-Library | 208 | 10 months ago | Auto-generate a command-line parser for your datatype |
| Gabriella439/Haskell-List-Transformer-Library | 60 | 6 months ago | List monad transformer |
| skogsbaer/hscurses | 61 | about 9 years ago | ncurses binding for Haskell |
| basvandijk/monad-control | 58 | almost 2 years ago | Lift control operations, like exception catching, through monad transformers |
| tidalcycles/Tidal | 2,272 | 13 days ago | Pattern language |
| Gabriel439/turtle | 945 | 6 months ago | Shell programming, Haskell style |
| Gabriel439/Haskell-Pipes-Library | 489 | about 2 years ago | Compositional pipelines |
| phadej/github | 411 | 10 days ago | The github API for Haskell |
| Gabriel439/Haskell-Morte-Library | 375 | about 2 years ago | A bare-bones calculus-of-constructions |
| anoma/juvix | 455 | 6 days ago | Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution |
| tweag/monad-bayes | 409 | 3 days ago | A library for probabilistic programming in Haskell |
| monadfix/microlens | 285 | 7 months ago | A lightweight (but compatible with ‘lens’) lenses library |
| helium/airship | 245 | over 1 year ago | Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps |
| Gabriel439/Haskell-Optparse-Generic-Library | 208 | 10 months ago | Auto-generate a command-line parser for your datatype |
| aquarial/discord-haskell | 267 | 7 days ago | Haskell library for writing Discord bots |
| Gabriel439/Haskell-Typed-Spreadsheet-Library | 186 | about 2 years ago | Typed and composable spreadsheets |
| freckle/stratosphere | 162 | 22 days ago | Haskell EDSL and type-checker for AWS CloudFormation templates |
| eashanhatti/konna | 11 | over 2 years ago | A fast functional language based on two level type theory |
| Gabriel439/Haskell-Foldl-Library | 160 | 3 months ago | Composable, streaming, and efficient left folds |
| raxod502/kalyn | 157 | over 2 years ago | ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch |
| Gabriel439/Haskell-Annah-Library | 91 | about 2 years ago | Distributed programming language that desugars to Morte |
| Gabriel439/Haskell-Lens-Tutorial-Library | 81 | 6 months ago | The missing tutorial module for the lens library |
| tweag/porcupine | 89 | over 2 years ago | Express parametrable, composable and portable data pipelines |
| ocharles/ghc-nix | 106 | almost 2 years ago | Exploring the options for incremental Haskell builds using Nix |
| Gabriel439/Haskell-MVC-Library | 62 | about 2 years ago | Model-view-controller |
| Gabriel439/Haskell-Errors-Library | 64 | about 1 year ago | Type-safe error handling |
| giovanifss/Dumb | 53 | about 6 years ago | Dumain Bruteforcer - a fast and flexible domain bruteforcer |
| pkamenarsky/concur-static | 58 | almost 4 years ago | Generate semi-dynamic UIs with Concur |
| moonmaster9000/bird | 57 | almost 14 years ago | A sinatra-ish framework written in haskell, riding on top of Hack |
| davean/waldo | 57 | over 12 years ago | A small Haskell server for generating visual stories based on some ascertainable data about the requester |
xgrommx/awesome-functional-programming
tweag/topiary
progrium/bashstyle
buddy-works/dockerfile-linter
huntergregal/mimipenguin
stackrox/stackrox
pforret/bashew
jlevy/the-art-of-command-line
winitzki/scall
dhall-lang/dhall-haskell
denysdovhan/bash-handbook
hagl/dhall-unison