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.☆81Updated 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
- ☆9Updated 5 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated 2 years ago
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 4 years ago
- run and encode simple register machine programs☆15Updated 3 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆523Updated 2 months ago
- A semester planner for students at The University of Melbourne.☆29Updated 2 years ago
- Visual Studio Code extension for Coq☆399Updated 2 weeks ago
- An introduction to programming language theory in Agda☆1,449Updated 2 weeks ago
- ☆233Updated last year
- Formal Reasoning About Programs☆691Updated last year
- Notes that I've taken over my Computer Systems and Software course at The University of Melbourne☆141Updated 5 years ago
- Scraper for the UoM results page which detects transcript updates and notifies the user.☆58Updated 3 years ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆604Updated 2 months ago
- A queue to help manage office hours for large courses☆86Updated last year
- I'm trying to update the Real World Haskell book☆790Updated 2 years ago
- HoTTEST Summer School materials☆309Updated 2 months ago
- Interactive Coq Proofs in Vim☆299Updated last week
- The Vellvm (Verified LLVM) coq development.☆440Updated last week
- A systems theorem prover☆11Updated last year
- Minimal implementations for dependent type checking and elaboration☆693Updated this week
- A demo implementation of a simple dependently-typed language☆607Updated 8 months ago
- Commandline tool for automated downloads of echo360 videos hosted by university☆303Updated 7 months ago
- Solution to Algebra, Chapter 0☆93Updated 4 months ago
- An automatic recursive function transformer.☆10Updated last year
- A gently curated list of companies using verification formal methods in industry☆558Updated 6 months ago
- an educational compiler intermediate representation☆683Updated last month