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
  ☆530Updated last year
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆65Updated last year
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆238Updated last week
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆474Updated 6 years ago
• photonlines / Intuitive-Guide-to-Maxwells-Equations
  An intuitive and visual guide to understanding Maxwell's equations.
  ☆793Updated 4 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,458Updated 2 weeks ago
• dalcde / cam-notes
  My Cambridge Lecture Notes
  ☆1,405Updated 10 months ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated 10 months ago
• ianw / bottomupcs
  Bottom Up Computer Science
  ☆1,511Updated last year
• statebox / awesome-applied-ct
  ACT community resources
  ☆469Updated 5 years ago
• pim-book / programmers-introduction-to-mathematics
  Code for A Programmer's Introduction to Mathematics
  ☆3,597Updated 2 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆347Updated 7 months ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆625Updated 2 years ago
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,935Updated 4 years ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆913Updated 8 months ago
• nbro / understanding-math
  Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
  ☆1,117Updated 6 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆254Updated 5 months ago
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆207Updated last year
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆334Updated 4 years ago
• raviksharma / bartosz-basics-of-haskell
  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
  ☆486Updated 4 years ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,429Updated this week
• akalenuk / wordsandbuttons
  A growing collection of interactive tutorials, demos, and quizzes about maths, algorithms, and programming.
  ☆492Updated 7 months ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,157Updated 2 months ago
• mostafatouny / awesome-theoretical-computer-science
  The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
  ☆854Updated 2 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆782Updated last year
• donsheehy / datastructures
  A Literate Program about Data Structures and Object-Oriented Programming
  ☆254Updated last year
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,304Updated last month
• illinois-cs241 / coursebook
  Open Source Introductory Systems Programming Textbook for the University of Illinois
  ☆727Updated 8 months ago
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆301Updated 4 years ago
• MikeInnes / diff-zoo
  Differentiation for Hackers
  ☆775Updated 3 years ago