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
- Examples of literate programming by Knuth☆39Updated 6 months ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆128Updated last month
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 10 months ago
- Coauthor supercollaboration/discussion forum☆266Updated 2 months ago
- An explainer on entropy☆68Updated last year
- The Principia Rewrite☆228Updated last month
- Book lucid interpreter written in python☆24Updated 6 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- probabilistic programming for PL folks☆160Updated 4 years ago
- "A First Course in Linear Algebra" open source textbook☆69Updated last month
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆113Updated 4 years ago
- Public repository for Abstact Algebra Theory and Applications☆176Updated 4 months ago
- Quick manipulation of structured data for data analysis.☆25Updated 8 years ago
- ☆346Updated 7 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆186Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 10 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆304Updated this week
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- An implementation of the APL language in Python with the Numpy module☆29Updated 9 years ago
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆75Updated 3 years ago
- Python S-expression emulation using tuple-like objects.☆23Updated 2 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago