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:
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Include Jupyter notebook cells in TeX documents☆143Updated last year
- Riemann Hypothesis book☆75Updated 7 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated last year
- Coauthor supercollaboration/discussion forum☆265Updated 3 months ago
- Examples of literate programming by Knuth☆38Updated 2 months ago
- The Principia Rewrite☆225Updated 7 months ago
- Public repository for Abstact Algebra Theory and Applications☆175Updated last month
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆120Updated 2 months ago
- Tim Button's open textbook on set theory☆39Updated 2 months ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 6 months ago
- ☆31Updated 8 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated this week
- Algebra Number Theory book☆48Updated 3 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆183Updated 2 years ago
- "A First Course in Linear Algebra" open source textbook☆68Updated last month
- Search for BibTeX references☆129Updated 7 years ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- probabilistic programming for PL folks☆157Updated 4 years ago
- Book lucid interpreter written in python☆24Updated 6 years ago
- ☆343Updated 7 years ago
- Python term rewriting☆30Updated 12 years ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 10 years ago