Stars
A proof assistant for higher-dimensional type theory
A CLI for extracting libraries from Apple's dyld shared cache file
Demo for high-performance type theory elaboration
Logical manifestations of topological concepts, and other things, via the univalent point of view.
A modern commutative diagram editor for the web.
Agda is a dependently typed programming language / interactive theorem prover.
Decompilation of The Legend of Zelda: Ocarina of Time
Experiments in formalizing and specifying computer systems with Agda
LaTeX-style mathematical symbols input method for macOS
Draft proposal for additional sub/superscript characters in Unicode
An open source re-implementation of RollerCoaster Tycoon 2 🎢
A bare metal USB driver for Raspberry Pi 1-3 written in C
Double-entry accounting system with a command-line reporting interface
Petition to open source Flash and Shockwave spec