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

• psibi / how-to-prove
  My Solution to Velleman's book
  ☆263Updated 2 months ago
• zv / SICP-guile
  SICP in Guile & Emacs Lisp
  ☆707Updated 3 years ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,237Updated last month
• boazbk / tcs
  Book in preparation: introduction to theoretical computer science
  ☆988Updated last year
• kragen / knuth-interview-2006
  The transcript of a Donald Knuth interview in 2006
  ☆227Updated 9 years ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆299Updated 5 months ago
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆217Updated 2 years ago
• patmorin / ods
  Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete imple…
  ☆1,260Updated 3 years ago
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆480Updated 7 years ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆625Updated 4 years ago
• nbro / understanding-math
  Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
  ☆1,156Updated last year
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,396Updated 8 months ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆176Updated 4 months ago
• ldct / isicp
  Interactive Structure and Interpretation of Computer Programs
  ☆1,161Updated 5 years ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,126Updated last month
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆270Updated 2 months ago
• SamuelSchlesinger / Complexity-Resources
  Resources and notes on computational complexity theory
  ☆39Updated 5 years ago
• adamyedidia / parsimony
  ☆346Updated 7 years ago
• riboch / LaTeXLogbookTemplate
  My LaTeX logbook template, including the date generation bash script.
  ☆22Updated 8 years ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆807Updated last year
• adyavanapalli / stanford-introduction-to-mathematical-thinking
  Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
  ☆117Updated last year
• artemmavrin / latex-homework
  LaTeX class and template for typesetting math homework
  ☆96Updated 4 years ago
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆994Updated this week
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆113Updated 2 years ago
• mnielsen / notes-on-writing
  Notes on writing
  ☆544Updated 3 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆370Updated 2 months ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆277Updated last week
• abrantesasf / sicp-abrantes-study-guide
  My study guide for SICP
  ☆134Updated 5 years ago
• sarabander / sicp
  HTML5/EPUB3 version of SICP
  ☆4,490Updated 2 years ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆63Updated last year