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