Book in preparation: introduction to theoretical computer science
☆1,080Oct 6, 2026Updated 3 weeks ago
Alternatives and similar repositories for tcs
Users that are interested in tcs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Supplementary code for Introduction to Theoretical Computer Science book.☆73Nov 29, 2023Updated 2 years ago
- Lecture notes for a course on cryptography☆587Dec 11, 2023Updated 2 years ago
- Jupyter notebooks with some NAND code☆19Dec 4, 2018Updated 7 years ago
- A Chrome extension that automatically adds viewed academic papers to your favorites.☆17Sep 25, 2018Updated 8 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Bug-tracking for Jeff's algorithms book, notes, etc.☆8,149Nov 23, 2019Updated 6 years ago
- Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source☆11,702Jul 10, 2026Updated 3 months ago
- A survey of known lower bounds in arithmetic circuits.☆39Jul 27, 2026Updated 3 months ago
- Simple tutorial to get familiar with how to program quantum computers using Qiskit☆11Sep 9, 2019Updated 7 years ago
- FAQ about the business side of quantum computing aimed at researchers in academia.☆10Sep 7, 2020Updated 6 years ago
- An open-source, customizable intermediate logic textbook☆1,388Aug 14, 2026Updated 2 months ago
- Python wrapper for extracting information from Scirate☆13Jul 21, 2023Updated 3 years ago
- A book about compiling Racket and Python to x86-64 assembly☆1,608Oct 30, 2025Updated 11 months ago
- Materials and notebooks for my first lecture series at TRIUMF, "An introduction to quantum computing and quantum annealing".☆31Sep 29, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- SIDH C reference implementation☆13Jan 25, 2017Updated 9 years ago
- An open peer review site for arXiv preprints☆185Sep 14, 2026Updated last month
- A blog introducing the idea of classical shadow tomography, and Hamiltonian-driven shadow tomography of quantum states(https://arxiv.org/…☆29May 28, 2021Updated 5 years ago
- Public repository for Abstact Algebra Theory and Applications☆196Sep 6, 2026Updated last month
- Code for "Noise Characterization and Error Mitigation in Near-Term Quantum Computers"☆15Oct 16, 2020Updated 6 years ago
- Reference repository on Lattice-based Cryptography☆26Oct 22, 2024Updated 2 years ago
- Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"☆7,522Oct 15, 2024Updated 2 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- Repository containing code for getting statistical guarantees on properties of BNNs☆13Apr 24, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,643Updated this week
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆15Jun 18, 2019Updated 7 years ago
- Announcements and nodes for my 2018 course in Computational Physics☆60Nov 30, 2018Updated 7 years ago
- A C++ implementation of the DUPLO cryptographic protocol☆23Jun 5, 2017Updated 9 years ago
- Python programs, usually short, of considerable difficulty, to perfect particular skills.☆24,415Updated this week
- ☆11Mar 7, 2026Updated 7 months ago
- Create beautiful diagrams just by typing notation in plain text.☆8,005Oct 4, 2026Updated 3 weeks ago
- Code for A Programmer's Introduction to Mathematics☆3,655Mar 4, 2023Updated 3 years ago
- Open Source Introductory Systems Programming Textbook for the University of Illinois☆3,921Oct 6, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"☆89Jul 11, 2019Updated 7 years ago
- Repository for the Stacks Project☆1,060Jul 28, 2026Updated 3 months ago
- CTF Write-Ups☆19Jan 19, 2020Updated 6 years ago
- 18.A01: Seminar in Numerical Computing☆18Oct 31, 2018Updated 7 years ago
- Course notes for CS228: Probabilistic Graphical Models.☆2,015Jun 24, 2025Updated last year
- Book of Elementary Functional Algorithms and Data structures☆6,330Dec 15, 2025Updated 10 months ago
- A curated list of awesome mathematics resources☆16,701Updated this week