A Functional Implementation of Quantum Simulation

Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)

Visualiser for Spartan

Inpla: Interaction nets as a programming language (the current version)

draws an SVG schematic from a JSON netlist

Notes on lambda calculus and type theory.

Éole, a Lévy-optimal lambda calculus evaluator without oracle

Puzzles for multimodal reasoning

For IBM Quantum Challenge Spring 2023

A formalization of Constructive Projective Geometry in Agda

Minimal implementations for dependent type checking and elaboration

Horus, a formal verification tool for StarkNet smart contracts.

The functional Haskell kernel

oleg modules

Parsing, analyzing, and comparing source code across many languages

B629 course content for Spring 2023

classical sequent calculus, embedded in Haskell

doom-emacs packaged for Nix [maintainers=@thiagokokada]

HoTTEST Summer School materials

Coq集合论中文教程

A collection of resources for learning type theory and type theory adjacent fields.

A simple L-Systems explorer powered by WebGL

Context Free is a program that generates images from written instructions called a grammar. The program follows the instructions in a few seconds to create images that can contain millions of shapes.

A modern formatting library

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

The batteries-included full-stack framework for the AI era. Develop JS/TS web apps (React, Node.js, and Prisma) using declarative code that abstracts away complex full-stack features like auth, bac…

A minimal jekyll theme for building books and blog.

A chess rule library in Haskell