A modern proof language

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

💥💻💥 A data-parallel functional programming language

The Plutus language implementation and tools

Miscellaneous articles. The readme is the table of contents.

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Liquid Types For Haskell

Tensors and neural networks in Haskell

♊ higher-order, no-boilerplate monads

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Embedded language for high-performance array computations

A streaming data library

Algebraic graphs

A fast, flexible, fused effect system for Haskell

A little course to learn about some of the more obscure GHC extensions.

Accompanying Source Code for the Haskell Data Analysis Cookbook

A demo implementation of a simple dependently-typed language

Experimental implementation of Cubical Type Theory

A prompt engineering functional programming language

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

Haskell GraphQL Api, Client and Tools

Automatic Differentiation

Standard library for linear types in Haskell.

A probabilistic programming language

Use snippets of Rust inline in your Haskell programs

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

The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs

An implementation of Pie in Haskell

Haskell implementation of open games

LLVM backend for Accelerate