lin-e / imperial-revisionLinks
☆20Updated 4 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:
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- Notes for first year Computing at Imperial College London☆54Updated 3 years ago
- Notes for second year Computing at Imperial College London☆16Updated 6 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆93Updated last year
- Tutorial Questions for the Programming II course at Imperial College London☆52Updated 2 years ago
- Personal Notes for Computer Science Tripos at University of Cambridge (2017-2020)☆50Updated 4 years ago
- A queue to help manage office hours for large courses☆86Updated 2 months ago
- run and encode simple register machine programs☆15Updated 4 years ago
- ☆16Updated 2 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆52Updated last year
- Visual Studio Code extension for Coq☆422Updated this week
- distributed algorithms notes, exercises, solutions and readings - referenced books provided☆15Updated 3 years ago
- awdeorio's favorite dot files☆102Updated last week
- Starter kit for new players of Terminal. Contains starter-algo and a basic CLI for running/debugging algo's locally.☆238Updated 4 months ago
- A better method learning Math & Stats☆56Updated 8 months ago
- Some class resources for classes I took/am taking at McGill as an undergraduate student.☆59Updated 5 years ago
- ☆376Updated 3 years ago
- University of Waterloo ECE Course Notes☆78Updated 6 years ago
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆154Updated 3 years ago
- A cross-platform monotonic clock that is suspend-unaware, written in Rust!☆83Updated 7 months ago
- Exercises and projects for Jane Street's OCaml Workshop☆662Updated 3 years ago
- ☆442Updated 3 years ago
- Interactive Coq Proofs in Vim☆309Updated last week
- Notes for some of my courses at University of Toronto☆66Updated 3 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 6 months ago
- ☆234Updated last year
- ECE 252: Systems Programming and Concurrency☆243Updated 2 years ago
- Formal Reasoning About Programs☆713Updated last week
- Standard library for OCaml☆986Updated 3 weeks ago
- COMP303-Software Design at McGill University☆86Updated last year