kedlaya / math157
☆41Updated 4 years ago
Alternatives and similar repositories for math157:
Users that are interested in math157 are comparing it to the libraries listed below
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Riemann Hypothesis book☆74Updated 7 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated 9 months ago
- Examples of literate programming by Knuth☆37Updated 11 months ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 11 months ago
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆99Updated 6 years ago
- Include Jupyter notebook cells in TeX documents☆142Updated 8 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 10 years ago
- The Principia Rewrite☆223Updated 3 months ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 2 months ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆113Updated last month
- Alternative front-end to Jupyter kernels☆49Updated 4 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆108Updated last year
- Short essays I've written☆78Updated last year
- Tim Button's open textbook on set theory☆34Updated last year
- Book lucid interpreter written in python☆24Updated 5 years ago
- Some operator abuse☆28Updated 7 years ago
- Verified hash-based AMQ structures in Coq☆122Updated 5 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Tea Time Numerical Analysis☆26Updated 2 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated last week
- ☆30Updated 7 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago