anwarmamat / cmsc330fall20
☆34Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for cmsc330fall20
- Assignments for CMSC320 during the Spring 2021 Semester☆9Updated 3 years ago
- ☆9Updated last year
- ☆17Updated 7 months ago
- ☆17Updated 2 years ago
- University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package☆72Updated 6 years ago
- Supplementary course notes for Dr. Ilchul Yoon & Dr. A.U. Shankar's CMSC216 at the University of Maryland, compiled during my time as a T…☆13Updated 4 years ago
- Notes for first year Computing at Imperial College London☆49Updated 2 years ago
- ☆18Updated 2 years ago
- CS 112 Data Structures at Rutgers University☆79Updated 2 years ago
- Unofficial Client for Piazza's Internal API☆185Updated last month
- ☆432Updated 2 years ago
- ☆223Updated 3 months ago
- Object oriented programming notes☆77Updated 2 years ago
- ☆16Updated 2 years ago
- Visual Studio Code extension for Coq☆344Updated this week
- A selection of textbook-like course notes for the Imperial College Computing modules.☆61Updated 7 months ago
- ☆249Updated 3 years ago
- ECE 459: Programming for Performance☆453Updated 2 months ago
- ☆49Updated 7 months ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆167Updated last week
- WaterlooWorks Azure is a browser extension designed to enhance the user experience with WaterlooWorks.☆36Updated 2 years ago
- i like taking notes ( "´༥`" )☆8Updated last year
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆503Updated 3 months ago
- Collection of Fall 2022 tech internships!☆17Updated 2 years ago
- The Vampire Theorem Prover☆300Updated this week
- ☆25Updated 11 months ago
- A list of links which I've found useful during my time at UWaterloo studying Software Engineering☆130Updated last year
- Course notes for CMSC 451: Design and Analysis of Algorithms☆11Updated 4 years ago