ystael / chicago-ug-math-bib
Chicago undergraduate mathematics bibliography
☆686Updated 5 years ago
Related projects: ⓘ
- SICP in Guile & Emacs Lisp☆677Updated 2 years ago
- Info on resources for studying math, stats, CS, etc.☆178Updated last year
- An open-source, customizable intermediate logic textbook☆1,045Updated 3 weeks ago
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,058Updated last year
- My Solution to Velleman's book☆232Updated 10 months ago
- An Infinitely Large Napkin☆1,191Updated last week
- A Modern CompSci Curriculum☆301Updated 2 months ago
- Interactive Structure and Interpretation of Computer Programs☆1,159Updated 4 years ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,115Updated 3 weeks ago
- Notes for courses taken at Harvard (2015--2019)☆422Updated 5 years ago
- Collection of quotes on notation design & how it affects thought.☆1,846Updated 3 years ago
- The transcript of a Donald Knuth interview in 2006☆224Updated 7 years ago
- Solutions to exercises from "Structure and Interpretation of Computer Programs" (SICP) by Abelson, Sussman and Sussman. A PDF version of …☆124Updated 5 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆619Updated 3 years ago
- Book in preparation: introduction to theoretical computer science☆906Updated 6 months ago
- Blog post previews in need of peer review☆2,191Updated last year
- papers of Per Martin Löf☆746Updated 7 months ago
- HTML5/EPUB3 version of SICP☆4,329Updated last year
- Public repository for Abstact Algebra Theory and Applications☆157Updated last month
- Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)☆110Updated last year
- Resources for learning Category Theory for an enthusiast☆598Updated last year
- A book about compiling Racket and Python to x86-64 assembly☆1,280Updated 3 weeks ago
- course cs61a at berkeley, spring 2011☆173Updated 4 years ago
- An intuitive and visual guide to understanding Maxwell's equations.☆792Updated 4 years ago
- My personal notes on various computer languages☆219Updated 3 years ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆952Updated this week
- A textbook on informal homotopy type theory☆2,016Updated 3 months ago
- SICP Course☆223Updated 4 years ago
- amateur translation project of Grothendieck's EGA.☆322Updated 4 months ago