A selection of textbook-like course notes for the Imperial College Computing modules.
☆100Mar 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
- Refreshed parsec-style library for compatibility with Scala parsley☆23Nov 5, 2025Updated 7 months ago
- Deep Graph-Based Learning Course (ICL, Computing)☆67Feb 3, 2025Updated last year
- ☆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
- Notes for the COMP40016 Calculus module at Imperial.☆12Mar 24, 2024Updated 2 years ago
- A RPC Server implement base on Raft Paper in Golang☆10Jun 17, 2016Updated 9 years ago
- A repo containing useful things for the MSc AI course at Imperial☆34Nov 13, 2023Updated 2 years ago
- Client did not pay? Add opacity to the app's content and decrease it every day until their app completely fades away.☆15Jun 7, 2024Updated 2 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- Lecture notes and course material for M3M6 Applied Complex Analysis at Imperial College☆38May 18, 2020Updated 6 years ago
- ☆31Dec 4, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- My project for the Wolfram Summer Camp 2019☆15Jul 12, 2019Updated 6 years ago
- Heterogeneous Programming☆18Apr 24, 2023Updated 3 years ago
- Rust crate for eager macro expansion☆13Jan 24, 2020Updated 6 years ago
- Course notes for Formalising Mathematics 2026☆114Mar 31, 2026Updated 2 months ago
- Badges made for the largest Student run hackathon in europe☆23Feb 1, 2025Updated last year
- a simple operating system☆10May 10, 2015Updated 11 years ago
- Notes and course material for MATH50003 Numerical Analysis (2021–2022)☆49Mar 12, 2024Updated 2 years ago
- VCD Parser for Node.js☆11Jan 7, 2023Updated 3 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A randomized program fuzzer for the Rust programming language☆63Jul 21, 2023Updated 2 years ago
- SystemVerilog package for reading, manipulating, and writing JSON-formatted data☆12Feb 19, 2022Updated 4 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- asv benchmarks for dask projects☆18Jun 27, 2022Updated 3 years ago
- Repository for the 2023 OHBM Hackathon☆16Oct 29, 2025Updated 7 months ago
- All Coding project for CS6515 GA☆15Jul 22, 2022Updated 3 years ago
- ☆14Jul 5, 2019Updated 6 years ago
- neuron segmentation and synapse detection using PyTorch☆14Jun 30, 2025Updated 11 months ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- 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.
- The Gillian Platform main repository☆101Jun 8, 2026Updated last week
- ☆10Sep 15, 2018Updated 7 years ago
- A NeSy Framework for Learning with Requirements☆21Feb 4, 2026Updated 4 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
- 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