A selection of textbook-like course notes for the Imperial College Computing modules.
☆103Mar 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☆23Aug 20, 2026Updated last month
- Type-safe statically unknown pattern generation in MetaOCaml☆12Jun 3, 2024Updated 2 years ago
- ☆20Dec 12, 2021Updated 4 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.
- 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
- An optimizing brainf*ck compiler with multiple target backends: JVM, smali, dex, C, LLVM IR, ARM, WASM, JavaScript and Lox.☆12Sep 27, 2023Updated 2 years ago
- A RPC Server implement base on Raft Paper in Golang☆10Jun 17, 2016Updated 10 years ago
- Compiler Construction MSc course lecture material☆10Sep 28, 2021Updated 4 years ago
- 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.☆13Mar 8, 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
- 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.
- ☆11Nov 14, 2022Updated 3 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- ☆12Jan 10, 2025Updated last year
- Badges made for the largest Student run hackathon in europe☆24Feb 1, 2025Updated last year
- Rust crate for eager macro expansion☆13Jan 24, 2020Updated 6 years ago
- Heterogeneous Programming☆19Apr 24, 2023Updated 3 years ago
- ☆17Feb 11, 2024Updated 2 years ago
- Quaver Tournament☆13Dec 29, 2025Updated 8 months ago
- Efficient-Tensor-Management-on-HM-for-Deep-Learning☆11Nov 15, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Failure dataset accompanying the paper "How Bad Can a Bug Get? An Empirical Analysis of Software Failures in the OpenStack Cloud Computi…☆10Jun 12, 2020Updated 6 years ago
- Experiments with representation engineering☆14Feb 28, 2024Updated 2 years ago
- This repository contains icebreaker examples for migen.☆12May 24, 2026Updated 4 months ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- An interpreter for Janus, the reversible programming language.☆15Jun 7, 2020Updated 6 years ago
- ☆17Updated this week
- A python API for GPU-powered stiff ODE models simulation☆11Jul 3, 2018Updated 8 years ago
- 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 4 years ago
- P523 Code☆30Jan 21, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A convenient program for making sprites and animations for the Jack (Hack) platform.☆21Feb 21, 2026Updated 7 months 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
- [Julia Package] Fitting Phase-Type Distributions using an EM Algorithm☆15Dec 12, 2022Updated 3 years ago
- The JGraph 5 legacy code☆14Apr 27, 2018Updated 8 years ago
- The Gillian Platform main repository☆103Sep 13, 2026Updated last week
- 北京大学程序设计实习2018刘家瑛班作业☆10Jun 9, 2018Updated 8 years ago
- A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...☆10Apr 25, 2019Updated 7 years ago