Popular repositories Loading

1. Agda Agda Public

   Agda 1

2. phd phd Public

   Agda 1

3. pi-forall pi-forall Public

   Forked from sweirich/pi-forall

   A demo implementation of a simple dependently-typed language

   Haskell

4. UniMath UniMath Public

   Forked from UniMath/UniMath

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

   Coq

5. COS-561-Project-Code COS-561-Project-Code Public

   Code for COS 561 Project

   Haskell

6. kado kado Public

   Forked from RedPRL/kado

   🧊 Kado カド: Cofibrations in Cartesian Cubical Type Theory

   OCaml