lin-e / imperial-revisionLinks
☆18Updated 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.☆79Updated last year
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated 2 years ago
- ☆9Updated 5 years ago
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 4 years ago
- Scraper for the UoM results page which detects transcript updates and notifies the user.☆58Updated 3 years ago
- Notes for first year Computing at Imperial College London☆52Updated 3 years ago
- Visual Studio Code extension for Coq☆393Updated last week
- awdeorio's favorite dot files☆99Updated last week
- Interactive Coq Proofs in Vim☆296Updated last week
- Standard library for OCaml☆932Updated last month
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆522Updated last month
- A queue to help manage office hours for large courses☆86Updated last year
- run and encode simple register machine programs☆15Updated 3 years ago
- GPA++ course stats search engine☆13Updated last year
- Formal Reasoning About Programs☆690Updated last year
- Review problems for COMP 302☆18Updated last year
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated 2 years ago
- Haskell MOOC University of Helsinki☆381Updated 2 months ago
- Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.☆10Updated 6 years ago
- ☆17Updated last year
- Repositorio de la optativa para la FCEIA☆16Updated 3 months ago
- Material for TDA283 / DIT300 Compiler Construction☆16Updated 2 months ago
- A microservice queue for holding open office hours☆86Updated 2 months ago
- The Ott tool for writing definitions of programming languages and calculi☆378Updated 6 months ago
- Counterexamples in Type Systems☆400Updated 2 years ago
- Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus☆12Updated 8 years ago
- ☆233Updated 11 months ago
- A proof assistant and a dependently-typed language☆317Updated this week
- Personal Notes for Computer Science Tripos at University of Cambridge (2017-2020)☆44Updated 4 years ago