kevinsullivan / cs-dmLinks
CS2012 UVa CS Discrete Math Spring 2018
☆16Updated 5 years ago
Alternatives and similar repositories for cs-dm
Users that are interested in cs-dm are comparing it to the libraries listed below
Sorting:
- A simple, modular Discord bot from scratch☆14Updated 4 years ago
- WISP: Wisp Is for Solving Problems - a platform for Competitive Programming Training and Progress Tracking☆11Updated 4 years ago
- ☆12Updated 11 months ago
- Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…☆108Updated 2 years ago
- University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package☆75Updated 7 years ago
- RateMyProfessor API for browsers & Node.js servers☆27Updated 8 years ago
- Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.☆174Updated 4 years ago
- [BETA] Get AP scores on July 5th!☆17Updated 6 years ago
- API for user actions on Acorn (University of Toronto student system) in TypeScript☆16Updated 2 years ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 4 months ago
- Object oriented programming notes☆79Updated 2 years ago
- A compilation of blogs by Waterloo students and alumni☆64Updated 5 years ago
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- Scheduling application designed to mitigate some of the pain-points present throughout Georgia Tech's registration process.☆104Updated last year
- A microservice queue for holding open office hours☆86Updated 2 months ago
- hackschool (fall 2020)☆21Updated 4 years ago
- ☆14Updated 5 years ago
- Using genetic programming to teach cars to drive a flash game☆34Updated 5 years ago
- University of Michigan Lecture Capture Downloader☆8Updated 7 months ago
- Discord bot that integrates with UWaterloo's LDAP to verify the identity of new Discord members☆40Updated 3 months ago
- The Pain and Agony Archive☆23Updated last week
- My Personal Resume (Made in LaTeX)☆41Updated last year
- A list of documentation and example code to access the University of Florida's public (undocumented) API☆64Updated 3 years ago
- How to succeed in the UWaterloo coop system☆30Updated 9 months ago
- 📘 My notes for my Data Structures and Algorithms course – written in markdown☆12Updated 7 years ago
- Gavel with improved UI/UX and features. Forked and modified from github.com/anishathalye/gavel☆18Updated 8 months ago
- Electricity and Magnetism Physics☆36Updated 5 years ago
- Notes for first year Computing at Imperial College London☆51Updated 3 years ago
- CSSS Discord Bot (Wall-E)☆20Updated last week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year