A selection of textbook-like course notes for the Imperial College Computing modules.
☆97Mar 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☆53Feb 13, 2022Updated 4 years ago
- Refreshed parsec-style library for compatibility with Scala parsley☆22Nov 5, 2025Updated 6 months ago
- Study notes☆22May 2, 2024Updated 2 years ago
- ☆20Dec 12, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- Contains python solutions for the British Informatics olympiad☆24Jun 28, 2024Updated last year
- ☆10Nov 14, 2022Updated 3 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
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆26Nov 22, 2022Updated 3 years ago
- My project for the Wolfram Summer Camp 2019☆15Jul 12, 2019Updated 6 years ago
- Lab Coursework Signals and Systems☆15Sep 29, 2025Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Jan 28, 2026Updated 3 months ago
- a simple operating system☆10May 10, 2015Updated 10 years ago
- Discrete entropy estimator using the Pitman-Yor mixture (PYM) prior☆18Apr 5, 2020Updated 6 years ago
- Efficient-Tensor-Management-on-HM-for-Deep-Learning☆11Nov 15, 2021Updated 4 years ago
- P523 Code☆30Jan 21, 2015Updated 11 years ago
- All Coding project for CS6515 GA☆14Jul 22, 2022Updated 3 years ago
- ☆13Feb 11, 2022Updated 4 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- asv benchmarks for dask projects☆18Jun 27, 2022Updated 3 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 highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated 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
- ☆11May 30, 2024Updated last year
- Python interface to NUMA Linux library☆27Nov 5, 2019Updated 6 years 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☆97Feb 20, 2026Updated 2 months ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 2 years ago
- ☆14Apr 25, 2024Updated 2 years ago
- 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.
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆54Oct 14, 2023Updated 2 years ago
- General purpose hits (page views) counter written in Node.js backed by filesystem. (MVP)☆14Oct 7, 2022Updated 3 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆163Mar 9, 2024Updated 2 years ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Mar 29, 2026Updated last month
- 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
- Lecture notes from Cambridge maths☆75Feb 1, 2024Updated 2 years ago
- Figures, tables and stats for Schneider, Lee and Mathis 2022: Learnable latent embeddings for joint behavioral and neural analysis.☆20Oct 6, 2023Updated 2 years ago