Popular repositories Loading

1. PyVCF PyVCF Public

   A Variant Call Format reader for Python.

   Python 74 224

2. hott-species hott-species Public

   Combinatorial species in HoTT

   Coq 12

3. hott-exercises hott-exercises Public

   Exercises from The HoTT Book by hand and by Coq

   Coq 10 1

4. LaTeX-Box LaTeX-Box Public

   Forked from LaTeX-Box-Team/LaTeX-Box

   Lightweight Toolbox for LaTeX - New Official repository

   Vim Script

5. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq