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:
- Include Jupyter notebook cells in TeX documents☆143Updated last year
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated last year
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 8 months ago
- Riemann Hypothesis book☆75Updated 7 years ago
- probabilistic programming for PL folks☆158Updated 4 years ago
- Examples of literate programming by Knuth☆38Updated 4 months ago
- The Principia Rewrite☆227Updated 9 months ago
- Search for BibTeX references☆127Updated 7 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 7 months ago
- Public repository for Abstact Algebra Theory and Applications☆174Updated 2 months ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆104Updated 4 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆184Updated 2 years ago
- Classical, elegant, and automated thesis template☆42Updated 11 years ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- ☆31Updated 8 years ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- Book lucid interpreter written in python☆24Updated 6 years ago
- ☆343Updated 7 years ago
- Coauthor supercollaboration/discussion forum☆267Updated 3 weeks ago
- This is a Coloring Book about Group Theory☆89Updated 2 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- An explainer on entropy☆67Updated last year
- Python S-expression emulation using tuple-like objects.☆23Updated last week