Pinned Loading

1. tapl tapl Public

   Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.

   Idris 9 3

2. PGL2Z PGL2Z Public

   An implementation of the projective linear group of 2x2 matrices over the integers (extended modular group) as a Coxeter group in Sage.

   Python 1

3. hott-book hott-book Public

   Solutions of the exercises of the book "Homotopy Type Theory", a.k.a. "the HoTT book".

   Makefile

4. paper-wallet paper-wallet Public

   Tool for generating PDF print templates of paper wallets for Monero.

   PostScript 1

5. tdd tdd Public

   Solutions to the exercises in 'Type-Driven Development with Idris'

   Idris

6. crd crd Public

   Computing the Cohomology of Root Data

   Python