boazbk / tcs

Related projects ⓘ

Alternatives and complementary repositories for tcs

• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,246Updated 3 weeks ago
• boazbk / crypto
  Lecture notes for a course on cryptography
  ☆513Updated 11 months ago
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆211Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆860Updated 2 months ago
• SystemsApproach / book
  Computer Networks: A Systems Approach -- Textbook
  ☆3,131Updated last week
• dalcde / cam-notes
  My Cambridge Lecture Notes
  ☆1,308Updated 4 months ago
• UniMath / SymmetryBook
  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …
  ☆397Updated last week
• akalenuk / wordsandbuttons
  A growing collection of interactive tutorials, demos, and quizzes about maths, algorithms, and programming.
  ☆488Updated last month
• ystael / chicago-ug-math-bib
  Chicago undergraduate mathematics bibliography
  ☆691Updated 5 years ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆62Updated 11 months ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆331Updated 4 years ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆302Updated 4 months ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆330Updated last month
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆435Updated last year
• nbro / understanding-math
  Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
  ☆1,070Updated last year
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆460Updated 5 years ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,034Updated 5 months ago
• UniMath / UniMath
  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆961Updated this week
• QBobWatson / gt-linalg
  Interactive Linear Algebra, free online textbook at Georgia Tech
  ☆919Updated 2 years ago
• math-comp / math-comp
  Mathematical Components
  ☆587Updated this week
• pim-book / programmers-introduction-to-mathematics
  Code for A Programmer's Introduction to Mathematics
  ☆3,392Updated last year
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆754Updated this week
• illinois-cs241 / coursebook
  Open Source Introductory Systems Programming Textbook for the University of Illinois
  ☆693Updated last month
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,256Updated this week
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,075Updated this week
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆360Updated 4 years 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…
  ☆302Updated 8 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆754Updated 9 months ago
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,590Updated last month