Popular repositories Loading

1. ml-tutorial ml-tutorial Public

   Forked from Varal7/ml-tutorial

   Introduction to ML packages for the 6.86x course

   Jupyter Notebook

2. idris-ct idris-ct Public

   Forked from statebox/idris-ct

   formally verified category theory library

   Idris

3. DynamicalSystemsBook DynamicalSystemsBook Public archive

   Forked from DavidJaz/DynamicalSystemsBook

   TeX

4. shakespeare shakespeare Public

   Forked from TheMITTech/shakespeare

   The Complete Works of William Shakespeare hosted at http://shakespeare.mit.edu/

   HTML

5. Poly.jl Poly.jl Public

   Forked from AlgebraicJulia/Poly.jl

   Polynomial functors and applications

   Julia

6. Adams-Blue-Book Adams-Blue-Book Public

   Forked from AareyanManzoor/Adams-Blue-Book

   The TeX for Adams' blue book, by the group TeXromancers

   TeX