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
  ☆44Updated 2 weeks ago
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆135Updated 2 years ago
• mdnahas / Peano_Book
  English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
  ☆34Updated 3 years ago
• glennstreet / awesome-philosophy-compsci
  A list of resources that cross the disciplines of Computer Science and Philosophy
  ☆86Updated 4 months ago
• SkienaBook / Algorithm-Design-Manual-Programs-V3
  Programs for the third edition of the Algorithm Design Manual
  ☆137Updated 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
  ☆58Updated 6 months ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆108Updated last week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 3 months ago
• manjunath5496 / Awesome-Math-Books
  "An equation for me has no meaning, unless it expresses a thought of God."― Srinivasa Ramanujan
  ☆79Updated 4 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 weeks ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆92Updated 8 months ago
• benediktwerner / AdventOfCode
  My solutions for all years of Advent of Code in Python 3 and Rust
  ☆60Updated 6 months ago
• ixaxaar / monoid.space
  Learn pure math with agda
  ☆17Updated 2 weeks ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆59Updated 11 months ago
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆381Updated 2 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated this week
• donsheehy / datastructures
  A Literate Program about Data Structures and Object-Oriented Programming
  ☆265Updated last year
• manjunath5496 / Mathematics-Books
  "Mathematics expresses values that reflect the cosmos, including orderliness, balance, harmony, logic, and abstract beauty." ― Deepak Ch…
  ☆81Updated 5 years ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated 2 months ago
• lucky-bai / projecteuler-solutions
  Numerical answers to all Project Euler problems
  ☆339Updated last week
• teorth / symmetric_project
  ☆91Updated last year
• vEnhance / 1802
  MIT 18.02 lecture notes on multivar
  ☆13Updated last week
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• OpenDSA / OpenDSA
  Working source for the OpenDSA eTextbook project
  ☆346Updated this week
• cnewstead / infdesc
  An Infinite Descent into Pure Mathematics
  ☆45Updated 4 years ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆66Updated last year
• manjunath5496 / AI-Books
  "The key to artificial intelligence has always been the representation." - Jeff Hawkins
  ☆82Updated 4 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆52Updated last year
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆76Updated 10 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆160Updated 3 weeks ago