Alternatives and similar repositories for tcs:

Users that are interested in tcs are comparing it to the libraries listed below

• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆465Updated 6 years ago
• patmorin / ods
  Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete imple…
  ☆1,216Updated 2 years ago
• pim-book / programmers-introduction-to-mathematics
  Code for A Programmer's Introduction to Mathematics
  ☆3,551Updated last year
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆62Updated last year
• photonlines / Intuitive-Guide-to-Maxwells-Equations
  An intuitive and visual guide to understanding Maxwell's equations.
  ☆792Updated 4 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,303Updated this week
• triska / the-power-of-prolog
  Introduction to modern Prolog
  ☆1,246Updated 3 weeks ago
• ldct / isicp
  Interactive Structure and Interpretation of Computer Programs
  ☆1,159Updated 5 years ago
• mwand / eopl3
  Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
  ☆1,184Updated last year
• illinois-cs241 / coursebook
  Open Source Introductory Systems Programming Textbook for the University of Illinois
  ☆705Updated 4 months ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated 6 months ago
• ystael / chicago-ug-math-bib
  Chicago undergraduate mathematics bibliography
  ☆699Updated 5 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆337Updated 3 months ago
• orangeduck / BuildYourOwnLisp
  Learn C and build your own programming language in under 1000 lines of code!
  ☆2,983Updated 2 months ago
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆277Updated 8 months ago
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆305Updated 10 months ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆879Updated 4 months ago
• nbro / understanding-math
  Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
  ☆1,087Updated 2 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,392Updated this week
• dalcde / cam-notes
  My Cambridge Lecture Notes
  ☆1,360Updated 6 months ago
• sarabander / sicp-pdf
  SICP PDF with Texinfo and LaTeX source
  ☆4,309Updated 7 months ago
• IUCompilerCourse / Essentials-of-Compilation
  A book about compiling Racket and Python to x86-64 assembly
  ☆1,352Updated 2 months ago
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆217Updated 2 weeks ago
• AllenDowney / ThinkOS
  Text and supporting code for Think OS: A Brief Introduction to Operating Systems, by Allen Downey.
  ☆556Updated 4 years ago
• sarabander / sicp
  HTML5/EPUB3 version of SICP
  ☆4,386Updated last year
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,100Updated last month
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆364Updated 4 years ago
• czekster / markov
  Materials for book: "Markov Chains for programmers"
  ☆280Updated 2 years ago
• ianw / bottomupcs
  Bottom Up Computer Science
  ☆1,499Updated last year
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆764Updated last year