New home of Esqueleto, please file issues so we can get things caught up!

Research on the data structure of SSX games.

Adventures in being positively negative when deciding things in Idris.

A declarative API to animate the transition of elements shared between pages in a single page app

H.O.T.T. using rewriting in Agda

HoTTEST Summer School materials

Create beautiful diagrams just by typing notation in plain text.

A fast functional language based on two level type theory

Cartesian Cubical Type Theory

The category theory by example book

collect coverage and prepare a codecov formatted coverage file with partial line hits included

Demo for high-performance type theory elaboration

The agda-unimath library

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

agda-mode on VS Code

Language Server for Agda

The cuteness implementation of a dependently typed language.

Embedded specification language & model checker in Haskell

HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”

Minimal implementations for dependent type checking and elaboration

A collection of modern/faster/saner alternatives to common unix commands.

A demo implementation of a simple dependently-typed language

Refinement types + dependent types = ❤️

Agda formalisation of the Introduction to Homotopy Type Theory

Staged compilation with dependent types

Example language server (LSP) implementation for a toy language

Programming Languages Zoo

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

JS engine in Rust