A selection of textbook-like course notes for the Imperial College Computing modules.
☆98Mar 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☆43Mar 14, 2023Updated 3 years ago
- Notes for first year Computing at Imperial College London☆54Feb 13, 2022Updated 4 years ago
- Study notes☆23May 2, 2024Updated 2 years ago
- Deep Graph-Based Learning Course (ICL, Computing)☆67Feb 3, 2025Updated last year
- ☆20Dec 12, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 3 years ago
- Notes for second year Computing at Imperial College London☆16Apr 13, 2019Updated 7 years ago
- ☆40May 16, 2026Updated last week
- Contains python solutions for the British Informatics olympiad☆24Jun 28, 2024Updated last year
- A repo containing useful things for the MSc AI course at Imperial☆34Nov 13, 2023Updated 2 years ago
- Lecture notes and course material for M3M6 Applied Complex Analysis at Imperial College☆37May 18, 2020Updated 6 years ago
- Heterogeneous Programming☆18Apr 24, 2023Updated 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
- ☆14May 8, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- Experiments with representation engineering☆14Feb 28, 2024Updated 2 years ago
- SystemVerilog package for reading, manipulating, and writing JSON-formatted data☆12Feb 19, 2022Updated 4 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆59Jun 19, 2024Updated last year
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated last year
- ☆18May 18, 2026Updated last week
- ☆15Jul 5, 2019Updated 6 years ago
- Lecture Notes and Projects of the MSc Data Science and Machine Learning programme at UCL.☆41May 3, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- neuron segmentation and synapse detection using PyTorch☆14Jun 30, 2025Updated 10 months ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- A collection of solutions to British Informatics Olympiad questions☆19Nov 11, 2022Updated 3 years ago
- The Gillian Platform main repository☆98Feb 20, 2026Updated 3 months ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 2 years ago
- Immutable persistent data collections for Javascript which increase efficiency and simplicity.☆26Sep 26, 2023Updated 2 years ago
- ☆14Apr 25, 2024Updated 2 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆54Oct 14, 2023Updated 2 years ago
- This notebook presents an example of the equal risk pricing framework with deep hedging from my paper Carbonneau, A. and Godin, F. (2020)…☆15Oct 15, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Mar 29, 2026Updated last month
- Lecture notes from Introduction to Conformal Field Theory course given by Dr. Tobias Osborne.☆15Sep 7, 2021Updated 4 years ago
- A solutions manual for Introduction to Set Theory by Hrbacek and Jech☆11Aug 30, 2024Updated last year
- ☆12Aug 31, 2022Updated 3 years ago
- Theorems, Definitions, Papers, Research☆18Jul 3, 2019Updated 6 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆21Mar 29, 2026Updated last month
- A C++ Compiler (on the works)☆14Jun 25, 2023Updated 2 years ago