Popular repositories Loading

1. number-theory number-theory Public

   Open-source number theory textbook

   TeX 55 12

2. purescript-games purescript-games Public

   Simple games implemented in purescript

   PureScript 15 2

3. simons-ml simons-ml Public

   Notes from Simons Institute program "Foundations of Machine Learning"

   TeX 13 2

4. mathnotes mathnotes Public

   TeX 9 3

5. depgraph depgraph Public

   Draw dependency graphs for math theorems

   Haskell 7 3

6. HasFlow HasFlow Public

   Write Haskell, compile to Tensorflow

   Haskell 5