Popular repositories Loading

1. pca-realizability pca-realizability Public

   Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.

   Coq 13

2. check-unicode-coverage check-unicode-coverage Public

   CLI tool to check fonts' Unicode coverage

   Python 1

3. anderslundstedt.github.io anderslundstedt.github.io Public

   HTML

4. JuliaMono-debug JuliaMono-debug Public

   Python

5. type-experiments type-experiments Public

   experiments with types

   Coq