☆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:
- 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.☆13Mar 8, 2019Updated 7 years ago
- 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
- A fast and modern parser combinator library for Scala☆218Jun 20, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Notes for the Lectures of Year 2 Computing 2021-22☆43Mar 14, 2023Updated 3 years ago
- Rust crate for eager macro expansion☆13Jan 24, 2020Updated 6 years ago
- Go package that encodes and decodes INI-files☆18Jul 22, 2026Updated 2 months ago
- ☆17Feb 11, 2024Updated 2 years ago
- 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
- run and encode simple register machine programs☆16Aug 22, 2021Updated 5 years ago
- A systems theorem prover☆16Sep 17, 2026Updated last week
- Notes for first year Computing at Imperial College London☆54Feb 13, 2022Updated 4 years ago
- vim + razer RGB keyboards☆16Feb 27, 2022Updated 4 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.
- A cool web based CTF. Designed to be a static site, so no servers are necessary to host it.☆13Aug 26, 2021Updated 5 years ago
- Scrapes Every Email Address of Every Society in Every University☆24Sep 7, 2026Updated 2 weeks ago
- doom☆17Mar 8, 2016Updated 10 years ago
- A curated list of free awesome teaching resources☆27Oct 25, 2025Updated 10 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…☆33Sep 2, 2026Updated 3 weeks ago
- RUDY DOS attack script☆16Nov 9, 2025Updated 10 months ago
- Flake8 checking for jupyter notebooks☆29Nov 18, 2024Updated last year
- makepad components☆37Feb 13, 2026Updated 7 months ago
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆26Jan 18, 2018Updated 8 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.
- Get a random puppy image url.☆14Jul 7, 2024Updated 2 years ago
- Reimplementation of Parsley in Haskell, with improvements☆64Nov 2, 2025Updated 10 months ago
- My dotfiles - managed by yadm.io☆34Nov 1, 2023Updated 2 years ago
- Progressive Web App for University of Warwick engineering students to be able to view PDR Points gained at Engineering Society events. In…☆13Mar 5, 2023Updated 3 years ago
- Implementation of Vector Quantised VAE (VQ-VAE) with PixelCNN prior in Tensorflow.☆40Nov 13, 2023Updated 2 years ago
- Node.js example of OAuth Integration for Webex Teams☆26Jul 28, 2021Updated 5 years ago
- Procedural generation of music using wave function collapse and MIDI files☆28Mar 3, 2021Updated 5 years ago
- The runtime for the Verona project☆43Updated this week
- Ban list of IPs to mitigate bad actors, powered by Github Actions☆32Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆85Dec 30, 2020Updated 5 years ago
- Doxygen Theme - Flat design☆48Aug 13, 2021Updated 5 years ago
- Networking for high-performance distributed systems.☆49Updated this week
- The Complex Number Game. Make the complex numbers in Lean.☆43Nov 12, 2022Updated 3 years ago
- Docker container with Chromium desktop and a Web VNC client allowing you to run Chromium on any server you have☆122Sep 18, 2022Updated 4 years ago
- The Gillian Platform main repository☆103Sep 13, 2026Updated last week
- Define your own PhantomData☆168Updated this week