Popular repositories Loading

1. sfpl sfpl Public

   A simple functional programming language.

   Haskell 21

2. hello-world hello-world Public

   Test repository

3. cs228-material cs228-material Public

   Forked from kuleshov/teaching-material

   Teaching materials for the probabilistic graphical models and deep learning classes at Stanford

   Jupyter Notebook

4. tt-models tt-models Public

   Some models of dependent type theory.

5. inductive-gluing inductive-gluing Public

   Type theoretic gluing for inductive and coinductive types.

   Agda

6. mscthesis mscthesis Public

   TeX