EasyTheory / EasyTheoryBookLinks
☆21Updated 3 years ago
Alternatives and similar repositories for EasyTheoryBook
Users that are interested in EasyTheoryBook are comparing it to the libraries listed below
Sorting:
- Tim Button's open textbook on set theory☆37Updated last year
- Supplementary code for Introduction to Theoretical Computer Science book.☆65Updated last year
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- Learn pure math with agda☆17Updated 3 weeks ago
- A list of awesome number theory resources☆27Updated 2 years ago
- Solutions to LeetCode problems in C++, Python, Haskell, APL, Java, Ruby, Rust, Racket, Scala, Kotlin, C#, F#, Clojure, Elixir, Swift, Jul…☆164Updated 2 months ago
- multilingual dictionary of mathematical terminology☆19Updated 7 months ago
- ☆19Updated 9 months ago
- Structure and Interpretation of Computer Programs (Python) ebook version☆62Updated 4 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆106Updated last year
- Applied Discrete Structures using PreTeXt☆44Updated this week
- CS61 lecture material☆97Updated 6 months ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆16Updated 2 years ago
- ☆39Updated last year
- Source of metamath book☆48Updated last year
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆70Updated 5 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 2 months ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆133Updated 2 years ago
- My solutions for different acm-style problems on various online judges. Solutions are written in C++, C, Java and Python.☆15Updated 7 years ago
- Solutions to OCaml Programming☆81Updated 2 weeks ago
- MA4N1 Theorem Proving with Lean☆13Updated 7 months ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆54Updated 10 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆45Updated last month
- Source Code for 'Practical Haskell, 3rd Edition' by Alejandro Serrano Mena☆12Updated 2 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year