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:
- Open-source number theory textbook☆61Updated last year
- 💡algorithmsilluminated.org by Tim Roughgarden☆182Updated last year
- Applied Discrete Structures using PreTeXt☆45Updated last week
- Supplementary code for Introduction to Theoretical Computer Science book.☆68Updated last year
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- Programs for the third edition of the Algorithm Design Manual☆141Updated 3 years ago
- A list of resources that cross the disciplines of Computer Science and Philosophy☆92Updated 8 months ago
- Tim Button's open textbook on set theory☆40Updated 4 months ago
- MIT 18.02 lecture notes on multivar☆19Updated last month
- Resources for learning C that are the best in my opinion.☆168Updated 2 years ago
- CS61 lecture material☆99Updated last week
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆251Updated last year
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆119Updated 2 months ago
- Want to play around with C but aren't sure where to start? This project template will help.☆106Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- A Literate Program about Data Structures and Object-Oriented Programming☆285Updated last year
- Math & Physics Books☆151Updated 6 years ago
- Solutions for the book "Language Proof and Logic".☆75Updated last year
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆68Updated last month
- Papers that use Lichess data, study Lichess, or cite Lichess☆31Updated last week
- "Mathematics expresses values that reflect the cosmos, including orderliness, balance, harmony, logic, and abstract beauty." ― Deepak Ch…☆92Updated 5 years ago
- UCalgary version of forallx, an introduction to formal logic☆114Updated 2 months ago
- 🥇 A curated list of competitive math resources.☆52Updated last year
- My lecture notes for all semesters spent studying CS at EPFL. Enjoy the read and feel free to approach me for corrections.☆151Updated 4 years ago
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆307Updated last year
- Solutions to OCaml Programming☆90Updated last month
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆266Updated 3 weeks ago
- Info on resources for studying math, stats, CS, etc.☆214Updated 2 years ago
- Sisyphus: a Python Chess Engine/Library based on C backend☆21Updated 5 months ago
- Java code from https://www.cut-the-knot.org/ written by Alexander Bogomolny☆27Updated 5 years ago