Parsing, analyzing, and comparing source code across many languages

A modern proof language

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 th…

Official Haskell IDE support via the language server protocol (LSP)

A static website compiler library in Haskell

Pattern language

Agda is a dependently typed programming language / interactive theorem prover.

The Eta Programming Language, a dialect of Haskell on the JVM

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

The Plutus language implementation and tools

Haskell to VHDL/Verilog/SystemVerilog compiler

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…

Liquid Types For Haskell

Tensors and neural networks in Haskell

Minimal implementations for dependent type checking and elaboration

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

A language for intent-centric and declarative decentralised applications

Optics as an abstract interface

A Haskell library for typesafe music composition

Mu (μ) is a purely functional framework for building micro services.

A high-level ncurses alternative written in Haskell

A simple expressions language with polymorphic extensible row types.

A categorical programming language with effects

Dependent type checker using normalisation by evaluation

Relational programming in Haskell. Mostly developed on twitch.

Classic Algorithm W for type inference.

Euterpea version 2

Defect Process (2d hack n' slash game) full source code