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 8 months ago
- ☆20Dec 12, 2021Updated 4 years ago
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 3 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.
- Notes for second year Computing at Imperial College London☆16Apr 13, 2019Updated 7 years ago
- A repo containing useful things for the MSc AI course at Imperial☆34Nov 13, 2023Updated 2 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- Scala.js ❤️ Scala CLI ❤️ Vite☆25Mar 13, 2026Updated 3 months ago
- My project for the Wolfram Summer Camp 2019☆15Jul 12, 2019Updated 6 years ago
- ☆21Nov 9, 2023Updated 2 years ago
- Discrete entropy estimator using the Pitman-Yor mixture (PYM) prior☆18Apr 5, 2020Updated 6 years ago
- A GitHub repo for Quant Finance resources☆43Jan 9, 2022Updated 4 years ago
- ☆13Feb 11, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆58Jun 19, 2024Updated 2 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated 2 years ago
- Repository for the 2023 OHBM Hackathon☆16Oct 29, 2025Updated 8 months ago
- All Coding project for CS6515 GA☆16Jul 22, 2022Updated 3 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...☆10Apr 25, 2019Updated 7 years ago
- ☆10Sep 15, 2018Updated 7 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 2 years ago
- ☆20Jun 15, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- General purpose hits (page views) counter written in Node.js backed by filesystem. (MVP)☆14Oct 7, 2022Updated 3 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
- DEPRECATED: this repo is no longer actively maintained☆15May 21, 2019Updated 7 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☆13Updated this week
- Lecture notes from Introduction to Conformal Field Theory course given by Dr. Tobias Osborne.☆16Sep 7, 2021Updated 4 years ago
- This file includes the code I've written for the course Numerical Method in finance, Stochastic Calculus in Spring 2020.☆12May 13, 2020Updated 6 years ago
- materials for the cpc 2023☆17Mar 2, 2026Updated 4 months ago
- Lecture notes from Cambridge maths☆75Feb 1, 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.
- Figures, tables and stats for Schneider, Lee and Mathis 2022: Learnable latent embeddings for joint behavioral and neural analysis.☆21Oct 6, 2023Updated 2 years ago
- A collaborative list of resources for Computational Neuroscience☆22Aug 12, 2020Updated 5 years ago
- A solutions manual for Introduction to Set Theory by Hrbacek and Jech☆11Aug 30, 2024Updated last year
- Android Music Application that manipulates and plays MIDI files☆15Oct 13, 2019Updated 6 years ago
- Theorems, Definitions, Papers, Research☆17Jul 3, 2019Updated 7 years ago
- A C++ Compiler (on the works)☆14Jun 25, 2023Updated 3 years ago
- A package for representing quasi-arrays☆11Jun 24, 2026Updated last week