Haskell implemented with combinators

Learn Lean and topology

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

Make your JSON data collaborative and version-controlled with CRDTs

Azure Cosmos TLA+ specifications

A monadic library for symbolic evaluation

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

Functional choreographic programming in Haskell

SC Mini is a "minimal" positive supercompiler

Kit: a magical, high performance programming language, designed for game development.

Small project using Scala with SBT

A Calculus for Scoped Effects and Handlers

Integrations between Natchez, Doobie, HTTP4s, Log4cats and Datadog. Formerly called effect-utils.

Test monadic programs using state machine based models

Micro-library for building effectful protocols

Functional Reactive Programming domain-specific language for efficient hybrid systems

Support for lockstep-style testing using quickcheck-dynamic

A library for stateful property-based testing

Haskell's IO simulator which closely follows core packages (base, async, stm).

comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories

Append-only list persist & query system

An experimental proof assistant based on a type theory for synthetic ∞-categories.

A deterministic parser with fused lexing

egraphs + datalog!

A collection of FP concepts in languages other than traditional functional languages.

tar creator+extractor in ~100 lines of prolog

Datalog compiler embedded in Rust as a procedural macro