Stanford course notes in math / CS
☆21Oct 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:
- Notes for Algebraic Structures, taught Spring 2016 at Carnegie Mellon University, by Professor Clinton Conley.☆14Feb 21, 2018Updated 8 years ago
- Unofficial solutions to Munkres Topology☆14Jun 29, 2022Updated 4 years ago
- Mathematics + Statistics Courses at the University of Alberta☆16Jan 8, 2023Updated 3 years ago
- Факультатив "Введение в компьютерное зрение"☆10Dec 8, 2021Updated 4 years ago
- ☆10Nov 17, 2025Updated 8 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆18Jun 3, 2017Updated 9 years ago
- This repository contains lab assignments done in the course CS220: Computer Organization at IIT Kanpur☆10Aug 8, 2019Updated 6 years ago
- Assignments/MIDSEM/ENDSEM question papers of courses at IITK.☆14May 7, 2024Updated 2 years ago
- Stanford Computer Science Curriculum in 2021☆11Jun 21, 2021Updated 5 years ago
- Process documentation and rationale for implementing the flipped interview model☆13Jul 15, 2018Updated 8 years ago
- Private treasuries enabled by ECDH and ZKPs☆18Mar 31, 2023Updated 3 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- Numerical linear algebra course for Ozon Masters program☆14Sep 18, 2022Updated 3 years ago
- Курс "Компьютерное зрение" на ФАЛТ МФТИ☆28Apr 25, 2025Updated last year
- 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.
- Lab assignments for 6.826☆18Oct 20, 2020Updated 5 years ago
- A 45 days DSA challenge☆13Jul 19, 2024Updated 2 years ago
- C++ library for evaluating arithmetic circuits on batches of inputs☆15Aug 18, 2016Updated 9 years ago
- 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
- News in Privacy-Preserving Machine Learning☆12Feb 5, 2020Updated 6 years ago
- Chrome extension that sends you to a random productive site from a list☆14Oct 10, 2016Updated 9 years ago
- Open Statistics and Probability Theory course☆22Aug 31, 2025Updated 10 months ago
- Materials for course "Data Analysis" for Software Engineering in HSE☆33Jun 1, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Assignment submissions of the semester 2020-21-II offering of CS220 at IIT Kanpur☆12May 4, 2021Updated 5 years ago
- Ruby interface for Moby wordlists☆14Feb 14, 2013Updated 13 years ago
- Prolog programs for Mathematical Logic for Computer Science (3rd Edition)☆19Nov 23, 2022Updated 3 years ago
- Solutions to problems from various topics and websites useful for Computer Science Placement Preparation.☆15May 12, 2021Updated 5 years ago
- Open course on Python and Software Development☆22Dec 19, 2023Updated 2 years ago
- A dissertation/thesis template in LaTeX approval by the UGA Grad School.☆44Jun 7, 2021Updated 5 years ago
- ☆27Dec 3, 2018Updated 7 years ago
- Anki Flashcards Deck Stats Explorer and Visualizer☆14Jan 26, 2023Updated 3 years ago
- Fork of OpenSSH sftp-server using native Windows API☆10Dec 4, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- serverChan (Server酱) is a plug-in for drone.☆14Mar 23, 2021Updated 5 years ago
- ☆17Mar 21, 2021Updated 5 years ago
- Chiron Framework for PAVT Teaching☆21Mar 19, 2026Updated 4 months ago
- 赵炯老师版本的注释版Linux内核源码☆10Oct 18, 2018Updated 7 years ago
- LifeGame homework of Software Engineering MOOC (http://www.xuetangx.com/courses/TsinghuaX/34100325X/2015_T1/about)☆10Mar 18, 2016Updated 10 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated 10 months ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago