A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

A project to map out the relations between different equational theories of Magmas.

An easy to use, cross platform, GUI library for writing Haskell applications.

C# pure functional programming framework - come and get declarative!

A Rust/WASM implementation of homotopy.io

Plot Cookbook

antifunext

A dissection of L: article about focalised sequent calculus and dependent types

A proof assistant for higher-dimensional type theory

Formalization of Linear Logic and Related Programming Languages Metatheory

tic-tac-toe in a single call to printf

Compiling Agda code to readable Haskell

What impact does floating point precision have on Mandelbrot set calculations?

Visual Studio Code Extension and Language Server Protocol for Coq

A new markup-based typesetting system that is powerful and easy to learn.

Proofs in Coq for the book Reflective Programs in Tree Calculus

They see me rollin'. They're Heyting. -- Chamillionaire, 2005

Source for personal blog.

Braiding extensible effects together in a pipeline/workflow of tasks

recursion schemes for cats; to iterate is human, to recurse, divine

Formalizing stochastic doubly-efficient debate

Haskell implemented with combinators

higher order dependently typed logic programing

experimenting with unlifted classes via backpack

Coq plugin embedding elpi

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.