☆19Dec 12, 2021Updated 4 years ago
Alternatives and similar repositories for imperial-revision
Users that are interested in imperial-revision are comparing it to the libraries listed below
Sorting:
- Notes for second year Computing at Imperial College London☆16Apr 13, 2019Updated 6 years ago
- waccOS, an operating system kernel written in WACC.☆12Mar 8, 2019Updated 6 years ago
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆15Dec 9, 2022Updated 3 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆94Mar 23, 2024Updated last year
- Notes for the Lectures of Year 2 Computing 2021-22☆42Mar 14, 2023Updated 2 years ago
- ☆17Feb 11, 2024Updated 2 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆53Apr 11, 2023Updated 2 years ago
- Type-safe statically unknown pattern generation in MetaOCaml☆12Jun 3, 2024Updated last year
- A systems theorem prover☆11Jun 25, 2024Updated last year
- Notes for first year Computing at Imperial College London☆53Feb 13, 2022Updated 4 years ago
- vim + razer RGB keyboards☆15Feb 27, 2022Updated 4 years ago
- run and encode simple register machine programs☆15Aug 22, 2021Updated 4 years ago
- Rust crate for eager macro expansion☆13Jan 24, 2020Updated 6 years ago
- Just a test bench to learn Quaternions☆10Dec 20, 2020Updated 5 years ago
- RUDY DOS attack script☆12Nov 9, 2025Updated 3 months ago
- A language for modular probabilistic modelling in Haskell based on effect handlers☆18Dec 30, 2023Updated 2 years ago
- Go package that encodes and decodes INI-files☆17Dec 9, 2025Updated 2 months ago
- the easiest way to run wasm-opt☆19Sep 3, 2018Updated 7 years ago
- Study notes☆22May 2, 2024Updated last year
- Showcase of the websites written by some kids in under a day, at a summer camp. I taught them HTML, CSS, and very basic JavaScript.☆12Feb 14, 2021Updated 5 years ago
- Procedural generation of music using wave function collapse and MIDI files☆28Mar 3, 2021Updated 5 years ago
- A cool web based CTF. Designed to be a static site, so no servers are necessary to host it.☆13Aug 26, 2021Updated 4 years ago
- ☆20May 28, 2019Updated 6 years ago
- Node.js example of OAuth Integration for Webex Teams☆26Jul 28, 2021Updated 4 years ago
- Flake8 checking for jupyter notebooks☆28Nov 18, 2024Updated last year
- A hydrogen atom orbital wave function renderer based on random sampling☆29Jun 26, 2023Updated 2 years ago
- Scrapes Every Email Address of Every Society in Every University☆24Updated this week
- The runtime for the Verona project☆38Oct 26, 2025Updated 4 months ago
- package manage for v☆31Dec 17, 2019Updated 6 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆42Nov 12, 2022Updated 3 years ago
- My Personal Portfolio built with NextJS and GitHub's GraphQL API. Uses SSR to always ensure repo stars and description are always up to d…☆33Mar 14, 2023Updated 2 years ago
- Spotify Vibe Checker Web App to vibe check your Spotify Playlists! (currently broken due to CORS)☆26Dec 7, 2022Updated 3 years ago
- Implementation of Vector Quantised VAE (VQ-VAE) with PixelCNN prior in Tensorflow.☆40Nov 13, 2023Updated 2 years ago
- My dotfiles - managed by yadm.io☆34Nov 1, 2023Updated 2 years ago
- OI代码仓库、复习笔记、代码模板、本地Judger☆60Dec 17, 2021Updated 4 years ago
- The Gillian Platform main repository☆95Feb 20, 2026Updated 2 weeks ago
- Define your own PhantomData☆160Feb 16, 2026Updated 2 weeks ago
- Voxel-rs is a multiplayer Minecraft-like game engine written in Rust. The game is currently under heavy development and it's not yet play…☆159Dec 23, 2020Updated 5 years ago
- Fully functioning fast Limit Order Book written in Python☆198Jan 1, 2023Updated 3 years ago