ystael / chicago-ug-math-bib
Chicago undergraduate mathematics bibliography
☆691Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for chicago-ug-math-bib
- A Modern CompSci Curriculum☆302Updated 4 months ago
- SICP in Guile & Emacs Lisp☆680Updated 2 years ago
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,070Updated last year
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆211Updated this week
- My Solution to Velleman's book☆241Updated last year
- Info on resources for studying math, stats, CS, etc.☆185Updated last year
- An Infinitely Large Napkin☆1,246Updated 3 weeks ago
- Notes for courses taken at Harvard (2015--2019)☆460Updated 5 years ago
- An open-source, customizable intermediate logic textbook☆1,075Updated this week
- papers of Per Martin Löf☆754Updated 9 months ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,166Updated 2 months ago
- Book in preparation: introduction to theoretical computer science☆916Updated 8 months ago
- The transcript of a Donald Knuth interview in 2006☆224Updated 8 years ago
- The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.☆707Updated 2 weeks ago
- ☆240Updated 8 years ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆275Updated 2 years ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆961Updated this week
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- PreTeXt: an authoring and publishing system for scholarly documents☆268Updated this week
- Public repository for Abstact Algebra Theory and Applications☆160Updated 3 months ago
- Blog post previews in need of peer review☆2,199Updated last year
- ☆139Updated 2 months ago
- Interactive Structure and Interpretation of Computer Programs☆1,160Updated 4 years ago
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆273Updated 5 months ago
- course cs61a at berkeley, spring 2011☆171Updated 4 years ago
- All the Scheme code examples from the book "The Little Schemer"☆675Updated 8 years ago
- Functional Programming Course☆4,114Updated last year
- The open-source curriculum for learning Mathematics.☆255Updated 6 months ago
- Summer 2015 Haskell Class☆212Updated 9 years ago