Stanford course notes in math / CS
☆22Oct 19, 2019Updated 7 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:
- Notes for Algebraic Structures, taught Spring 2016 at Carnegie Mellon University, by Professor Clinton Conley.☆14Feb 21, 2018Updated 8 years ago
- Solutions to Linear Algebra Done Right by Sheldon Axler, 3rd Edition☆21Jun 29, 2022Updated 4 years ago
- Notes galore☆12Sep 17, 2024Updated 2 years ago
- ☆13Jun 22, 2026Updated 4 months ago
- Update: Ignore this repo, check out @lucidrains' implementation https://github.com/lucidrains/musiclm-pytorch☆15Jan 27, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10May 23, 2023Updated 3 years ago
- Repository filled with my interview solutions☆12Aug 6, 2026Updated 3 months ago
- System Programming projects on Multiprocessing, Multithreading, FIFO Pipes, Network Sockets, Bash Scripting & building Data Structures☆11Sep 11, 2022Updated 4 years ago
- ☆16Nov 9, 2017Updated 8 years ago
- This repository contains lab assignments done in the course CS220: Computer Organization at IIT Kanpur☆10Aug 8, 2019Updated 7 years ago
- Personal collection of notes for placement from various websites, that might help you ace your next interview. 😍☆10Dec 4, 2024Updated last year
- ☆13Nov 17, 2025Updated 11 months ago
- Student lab assignments for MIT 6.1600☆14Oct 13, 2026Updated 3 weeks ago
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- Process documentation and rationale for implementing the flipped interview model☆13Jul 15, 2018Updated 8 years ago
- ☆10Jun 11, 2019Updated 7 years ago
- Data structures implementations using C (linked list, hashmap, trees, tries...)☆21Aug 13, 2019Updated 7 years ago
- A teaching operating system on raspberry pi 3/4 ported from xv6☆18Feb 25, 2022Updated 4 years ago
- IITK CSE 5th semester course materials, lecture notes, assignments, and resources for CS-330, CS-340, CS-345, CS-771, and ESO-201☆11Aug 20, 2025Updated last year
- Chrome extension that sends you to a random productive site from a list☆14Oct 10, 2016Updated 10 years ago
- ☆19Feb 2, 2024Updated 2 years ago
- Past interview questions.☆12Feb 19, 2026Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Computationally Modelling Resisting Strategies in Persuasive Conversations☆12Feb 6, 2022Updated 4 years ago
- A one stop repo for over 1,000 GFG problems!☆10Oct 18, 2025Updated last year
- Programming labs for 6.S060 (Foundations of Computer Security).☆15Nov 19, 2021Updated 4 years ago
- 0xAX's blog☆20Sep 14, 2025Updated last year
- ☆18Jun 3, 2017Updated 9 years ago
- Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom☆16Dec 8, 2023Updated 2 years ago
- News in Privacy-Preserving Machine Learning☆12Feb 5, 2020Updated 6 years ago
- Assignment submissions of the semester 2020-21-II offering of CS220 at IIT Kanpur☆12May 4, 2021Updated 5 years ago
- ☆17Mar 21, 2021Updated 5 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.
- LifeGame homework of Software Engineering MOOC (http://www.xuetangx.com/courses/TsinghuaX/34100325X/2015_T1/about)☆10Mar 18, 2016Updated 10 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆18Mar 28, 2017Updated 9 years ago
- 赵炯老师版本的注释版Linux内核源码☆10Oct 18, 2018Updated 8 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- Everything SDK provides an powerful search.And this project -everysearch-web ,provides single-html-page as frontend for search ,with a cu…☆10Aug 19, 2018Updated 8 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20May 4, 2022Updated 4 years ago
- Prolog programs for Mathematical Logic for Computer Science (3rd Edition)☆21Nov 23, 2022Updated 3 years ago