awesome-haskell

A curated list of awesome Haskell frameworks, libraries and software.

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