Alternatives and similar repositories for EasyTheoryBook

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

• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆45Updated 2 weeks ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆68Updated last year
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated 11 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 3 months ago
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆136Updated 2 years ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆61Updated last year
• rangaeeeee / books-mir-mathematics
  ☆146Updated 7 years ago
• SkienaBook / Algorithm-Design-Manual-Programs-V3
  Programs for the third edition of the Algorithm Design Manual
  ☆140Updated 3 years ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆56Updated last year
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆213Updated 2 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 6 months ago
• j2kun / book-template
  A LaTeX template I used for pimbook
  ☆42Updated 5 years ago
• iczelia / C-Learning-Resources
  Resources for learning C that are the best in my opinion.
  ☆165Updated 2 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆111Updated last month
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆20Updated last week
• codereport / LeetCode
  Solutions to LeetCode problems in C++, Python, Haskell, APL, Java, Ruby, Rust, Racket, Scala, Kotlin, C#, F#, Clojure, Elixir, Swift, Jul…
  ☆167Updated 6 months ago
• donsheehy / datastructures
  A Literate Program about Data Structures and Object-Oriented Programming
  ☆282Updated last year
• glennstreet / awesome-philosophy-compsci
  A list of resources that cross the disciplines of Computer Science and Philosophy
  ☆90Updated 6 months ago
• carlosal1015 / Books
  Math & Physics Books
  ☆151Updated 6 years ago
• adyavanapalli / stanford-introduction-to-mathematical-thinking
  Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
  ☆115Updated 10 months ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆99Updated this week
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆75Updated last year
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated 2 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆111Updated last year
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆64Updated last month
• edpegg / CutTheKnot-Java
  Java code from https://www.cut-the-knot.org/ written by Alexander Bogomolny
  ☆27Updated 5 years ago
• tcNickolas / puzzles
  A collection of puzzles I've created over the years
  ☆14Updated 4 years ago
• alptheexplorer / epflLectureNotes
  My lecture notes for all semesters spent studying CS at EPFL. Enjoy the read and feel free to approach me for corrections.
  ☆151Updated 4 years ago
• florianmari / SICP-Python-ebook
  Structure and Interpretation of Computer Programs (Python) ebook version
  ☆68Updated 4 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year