EasyTheory / EasyTheoryBook

Related projects ⓘ

Alternatives and complementary repositories for EasyTheoryBook

• SkienaBook / Algorithm-Design-Manual-Programs-V3
  Programs for the third edition of the Algorithm Design Manual
  ☆125Updated 2 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆41Updated last week
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆62Updated 11 months ago
• DataDaoDe / Ongoing-Challenges-in-Computer-Science
  Lists of ongoing challenges in fields of or closely related to computer science
  ☆36Updated last year
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆53Updated 3 months ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆145Updated 2 months ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• Voltara / advent2020-fast
  ☆39Updated 5 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated last year
• carlosal1015 / Books
  Math & Physics Books
  ☆117Updated 5 years ago
• verse-lab / obatcher_ds
  ☆16Updated 2 months ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆89Updated 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…
  ☆157Updated last week
• FR4NC1SC011 / FromTheTransistorToTheWEbBrowser
  Inspired by George Hotz
  ☆10Updated 3 years ago
• nlsandler / nqcc2
  Reference implementation for Writing a C Compiler
  ☆115Updated 2 months ago
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆101Updated 2 years ago
• cnewstead / infdesc
  An Infinite Descent into Pure Mathematics
  ☆41Updated 3 years ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 4 years ago
• lucky-bai / projecteuler-solutions
  Numerical answers to all Project Euler problems
  ☆319Updated this week
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆42Updated last week
• spamegg1 / abstract-thinking
  Abstract thinking patterns and problem decomposition / solving strategies
  ☆26Updated 3 weeks ago
• donsheehy / datastructures
  A Literate Program about Data Structures and Object-Oriented Programming
  ☆241Updated 6 months ago
• rodrigogiraoserrao / APLLeetCode
  Solving LeetCode problems in Dyalog APL
  ☆12Updated 2 years ago
• glennstreet / awesome-philosophy-compsci
  A list of resources that cross the disciplines of Computer Science and Philosophy
  ☆76Updated 11 months ago
• adyavanapalli / stanford-introduction-to-mathematical-thinking
  Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
  ☆112Updated 2 years ago
• zhiayang / lambda
  lambda calculus interpreter
  ☆39Updated 3 years ago
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆29Updated last week
• SkienaBook / Algorithm-Design-Manual-Programs-V2
  Programs for the second edition of the Algorithm Design Manual
  ☆18Updated 3 years ago