Top 3893 haskell open source projects

The compiler for Keli

Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)

Domain Specific Languages of Mathematics

Play Minesweeper by formally proving your moves in Idris

💧 Write more understandable Haskell.

lsp-mode ❤️ haskell

Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others

GUI library for Haskell based on GTK+

A black hole raytracer written in Haskell

The Haskell LaTeX library.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Fast Aho-Corasick string searching

A Haskell implementation of the Shen programming language.

Higher-kinded data via generics

Dependent type checker using normalisation by evaluation

Heterogeneous automatic differentiation ("backpropagation") in Haskell

A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell

Wakatime server implementation & analytics dashboard

Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications

A Super Kawaii Dependently Typed Programming Language

a collection of cellular automata written in Haskell with Diagrams

A friendly IRC bot and apprentice coder, written in Haskell.

A book on programming languages, using Haskell

Interactive, client-side web apps in Haskell

Haskell exercises with automatic tests

Generate Erlang VM byte code from Haskell

A wrapper program around cabal and cabal-install that maintains sandboxed build environments.

Haskell EDSL and type-checker for AWS CloudFormation templates

A nix-based Haskell project manager

Haskelly is a VS Code extension that provides complete support for casual and expert Haskell development.

Exploring Elm on the Erlang VM

An implementation of Pie in Haskell

SystemVerilog to Verilog conversion

Twitter API package for Haskell, including enumerator interfaces and Streaming API supports.

💰 Stripe API

A Functional Graph Library for Haskell

Authenticated Data Structures Generically

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

A tiny *optimising* compiler for an imperative programming language written in haskell

A distributed note taker and task manager.

Bundles code and a job to run for local or remote execution.

Automatically derive Elm functions to query servant webservices

Typed frontend to TensorFlow and higher-order deep learning

A language experiment -- irc.freenode.net ##coda

Inspection Testing for Haskell

Implementing Quake 3 in Haskell & Vulkan

Erlang backend for the PureScript compiler