boazbk / tcs
Book in preparation: introduction to theoretical computer science
☆916Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for tcs
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆209Updated this week
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated 11 months ago
- A book about compiling Racket and Python to x86-64 assembly☆1,312Updated 2 weeks ago
- Chicago undergraduate mathematics bibliography☆690Updated 5 years ago
- My Cambridge Lecture Notes☆1,305Updated 3 months ago
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆382Updated this week
- Interactive Linear Algebra, free online textbook at Georgia Tech☆919Updated 2 years ago
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,069Updated last year
- Collection of quotes on notation design & how it affects thought.☆1,843Updated 3 years ago
- advanced compilers☆754Updated 2 months ago
- An Infinitely Large Napkin☆1,233Updated last week
- A simple visual editor for creating commutative diagrams.☆1,891Updated 4 years ago
- an incremental approach to compiler construction☆916Updated 5 years ago
- Repository for the Stacks Project☆858Updated last month
- Notes for courses taken at Harvard (2015--2019)☆460Updated 5 years ago
- Bottom Up Computer Science☆1,486Updated last year
- An introduction to programming language theory in Agda☆1,370Updated this week
- Interactive Structure and Interpretation of Computer Programs☆1,159Updated 4 years ago
- amateur translation project of Grothendieck's EGA.☆330Updated 3 weeks ago
- Code for A Programmer's Introduction to Mathematics☆3,392Updated last year
- Application of formal systems to model biological systems☆468Updated last year
- A collection of books/notes for Math and Algorithm study (files available)☆122Updated 2 years ago
- Princeton University COS 461: Computer Networks☆165Updated 3 years ago
- The CompCert formally-verified C compiler☆1,883Updated last week
- Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete imple…☆1,209Updated 2 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆752Updated last month
- A growing collection of interactive tutorials, demos, and quizzes about maths, algorithms, and programming.☆487Updated 3 weeks ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆961Updated this week
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆272Updated 5 months ago
- papers of Per Martin Löf☆752Updated 9 months ago