Popular repositories Loading

1. hott-ja hott-ja Public

   HoTT in Japanese

   Racket 37 1

2. morg morg Public

   Organize mathematical thoughts

   Racket 20 1

3. synthetic-topos-theory synthetic-topos-theory Public

   Racket 15 1

4. satysfi-ncsq satysfi-ncsq Public

   SATySFi package for drawing rectangular diagrams.

   JavaScript 6

5. helm-mpd helm-mpd Public

   Emacs-helm interface for music player daemon

   Emacs Lisp 5 2

6. uemurax.github.io uemurax.github.io Public

   2