boazbk / tcscodeLinks
Supplementary code for Introduction to Theoretical Computer Science book.
☆65Updated last year
Alternatives and similar repositories for tcscode
Users that are interested in tcscode are comparing it to the libraries listed below
Sorting:
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- Applied Discrete Structures using PreTeXt☆44Updated last week
- Algebra Number Theory book☆48Updated 3 years ago
- An Infinite Descent into Pure Mathematics☆44Updated 4 years ago
- Jupyter notebooks for the Klopper lectures on discrete mathematics☆35Updated 8 years ago
- Public repository for Abstact Algebra Theory and Applications☆170Updated last month
- ☆18Updated 4 years ago
- ☆11Updated 9 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆83Updated last year
- ☆42Updated 4 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Open-source number theory textbook☆59Updated 10 months ago
- "A First Course in Linear Algebra" open source textbook☆67Updated this week
- 📚 The Bayes Way 🎓☆33Updated 2 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆109Updated last year
- A series of introductory instructional python notebooks, for computational number theory.☆16Updated 7 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- A teaching aid library for formal languages and compiler courses☆12Updated last month
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Tim Button's open textbook on set theory☆38Updated last year
- Book in preparation: introduction to theoretical computer science☆966Updated last year
- Innervator: Hardware Acceleration for Neural Networks☆14Updated 10 months ago
- Proof assistant for qRHL☆21Updated last week
- Notes on Diffy Qs, a textbook for differential equations☆69Updated this week
- Errata for Algorithms for Optimization book☆70Updated 2 months ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Lecture notes on Distributed Computing that are publicly accessible.☆77Updated 3 years ago
- Programs and Proofs -- Spring 2025 -- IITM☆18Updated last month