James Chapman's repositories
Relative Monad Library for Agda
Agda formalisations of some big-step normalization proofs
A formalisation of Restriction Categories in Agda
A category theory library for Agda
Currently this repo contains a translation of Thierry Coquands proof of the irrationality of 2 from agda 1 to agda 2
Aive Kalmus's agda logo designs
The Agda standard library
An Agda formalisation of the theory of directed containers
Easy to use F# wrapper for Google Charts visualization library
F# GitHub Community Webpages
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
ITT8060 Advanced Programming
Formalisation of normalisation by evaluation for simply typed lambda calculus extended with natural numbers, lists, pairs, and streams.
Introduction to programming language theory in Agda.
The Plutus language implementation and tools
Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.