Popular repositories Loading

1. the-shit the-shit Public

   A command line tool which corrects your previous command using AI.

   Haskell 3

2. Schools Schools Public

   Forked from UniMath/Schools

   TeX

3. 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

4. agda-unimath agda-unimath Public

   Forked from UniMath/agda-unimath

   Univalent mathematics in Agda

   Makefile

5. sat-solver sat-solver Public

   An implementation of a CDCL SAT solver

   Haskell