Alternatives and similar repositories for math157:

Users that are interested in math157 are comparing it to the libraries listed below

• poulter7 / ipynb-tex
  Include Jupyter notebook cells in TeX documents
  ☆143Updated 7 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆121Updated 3 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated 10 months ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆113Updated 2 weeks ago
• aatishb / entropy
  An explainer on entropy
  ☆66Updated 11 months ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• leodido / arsclassica
  Classical, elegant, and automated thesis template
  ☆40Updated 10 years ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• diana-hep / femtocode
  Quick manipulation of structured data for data analysis.
  ☆25Updated 7 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆123Updated 8 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• pfdamasceno / shakespeare
  Identify relevant scientific papers with simple machine learning techniques
  ☆26Updated 9 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated 10 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆60Updated last year
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆281Updated 3 weeks ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 9 months ago
• ekmartin / bibtex-search
  Search for BibTeX references
  ☆129Updated 7 years ago
• stanford-cs242 / f18-assignments
  ☆24Updated 6 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• rubenvannieuwpoort / static-site-generator
  A static site generator which supports markdown with LaTeX.
  ☆17Updated last year
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• gilbo / atl
  A Tensor Language
  ☆56Updated 3 years ago