Parsing, analyzing, and comparing source code across many languages
Agda is a dependently typed programming language / interactive theorem prover.
Dockerfile linter, validate inline bash, written in Haskell
Future-proof and simple-to-use notes system based on Zettelkasten.
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
REST API for any Postgres database
Koka language compiler and interpreter
An advanced keyboard manager
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).
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
Shake build system
Liquid Types For Haskell
λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.
A static website compiler library in Haskell
A declarative Unix terminal UI programming library written in Haskell
A statically typed lisp, without a GC, for real-time applications.
Terminal-based presentations using Pandoc
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
A multi-syntax functional programming language that compiles to WebAssembly.
Slides and other materials for functional programming lectures ITMO university
A terminal interface for Tetris
A wayland compositor based on ideas from and inspired by xmonad
Bluespec Compiler (BSC)
Introduction to parsing with Haskell and Parsec
Optics as an abstract interface
A library for probabilistic programming in Haskell.
Website for hosting and searching PureScript API documentation
A secure, multilingual package manager for Arch Linux and the AUR.
A probabilistic programming language
Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
A structured logging framework for Haskell
:tv: A free and simple to use video player made with Haskell.
Empire strikes back
A project that demonstrates getting up and running with Haskell.
A friendly programming language from the future
Homomorphic machine learning
Generate Erlang VM byte code from Haskell
The LLVM LHC Haskell Optimization System
A tiny CI server built around GitHub and Nix
An absolutely simple & terse CLI app to manipulate JSON data
Parsing all context-free grammars using Earley's algorithm in Haskell.
A friendly IRC bot and apprentice coder, written in Haskell.
A Common Intermediate Language backend for Idris.
Convert lambda expressions to CCC combinators
Telegram Bot API for Haskell
A streaming data library
The Ermine Programming Language - Join us on irc.freenode.net #ermine