OliverKillane / Imperial-Computing-Year-2-Notes
Notes for the Lectures of Year 2 Computing 2021-22
☆40Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Imperial-Computing-Year-2-Notes
- A selection of textbook-like course notes for the Imperial College Computing modules.☆61Updated 7 months ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated last year
- My past paper solutions for the Haskell final test at Imperial College London☆8Updated 7 years ago
- Notes for first year Computing at Imperial College London☆49Updated 2 years ago
- ☆16Updated 2 years ago
- Notes for second year Computing at Imperial College London☆15Updated 5 years ago
- Refreshed parsec-style library for compatibility with Scala parsley☆16Updated this week
- run and encode simple register machine programs☆14Updated 3 years ago
- HoTTEST Summer School materials☆289Updated last year
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 3 years ago
- Study notes☆15Updated 6 months ago
- ☆9Updated 4 years ago
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated 7 months ago
- ☆223Updated 3 months ago
- Server to host lean games.☆196Updated last week
- The user home repository for the Mathematics in Lean tutorial.☆270Updated last week
- notes, code, and videos for a crash-course in front-end web dev - no experience req'd!☆31Updated 2 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆233Updated this week
- Backup of my digital notebooks for my F22 CS 35L class.☆29Updated 9 months ago
- 👋 get to know me through my personal website!☆10Updated last year
- Lean Library currently studying for a degree at Imperial College☆228Updated last year
- Advent Of Code 2022☆27Updated last year
- Natural Number Game☆114Updated 2 weeks ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆350Updated last week
- A proof assistant for higher-dimensional type theory☆147Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆364Updated last week
- ☆222Updated 2 weeks ago
- The agda-unimath library☆222Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- A collection of templates and solutions for Competitive Programming in Haskell☆27Updated 3 years ago