lin-e / imperial-revisionLinks
☆19Updated 3 years ago
Alternatives and similar repositories for imperial-revision
Users that are interested in imperial-revision are comparing it to the libraries listed below
Sorting:
- A selection of textbook-like course notes for the Imperial College Computing modules.☆86Updated last year
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- Notes for first year Computing at Imperial College London☆53Updated 3 years ago
- Notes for second year Computing at Imperial College London☆16Updated 6 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆52Updated 2 years ago
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆137Updated last year
- Resources for the UQCS competitive programming group☆20Updated last week
- Interactive Coq Proofs in Vim☆300Updated last month
- A systems theorem prover☆11Updated last year
- Visual Studio Code extension for Coq☆407Updated 2 weeks ago
- run and encode simple register machine programs☆15Updated 4 years ago
- Notes for some of my courses at University of Toronto☆65Updated 3 years ago
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆21Updated 4 years ago
- Notes that I've taken over my Computer Systems and Software course at The University of Melbourne☆142Updated 5 years ago
- NUS Canvas file sync☆66Updated 5 months ago
- Formal Reasoning About Programs☆702Updated last week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆529Updated 4 months ago
- An automatic recursive function transformer.☆10Updated 2 years ago
- API for user actions on Acorn (University of Toronto student system) in TypeScript☆16Updated 2 years ago
- My solutions to concrete semantics☆11Updated 8 years ago
- One-click final schedule for McGill students☆21Updated 3 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆49Updated last year
- Scraper for the UoM results page which detects transcript updates and notifies the user.☆58Updated 3 years ago
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆154Updated 3 years ago
- An UofT Acorn API by me.☆15Updated 7 years ago
- Opgaves van de voorbije jaren☆22Updated last year
- An introduction to programming language theory in Agda☆1,454Updated this week
- ☆233Updated last year
- awdeorio's favorite dot files☆100Updated last week
- Exercises and projects for Jane Street's OCaml Workshop☆650Updated 3 years ago