Alternatives and similar repositories for EasyTheoryBook

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

• SkienaBook / Algorithm-Design-Manual-Programs-V3
  Programs for the third edition of the Algorithm Design Manual
  ☆141Updated 3 years ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆63Updated last year
• manjunath5496 / Mathematics-Books
  "Mathematics expresses values that reflect the cosmos, including orderliness, balance, harmony, logic, and abstract beauty." ― Deepak Ch…
  ☆96Updated 5 years ago
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆76Updated last year
• nlsandler / nqcc2
  Reference implementation for Writing a C Compiler
  ☆225Updated 10 months ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆45Updated 3 weeks ago
• j2kun / book-template
  A LaTeX template I used for pimbook
  ☆43Updated 5 years ago
• OpenDSA / OpenDSA
  Working source for the OpenDSA eTextbook project
  ☆359Updated 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…
  ☆168Updated 9 months ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆51Updated 2 months ago
• donsheehy / datastructures
  A Literate Program about Data Structures and Object-Oriented Programming
  ☆301Updated last year
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆68Updated 2 years ago
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆137Updated 3 years ago
• lucky-bai / projecteuler-solutions
  Numerical answers to all Project Euler problems
  ☆361Updated last week
• iczelia / C-Learning-Resources
  Resources for learning C that are the best in my opinion.
  ☆182Updated 3 years ago
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆71Updated this week
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆255Updated last year
• dcernst / dcernst.github.io
  Personal webpage
  ☆52Updated 2 weeks ago
• nlsandler / writing-a-c-compiler-tests
  Test cases for Writing a C Compiler
  ☆346Updated last month
• manjunath5496 / Physics-Books
  "Physics is really nothing more than a search for ultimate simplicity, but so far all we have is a kind of elegant messiness." ― Bill Bry…
  ☆70Updated 5 years ago
• claytonjwong / Algorithms-Illuminated
  💡algorithmsilluminated.org by Tim Roughgarden
  ☆185Updated this week
• carlosal1015 / Books
  Math & Physics Books
  ☆154Updated 6 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆115Updated 3 weeks ago
• xiaoxiae / videos
  Source code to my videos.
  ☆86Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 9 months ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆58Updated last year
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆177Updated 5 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 6 months ago
• mcpower / adventofcode
  Advent of Code solutions
  ☆48Updated 2 years ago
• manjunath5496 / Awesome-Math-Books
  "An equation for me has no meaning, unless it expresses a thought of God."― Srinivasa Ramanujan
  ☆86Updated 5 years ago