kedlaya / math157Links
☆42Updated 4 years ago
Alternatives and similar repositories for math157
Users that are interested in math157 are comparing it to the libraries listed below
Sorting:
- Riemann Hypothesis book☆75Updated 7 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Include Jupyter notebook cells in TeX documents☆143Updated 11 months ago
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated last year
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆180Updated 2 years ago
- Author tools for creating Ximera activities☆41Updated this week
- Examples of literate programming by Knuth☆37Updated 3 weeks ago
- Python term rewriting☆30Updated 12 years ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆116Updated 4 months ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- Coauthor supercollaboration/discussion forum☆263Updated last month
- Book lucid interpreter written in python☆24Updated 6 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 10 years ago
- ☆59Updated 4 months ago
- The Principia Rewrite☆224Updated 5 months ago
- mandi LaTeX package☆9Updated 9 months ago
- Public repository for Abstact Algebra Theory and Applications☆171Updated 3 weeks ago
- Tim Button's open textbook on set theory☆39Updated 3 weeks ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- This is a Coloring Book about Group Theory☆89Updated 2 years ago
- Quick manipulation of structured data for data analysis.☆25Updated 7 years ago
- probabilistic programming for PL folks☆157Updated 4 years ago
- An explainer on entropy☆67Updated last year
- P.D. Magnus' forallx logic textbook☆67Updated 3 months ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Some fun examples of solving problems with symbolic execution☆114Updated 6 years ago
- Conjure: The Automated Constraint Modelling Tool☆105Updated last month