Alternatives and similar repositories for chicago-ug-math-bib:

Users that are interested in chicago-ug-math-bib are comparing it to the libraries listed below

• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,092Updated last month
• zv / SICP-guile
  SICP in Guile & Emacs Lisp
  ☆688Updated 2 years ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,047Updated 7 months ago
• psibi / how-to-prove
  My Solution to Velleman's book
  ☆241Updated last month
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆216Updated last week
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated 6 months ago
• kragen / knuth-interview-2006
  The transcript of a Donald Knuth interview in 2006
  ☆224Updated 8 years ago
• boazbk / tcs
  Book in preparation: introduction to theoretical computer science
  ☆931Updated 10 months ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,295Updated this week
• abrantesasf / sicp-abrantes-study-guide
  My study guide for SICP
  ☆124Updated 4 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆336Updated 3 months ago
• nbro / understanding-math
  Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
  ☆1,088Updated last month
• UniMath / UniMath
  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆971Updated 3 weeks ago
• jesyspa / linear-cpp
  An attempt at a C++ tutorial.
  ☆826Updated 2 years ago
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,280Updated this week
• mooculus / calculus
  ☆139Updated last month
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆163Updated 5 months ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆873Updated 3 months ago
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆189Updated last year
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆762Updated 11 months ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 3 months ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆256Updated last week
• riboch / LaTeXLogbookTemplate
  My LaTeX logbook template, including the date generation bash script.
  ☆20Updated 7 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆221Updated last month
• holdenlee / number-theory
  Open-source number theory textbook
  ☆57Updated 5 months ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆761Updated 2 weeks ago
• patmorin / ods
  Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete imple…
  ☆1,216Updated 2 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆465Updated 6 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆64Updated 11 months ago