Shawn unshorn

Organizations

Popular repositories Loading

4. Forked from jozefg/learn-tt

   A collection of resources for learning type theory and type theory adjacent fields.

   1

6. Forked from ctgk/PRML

   PRML algorithms implemented in Python

   Jupyter Notebook 1