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
  ☆261Updated this week
• zv / SICP-guile
  SICP in Guile & Emacs Lisp
  ☆703Updated 3 years ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,209Updated this week
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆213Updated 2 years ago
• nbro / understanding-math
  Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
  ☆1,136Updated 10 months ago
• boazbk / tcs
  Book in preparation: introduction to theoretical computer science
  ☆978Updated 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
  ☆301Updated 2 months ago
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆474Updated 6 years ago
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆263Updated 2 weeks ago
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,893Updated 4 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,244Updated 3 years ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆623Updated 4 years ago
• ldct / isicp
  Interactive Structure and Interpretation of Computer Programs
  ☆1,157Updated 5 years ago
• androm3da / math-textbooks
  ☆41Updated 8 years ago
• fgalassi / cs61a-sp11
  course cs61a at berkeley, spring 2011
  ☆170Updated 5 years ago
• melling / ComputerLanguages
  My personal notes on various computer languages
  ☆223Updated 4 years ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,101Updated last month
• abrantesasf / sicp-abrantes-study-guide
  My study guide for SICP
  ☆128Updated 5 years ago
• artemmavrin / latex-homework
  LaTeX class and template for typesetting math homework
  ☆96Updated 4 years ago
• jesyspa / linear-cpp
  An attempt at a C++ tutorial.
  ☆827Updated 3 years ago
• mooculus / calculus
  ☆151Updated last week
• ianw / bottomupcs
  Bottom Up Computer Science
  ☆1,525Updated last week
• runabol / sicp-course
  SICP Course
  ☆230Updated 5 years ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆952Updated last week
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,614Updated this week
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• mnielsen / notes-on-writing
  Notes on writing
  ☆542Updated 3 years ago
• shanirivers / open-source-mathematics-degree
  The open-source curriculum for learning Mathematics.
  ☆266Updated last year
• riboch / LaTeXLogbookTemplate
  My LaTeX logbook template, including the date generation bash script.
  ☆21Updated 8 years ago