EasyTheory / EasyTheoryBookLinks
☆21Updated 4 years ago
Alternatives and similar repositories for EasyTheoryBook
Users that are interested in EasyTheoryBook are comparing it to the libraries listed below
Sorting:
- A LaTeX template I used for pimbook☆43Updated 5 years ago
- CS61 lecture material☆103Updated 2 months ago
- Open-source number theory textbook☆63Updated last year
- Programs for the third edition of the Algorithm Design Manual☆144Updated 3 years ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆257Updated last year
- A tutorial designed for those with basic command line skills to learn the basics of creating and using makefiles☆29Updated 2 years ago
- My lecture notes for all semesters spent studying CS at EPFL. Enjoy the read and feel free to approach me for corrections.☆153Updated 4 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆69Updated 2 years ago
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- Info on resources for studying math, stats, CS, etc.☆217Updated 2 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 2 months ago
- A short intro to Rust course, based loosely off the book.☆14Updated last week
- A list of resources that cross the disciplines of Computer Science and Philosophy☆93Updated 10 months ago
- "Mathematics expresses values that reflect the cosmos, including orderliness, balance, harmony, logic, and abstract beauty." ― Deepak Ch…☆96Updated 5 years ago
- A Literate Program about Data Structures and Object-Oriented Programming☆303Updated last year
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆76Updated 2 months ago
- 📚 Papers and essays I find timeless☆391Updated 3 weeks ago
- Applied Discrete Structures using PreTeXt☆45Updated last month
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Updated last week
- "An equation for me has no meaning, unless it expresses a thought of God."― Srinivasa Ramanujan☆86Updated 5 years ago
- ☆20Updated last year
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- MIT 18.02 lecture notes on multivar☆23Updated last month
- UCalgary version of forallx, an introduction to formal logic☆117Updated last month
- Resources for learning C that are the best in my opinion.☆186Updated 3 years ago
- Math & Physics Books☆158Updated 6 years ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆71Updated last month
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆271Updated this week
- A collection of puzzles I've created over the years☆14Updated 5 years ago