Pinned Loading

1. no-markup-markup/nmm no-markup-markup/nmm Public

   The No-Markup-Markup markup language

   HTML 1

2. pca-realizability pca-realizability Public

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

   Coq 13

3. type-experiments type-experiments Public

   experiments with types

   Coq

4. mercury-experiments mercury-experiments Public

   Experiments using the Mercury language

   Mercury

5. check-unicode-coverage check-unicode-coverage Public

   CLI tool to check fonts' Unicode coverage

   Python 1

6. tex-resume-template tex-resume-template Public

   a template I use for my own resume

   TeX