anwarmamat / cmsc330spring19-public
☆14Updated 5 years ago
Related projects: ⓘ
- ☆8Updated last year
- ☆29Updated last year
- Flow is a website that lets you plan courses with friends.☆233Updated last year
- University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package☆72Updated 6 years ago
- ☆35Updated 3 years ago
- Student-run wiki for students interested in computer science at Cornell University☆88Updated 10 months ago
- Programming languages☆26Updated 6 months ago
- Educational Proof Assistant for Type Theory☆72Updated last month
- i like taking notes ( "´༥`" )☆8Updated last year
- C0rn3LL 4 L337 H4xx0rz☆36Updated last year
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Updated 2 years ago
- ☆219Updated last month
- A document to help undergraduates keep track of software engineering internship opportunities.☆1,069Updated 4 years ago
- Recitation notes for cs3157, the C systems programming course with a narrative☆298Updated 2 years ago
- Program Synthesis Course☆242Updated 6 months ago
- A compilation of blogs by Waterloo students and alumni☆61Updated 4 years ago
- A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitie…☆93Updated 3 years ago
- Open data APIs for interfacing with public information from the University of Toronto.☆98Updated 4 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆85Updated 2 years ago
- ☆11Updated last month
- The Gillian Platform main repository☆75Updated last week
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆213Updated last year
- Contextual types meet mechanized metatheory!☆184Updated last month
- ☆24Updated 2 years ago
- A queue to help manage office hours for large courses☆84Updated last year
- A microservice queue for holding open office hours☆82Updated 9 months ago
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆21Updated 3 years ago
- ☆19Updated 3 years ago
- ☆15Updated this week
- Or: How I Learned to Stop Worrying and Love the Greenback☆170Updated last year