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

• zv / SICP-guile
  SICP in Guile & Emacs Lisp
  ☆697Updated 3 years ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated 9 months ago
• psibi / how-to-prove
  My Solution to Velleman's book
  ☆254Updated 5 months ago
• boazbk / tcs
  Book in preparation: introduction to theoretical computer science
  ☆956Updated last year
• abrantesasf / sicp-abrantes-study-guide
  My study guide for SICP
  ☆125Updated 5 years ago
• nbro / understanding-math
  Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
  ☆1,110Updated 5 months ago
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆473Updated 6 years ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆622Updated 4 years ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,150Updated last month
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆205Updated last year
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,880Updated 4 years ago
• Gabriella439 / post-rfc
  Blog post previews in need of peer review
  ☆2,199Updated last year
• melling / ComputerLanguages
  My personal notes on various computer languages
  ☆223Updated 4 years ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆436Updated last month
• fgalassi / cs61a-sp11
  course cs61a at berkeley, spring 2011
  ☆169Updated 4 years ago
• mooculus / calculus
  ☆144Updated 2 months ago
• theurere / berkeley_cs61a_spring-2011_archive
  Berkeley cs61a Spring 2011 Computer Science Course
  ☆107Updated 6 years ago
• runabol / sicp-course
  SICP Course
  ☆228Updated 4 years ago
• kragen / knuth-interview-2006
  The transcript of a Donald Knuth interview in 2006
  ☆226Updated 8 years ago
• sarabander / p2pu-sicp
  Solutions to exercises from "Structure and Interpretation of Computer Programs" (SICP) by Abelson, Sussman and Sussman. A PDF version of …
  ☆131Updated 5 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆624Updated 2 years ago
• spamegg1 / Math-for-CS-solutions
  Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
  ☆157Updated 8 months ago
• Jfaler / Philosophy
  A list of philosophy books and resources.
  ☆326Updated 4 years ago
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,257Updated 2 weeks ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,433Updated this week
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆334Updated 4 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• sarabander / sicp-pdf
  SICP PDF with Texinfo and LaTeX source
  ☆4,336Updated 10 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆115Updated 2 weeks ago
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆981Updated last week