Alternatives and similar repositories for tcs:

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

• boazbk / crypto
  Lecture notes for a course on cryptography
  ☆525Updated last year
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆64Updated last year
• ystael / chicago-ug-math-bib
  Chicago undergraduate mathematics bibliography
  ☆713Updated 6 years ago
• mwand / eopl3
  Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
  ☆1,191Updated 2 years ago
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆473Updated 6 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,430Updated last week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆344Updated 6 months ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated 9 months ago
• pim-book / programmers-introduction-to-mathematics
  Code for A Programmer's Introduction to Mathematics
  ☆3,592Updated 2 years ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆413Updated 3 weeks 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…
  ☆307Updated last year
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆236Updated last week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆908Updated 7 months ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,149Updated last month
• illinois-cs241 / coursebook
  Open Source Introductory Systems Programming Textbook for the University of Illinois
  ☆722Updated 7 months ago
• czekster / markov
  Materials for book: "Markov Chains for programmers"
  ☆280Updated 2 years ago
• bgavran / Category_Theory_Machine_Learning
  List of papers studying machine learning through the lens of category theory
  ☆1,375Updated 2 months ago
• sampsyo / cs6120
  advanced compilers
  ☆823Updated this week
• IUCompilerCourse / Essentials-of-Compilation
  A book about compiling Racket and Python to x86-64 assembly
  ☆1,410Updated 2 weeks ago
• prathyvsh / formal-systems-in-biology
  Application of formal systems to model biological systems
  ☆472Updated 2 years ago
• UniMath / SymmetryBook
  This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
  ☆416Updated this week
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆299Updated last month
• dalcde / cam-notes
  My Cambridge Lecture Notes
  ☆1,389Updated 9 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆348Updated 7 months ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆647Updated last month
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆248Updated 4 months ago
• cryptosubtlety / intuitive-advanced-cryptography
  Intuitive Advanced Cryptography
  ☆435Updated 2 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆624Updated 2 years ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,288Updated 3 weeks ago