☆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. 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 6 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
- Typeclass instances for `parsley` to make it compatible with `cats`☆14Jan 24, 2026Updated 2 months ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆94Mar 23, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Tutorial Questions for the Programming II course at Imperial College London☆53Apr 11, 2023Updated 2 years ago
- ☆17Feb 11, 2024Updated 2 years ago
- A fast and modern parser combinator library for Scala☆212Feb 7, 2026Updated last month
- ☆20May 28, 2019Updated 6 years ago
- the easiest way to run wasm-opt☆19Sep 3, 2018Updated 7 years ago
- Go package that encodes and decodes INI-files☆17Dec 9, 2025Updated 3 months ago
- Notes for the Lectures of Year 2 Computing 2021-22☆42Mar 14, 2023Updated 3 years ago
- run and encode simple register machine programs☆15Aug 22, 2021Updated 4 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
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- vim + razer RGB keyboards☆16Feb 27, 2022Updated 4 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☆53Feb 13, 2022Updated 4 years ago
- Flappy bird... but Elon Musk's face and SpaceX rockets☆19Feb 14, 2021Updated 5 years ago
- Flexible Artificial Intelligence Library for Python☆19Nov 1, 2017Updated 8 years ago
- A curated list of free awesome teaching resources☆26Oct 25, 2025Updated 5 months ago
- RUDY DOS attack script☆13Nov 9, 2025Updated 4 months ago
- Flake8 checking for jupyter notebooks☆28Nov 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
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆27Jan 18, 2018Updated 8 years ago
- The runtime for the Verona project☆38Updated this week
- 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
- Implementation of Vector Quantised VAE (VQ-VAE) with PixelCNN prior in Tensorflow.☆40Nov 13, 2023Updated 2 years ago
- Reimplementation of Parsley in Haskell, with improvements☆60Nov 2, 2025Updated 4 months ago
- Raspbian with OP-TEE support.☆30Mar 17, 2019Updated 7 years ago
- Procedural generation of music using wave function collapse and MIDI files☆28Mar 3, 2021Updated 5 years ago
- package manage for v☆31Dec 17, 2019Updated 6 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- The Complex Number Game. Make the complex numbers in Lean.☆42Nov 12, 2022Updated 3 years ago
- ☆112Mar 4, 2026Updated 3 weeks ago
- ☆76Dec 9, 2022Updated 3 years ago
- EDSL for C++ to make just-in-time code generation easier☆88Mar 1, 2023Updated 3 years ago
- Privacy-preserving Federated Learning with Trusted Execution Environments☆74Jul 10, 2025Updated 8 months ago
- ☆105Sep 14, 2022Updated 3 years ago
- NDS/3DS fork/port of the uxn/Varvara virtual machine☆169Updated this week