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

A fast functional language based on two level type theory

Automatic Differentiation

Standard library for linear types in Haskell.

A probabilistic programming language

🂺 A Multiplayer Poker App Crafted with Haskell and React

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