☆20Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes for second year Computing at Imperial College London☆16Apr 13, 2019Updated 7 years ago
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 3 years ago
- waccOS, an operating system kernel written in WACC.☆12Mar 8, 2019Updated 7 years ago
- ☆40May 16, 2026Updated last week
- A selection of textbook-like course notes for the Imperial College Computing modules.☆98Mar 23, 2024Updated 2 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.
- Tutorial Questions for the Programming II course at Imperial College London☆53Apr 11, 2023Updated 3 years ago
- A randomized program fuzzer for the Rust programming language☆63Jul 21, 2023Updated 2 years ago
- the easiest way to run wasm-opt☆20Sep 3, 2018Updated 7 years ago
- Go package that encodes and decodes INI-files☆17Dec 9, 2025Updated 5 months ago
- Type-safe statically unknown pattern generation in MetaOCaml☆12Jun 3, 2024Updated last year
- Notes for the Lectures of Year 2 Computing 2021-22☆43Mar 14, 2023Updated 3 years ago
- ☆49Mar 6, 2026Updated 2 months ago
- run and encode simple register machine programs☆15Aug 22, 2021Updated 4 years ago
- A systems theorem prover☆15Updated this week
- 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.
- vim + razer RGB keyboards☆16Feb 27, 2022Updated 4 years ago
- Just a test bench to learn Quaternions☆10Dec 20, 2020Updated 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
- Notes for first year Computing at Imperial College London☆54Feb 13, 2022Updated 4 years ago
- Scrapes Every Email Address of Every Society in Every University☆24May 15, 2026Updated last week
- Flexible Artificial Intelligence Library for Python☆19Nov 1, 2017Updated 8 years ago
- A curated list of free awesome teaching resources☆27Oct 25, 2025Updated 7 months 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 3 years ago
- RUDY DOS attack script☆13Nov 9, 2025Updated 6 months 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.
- Flake8 checking for jupyter notebooks☆29Nov 18, 2024Updated last year
- Spotify Vibe Checker Web App to vibe check your Spotify Playlists! (currently broken due to CORS)☆26Dec 7, 2022Updated 3 years ago
- Study notes☆23May 2, 2024Updated 2 years ago
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆26Jan 18, 2018Updated 8 years ago
- Get a random puppy image url.☆14Jul 7, 2024Updated last year
- The runtime for the Verona project☆40Apr 22, 2026Updated last month
- My dotfiles - managed by yadm.io☆34Nov 1, 2023Updated 2 years ago
- Node.js example of OAuth Integration for Webex Teams☆26Jul 28, 2021Updated 4 years ago
- Procedural generation of music using wave function collapse and MIDI files☆28Mar 3, 2021Updated 5 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.
- package manage for v☆31Dec 17, 2019Updated 6 years ago
- A hydrogen atom orbital wave function renderer based on random sampling☆29Jun 26, 2023Updated 2 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆42Nov 12, 2022Updated 3 years ago
- ☆51Apr 6, 2026Updated last month
- ☆284Mar 4, 2026Updated 2 months ago
- A Minecraft mod about superability☆233Oct 4, 2022Updated 3 years ago
- 一个顶俩☆283Apr 9, 2023Updated 3 years ago