A selection of textbook-like course notes for the Imperial College Computing modules.
☆104Mar 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
- ☆20Dec 12, 2021Updated 4 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆53Apr 11, 2023Updated 3 years ago
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 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.
- This is the code and hardware designs for the high powered rocketry project at the Imperial College Space Society☆12Jun 4, 2022Updated 4 years ago
- MaxJ and C/C++ library and utilities for Maxeler Dataflow Engines☆14Jun 11, 2018Updated 8 years ago
- Notes for second year Computing at Imperial College London☆16Apr 13, 2019Updated 7 years ago
- Lecture notes and course material for M3M6 Applied Complex Analysis at Imperial College☆40May 18, 2020Updated 6 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- ☆11Nov 14, 2022Updated 3 years ago
- My project for the Wolfram Summer Camp 2019☆15Jul 12, 2019Updated 7 years ago
- A Python program to categorise your bank transaction data and write a summary into a spreadsheet.☆14Jan 31, 2021Updated 5 years ago
- A registry of tutorials, workshop material, videos and other educational resources to help you learn more about DataLad.☆17Aug 3, 2023Updated 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.
- 明日方舟-孤星-Latex模板☆24Nov 30, 2025Updated 10 months ago
- ☆16Apr 18, 2021Updated 5 years ago
- ☆18Feb 4, 2025Updated last year
- Computation Optimisation application using Quantum Sampling algorithms☆19Oct 5, 2023Updated 3 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Turn your Mac into a Light Saber!☆13Dec 31, 2012Updated 13 years ago
- ☆10Oct 11, 2022Updated 4 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆18Jun 3, 2017Updated 9 years ago
- An interpreter for Janus, the reversible programming language.☆15Jun 7, 2020Updated 6 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 last year
- A Python module to interact with an Intel JTAG UART☆17May 8, 2021Updated 5 years ago
- P523 Code☆30Jan 21, 2015Updated 11 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆61Jun 19, 2024Updated 2 years ago
- An API that detect expiration date from the product package's picture based on Deep Learning Algorithms☆11Jun 4, 2022Updated 4 years ago
- The Gillian Platform main repository☆103Updated this week
- Figures, tables and stats for Schneider, Lee and Mathis 2022: Learnable latent embeddings for joint behavioral and neural analysis.☆21Oct 6, 2023Updated 3 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 3 years ago
- Replicated the Alpha Go Zero paper but applied it to the game Santorini.☆13Jan 27, 2018Updated 8 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.
- General purpose hits (page views) counter written in Node.js backed by filesystem. (MVP)☆14Oct 7, 2022Updated 4 years ago
- ☆15Apr 25, 2024Updated 2 years ago
- 将P站下载的动图压缩包转换为Gif图。☆10Nov 25, 2017Updated 8 years ago
- The ultimate Quaver plugin for editing SVs. Remastered with many new features.☆24Aug 29, 2026Updated last month
- ☆17Mar 4, 2025Updated last year
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆164Mar 9, 2024Updated 2 years ago
- Official code for Steering Large Language Models using Conceptors, presented at the NeurIPS 2024 MINT Workshop.☆16Mar 13, 2025Updated last year