Stanford course notes in math / CS
☆20Oct 19, 2019Updated 6 years ago
Alternatives and similar repositories for compendium
Users that are interested in compendium are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Collection of notes and resources I created for some of the classes I took at CMU.☆14Jul 6, 2021Updated 4 years ago
- Control theory in Haskell: Data structures, algorithms and adapters☆79Jan 14, 2019Updated 7 years ago
- Unofficial solutions to Munkres Topology☆15Jun 29, 2022Updated 3 years ago
- A compilation of lecture notes☆17May 1, 2019Updated 6 years ago
- superfast text to speech in any voice☆61Feb 16, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Virtual & GPIO Game Console Controller☆16Nov 28, 2020Updated 5 years ago
- Easy entropy source for Haskell users.☆28Feb 8, 2026Updated 2 months ago
- Student lab assignments for MIT 6.1600☆11May 1, 2025Updated 11 months ago
- ☆10Nov 17, 2025Updated 4 months ago
- Yo Dawg I heard you liked Redis so I put more Redis in your Redis☆22Aug 4, 2023Updated 2 years ago
- Notes for EE364a - Convex Optimization I @ Stanford (will update Ch 6 - Ch 13 later)☆11Jul 30, 2019Updated 6 years ago
- ☆18Jun 3, 2017Updated 8 years ago
- Math notes from my whole degree :-) (And one CS class, and some fun physics)☆26Jun 6, 2023Updated 2 years ago
- Process documentation and rationale for implementing the flipped interview model☆13Jul 15, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Private treasuries enabled by ECDH and ZKPs☆17Mar 31, 2023Updated 3 years ago
- Introduction to data science course☆18Mar 18, 2022Updated 4 years ago
- ☆19Feb 2, 2024Updated 2 years ago
- THE ART of MULTIPROCESSOR PROGRAMMING, Maurice Herlihy & Nir Shavit☆10Feb 12, 2023Updated 3 years ago
- Lab assignments for 6.826☆18Oct 20, 2020Updated 5 years ago
- Numerical linear algebra course for Ozon Masters program☆14Sep 18, 2022Updated 3 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- A 45 days DSA challenge☆13Jul 19, 2024Updated last year
- Past interview questions.☆13Feb 19, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 4 years ago
- Programming labs for 6.S060 (Foundations of Computer Security).☆15Nov 19, 2021Updated 4 years ago
- Machine Learning for Mathematics Faculty (HSE) 2018☆18Jan 23, 2022Updated 4 years ago
- ☆20Jul 7, 2025Updated 9 months ago
- TS Client for Index Supply☆28Jul 31, 2025Updated 8 months ago
- Prolog programs for Mathematical Logic for Computer Science (3rd Edition)☆17Nov 23, 2022Updated 3 years ago
- News in Privacy-Preserving Machine Learning☆12Feb 5, 2020Updated 6 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Chrome extension that sends you to a random productive site from a list☆14Oct 10, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Assignment submissions of the semester 2020-21-II offering of CS220 at IIT Kanpur☆12May 4, 2021Updated 4 years ago
- Computationally Modelling Resisting Strategies in Persuasive Conversations☆12Feb 6, 2022Updated 4 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆18Mar 28, 2017Updated 9 years ago
- General stats about NeurIPS 2019☆28Jan 19, 2021Updated 5 years ago
- Ruby interface for Moby wordlists☆14Feb 14, 2013Updated 13 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20May 4, 2022Updated 3 years ago
- evm indexer☆115Mar 31, 2026Updated 2 weeks ago