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
  ☆695Updated 2 years ago
• kragen / knuth-interview-2006
  The transcript of a Donald Knuth interview in 2006
  ☆226Updated 8 years ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated 8 months ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆621Updated 3 years ago
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆197Updated last year
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆166Updated 7 months ago
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆471Updated 6 years ago
• melling / ComputerLanguages
  My personal notes on various computer languages
  ☆221Updated 4 years ago
• abrantesasf / sicp-abrantes-study-guide
  My study guide for SICP
  ☆125Updated 4 years ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,127Updated 2 weeks ago
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆219Updated 3 weeks ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆773Updated last year
• psibi / how-to-prove
  My Solution to Velleman's book
  ☆251Updated 3 months ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆262Updated last week
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,411Updated last week
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• UniMath / UniMath
  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆973Updated this week
• boazbk / tcs
  Book in preparation: introduction to theoretical computer science
  ☆943Updated last year
• nbro / understanding-math
  Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
  ☆1,100Updated 4 months ago
• soupi / haskell-study-plan
  An opinionated list of resources for learning Haskell
  ☆898Updated 2 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆341Updated 5 months ago
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,849Updated 4 years ago
• DalekBaldwin / on-lisp
  A modernized and annotated code companion to Paul Graham's "On Lisp".
  ☆324Updated 2 years ago
• namin / inc
  an incremental approach to compiler construction
  ☆927Updated 5 years ago
• google / lisp-koans
  Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prio…
  ☆3,153Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆232Updated 3 months ago
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆50Updated 3 months ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆767Updated 2 months ago
• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆144Updated 6 years ago
• byorgey / haskell-course
  Introductory Haskell course materials (originally CIS 194 @ UPenn)
  ☆277Updated 2 years ago