A selection of textbook-like course notes for the Imperial College Computing modules.
☆94Mar 23, 2024Updated 2 years ago
Alternatives and similar repositories for Imperial-Computing-Notes
Users that are interested in Imperial-Computing-Notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes for the Lectures of Year 2 Computing 2021-22☆42Mar 14, 2023Updated 3 years ago
- Notes for first year Computing at Imperial College London☆53Feb 13, 2022Updated 4 years ago
- A fast and modern parser combinator library for Scala☆212Feb 7, 2026Updated last month
- ☆19Dec 12, 2021Updated 4 years ago
- Notes for second year Computing at Imperial College London☆16Apr 13, 2019Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A repo containing useful things for the MSc AI course at Imperial☆34Nov 13, 2023Updated 2 years ago
- waccOS, an operating system kernel written in WACC.☆12Mar 8, 2019Updated 7 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- Sensor Fusion Library for ST sensors and microcontrollers☆12Aug 8, 2022Updated 3 years ago
- Unofficial solutions to the BIO. Will check and fully comment the answers in time. Solution suggestions are welcome!☆10Nov 26, 2023Updated 2 years ago
- ☆14Jan 28, 2026Updated last month
- Course notes for Formalising Mathematics 2026☆95Feb 16, 2026Updated last month
- a simple operating system☆10May 10, 2015Updated 10 years ago
- ☆112Mar 4, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Notes and course material for MATH50003 Numerical Analysis (2021–2022)☆49Mar 12, 2024Updated 2 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 8 years ago
- ☆11Oct 11, 2022Updated 3 years ago
- ☆18Feb 4, 2025Updated last year
- Source code for the cycle-level simulator and RTL implementation of BlockHammer proposed in our HPCA 2021 paper: Yaglikci et. al., "Block…☆19Jun 17, 2022Updated 3 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- A NeSy Framework for Learning with Requirements☆20Feb 4, 2026Updated last month
- ☆13Apr 25, 2024Updated last year
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆52Oct 14, 2023Updated 2 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- 32-bit RISC-V Emulator☆27Feb 23, 2019Updated 7 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆162Mar 9, 2024Updated 2 years ago
- Lecture notes from Introduction to Conformal Field Theory course given by Dr. Tobias Osborne.☆16Sep 7, 2021Updated 4 years ago
- This file includes the code I've written for the course Numerical Method in finance, Stochastic Calculus in Spring 2020.☆12May 13, 2020Updated 5 years ago
- Reimplementation of Parsley in Haskell, with improvements☆60Nov 2, 2025Updated 4 months ago
- 将P站下载的动图压缩包转换为Gif图。☆10Nov 25, 2017Updated 8 years ago
- ☆30Sep 8, 2023Updated 2 years ago
- ☆12Sep 26, 2020Updated 5 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆20Jan 29, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A C++ Compiler (on the works)☆14Jun 25, 2023Updated 2 years ago
- A package for representing quasi-arrays☆11Mar 13, 2026Updated 2 weeks ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- Project Euler GPT Resolver☆10Feb 12, 2024Updated 2 years ago
- Notes and course material for MATH50003 Numerical Analysis (2022–2023)☆53Jan 4, 2024Updated 2 years ago
- Gotta catch 'em all!☆12Apr 19, 2023Updated 2 years ago