Notes for the Lectures of Year 2 Computing 2021-22
☆43Mar 14, 2023Updated 3 years ago
Alternatives and similar repositories for Imperial-Computing-Year-2-Notes
Users that are interested in Imperial-Computing-Year-2-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:
- A selection of textbook-like course notes for the Imperial College Computing modules.☆103Mar 23, 2024Updated 2 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆53Apr 11, 2023Updated 3 years ago
- Notes for first year Computing at Imperial College London☆54Feb 13, 2022Updated 4 years ago
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 3 years ago
- ☆20Dec 12, 2021Updated 4 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.
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- Type-safe statically unknown pattern generation in MetaOCaml☆12Jun 3, 2024Updated 2 years ago
- 明日方舟-孤星-Latex模板☆20Nov 30, 2025Updated 9 months ago
- Probabilistic Inference Course, Department of Computing, Imperial College London, Spring 2023.☆20Jan 28, 2025Updated last year
- A language for modular probabilistic modelling in Haskell based on effect handlers☆17Dec 30, 2023Updated 2 years ago
- a simple operating system☆10May 10, 2015Updated 11 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
- ☆13Sep 26, 2020Updated 5 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.
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 7 months ago
- Tutorial on Concurrent Programming in Python☆11Nov 2, 2018Updated 7 years ago
- A C++ Compiler (on the works)☆14Jun 25, 2023Updated 3 years ago
- A package for representing quasi-arrays☆11Updated this week
- Non-blocking concurrent hashmap for Haskell☆18Sep 29, 2017Updated 8 years ago
- vim + razer RGB keyboards☆16Feb 27, 2022Updated 4 years ago
- An extension to interact with DeSo Blockchain on few simple clicks 🥳☆12Jun 14, 2026Updated 2 months ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆30Feb 1, 2022Updated 4 years ago
- Make your zero-knowledge circuits safe with formal verification. 🍀☆34Aug 24, 2026Updated last week
- 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 C# GitHub client with a Winforms UI☆16Jul 21, 2018Updated 8 years ago
- Fast asynchronous GPU monitoring tool across multiple machines through SSH☆12Nov 26, 2024Updated last year
- Notes for the COMP40016 Calculus module at Imperial.☆12Mar 24, 2024Updated 2 years ago
- My notes for coursera course AI TensorFlow in Practice Specialization.☆18Sep 17, 2019Updated 6 years ago
- Port of Facebook's LLaMA model in C/C++☆16Jul 3, 2023Updated 3 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years ago
- Dual numbers compatible with physical units☆11Dec 4, 2023Updated 2 years ago
- Question / answer AI bot for SuperTokens☆13Apr 23, 2023Updated 3 years ago
- Run 3blue1brown's manim on repl.it!☆25Nov 22, 2022Updated 3 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.
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆60Jun 19, 2024Updated 2 years ago
- ☆46Oct 9, 2023Updated 2 years ago
- Core logic of Slay the Spire implemented in Lean4 for formal verification proofs☆30Apr 6, 2026Updated 4 months ago
- GPT* - Training faster small transformers using ALiBi, Parallel Residual Connections and more!☆20Oct 29, 2022Updated 3 years ago
- Leveraging NLP and supervised learning methods to classify posts scraped via Reddit's API☆11Feb 5, 2019Updated 7 years ago
- Rust bot that runs periodically on AWS Lambda and retweets any Tweets matching a query☆17Mar 24, 2023Updated 3 years ago
- ☆15Aug 29, 2021Updated 5 years ago