A modern proof language

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

A static website compiler library in Haskell

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

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

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

A distributed note taker and task manager.

Generic Programming using True Sums of Products

Generate all the things (focusing on research software)

Typed frontend to TensorFlow and higher-order deep learning

Number theory: primes, arithmetic functions, modular computations, special sequences