Browser extension for VVZ (ETHZ)
☆15Sep 28, 2026Updated 2 weeks ago
Alternatives and similar repositories for VVZ_extension
Users that are interested in VVZ_extension are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for forum to review courses at ETH☆18May 11, 2025Updated last year
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- Kernel Module that implements Paxos protocol☆12Oct 23, 2020Updated 5 years ago
- Webring for current and past members of ETH Zurich 🎓☆17Oct 5, 2026Updated last week
- Rocqet proof language☆29Aug 11, 2025Updated last year
- 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.
- ZEN-garden contains the core code for the "Zero-emission Energy Networks" modeling framework.☆18Sep 30, 2026Updated 2 weeks ago
- MyChalkBoard is an application for you to quickly sketch with a chalk.☆17May 7, 2021Updated 5 years ago
- A mini tutorial on visualizing simulations from the phiflow differentiable fluid solver in Blender.☆15Oct 19, 2021Updated 4 years ago
- Shared tests for the compiler design projects HS21.☆20Dec 7, 2021Updated 4 years ago
- Accessibility HTML5 Outliner☆21Jul 2, 2026Updated 3 months ago
- Socket.IO library for Go☆20Aug 3, 2024Updated 2 years ago
- a Rust OS project☆10Sep 29, 2026Updated 2 weeks ago
- ☆20Dec 19, 2023Updated 2 years ago
- EBNF parsing toolset☆10May 20, 2023Updated 3 years ago
- 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.
- A LaTeX template for a cover letter to go with the Friggeri Resume☆73May 16, 2021Updated 5 years ago
- A drop-in replacement for raw-thumbnailer.☆13Jun 19, 2026Updated 3 months ago
- Open Source Github Homepage for the Internet's Best Fermi Questions Practice Test☆54Mar 2, 2024Updated 2 years ago
- eth & uzh mensas in zurich☆33Nov 10, 2025Updated 11 months ago
- ☆31Dec 4, 2023Updated 2 years ago
- env support for serde☆25Sep 19, 2026Updated 3 weeks ago
- Submission for Optiver's 2023 ReadyTraderGo.☆26Mar 26, 2023Updated 3 years ago
- [WIP] Tiling window manager with focus follows mouse for OSX☆42Jul 13, 2016Updated 10 years ago
- ☆15Aug 17, 2022Updated 4 years ago
- 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.
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆173Feb 14, 2022Updated 4 years ago
- ☆17Nov 25, 2022Updated 3 years ago
- Run Unikraft ELF Loader app on Linux executables☆16Oct 19, 2023Updated 2 years ago
- 🎓 Moodle integration into Nextcloud☆20Nov 5, 2025Updated 11 months ago
- ACS ACOS5 Smart Card / CryptoMate64 / CryptoMate Nano: Driver and pkcs15init shared libraries for the OpenSC framework.☆17May 14, 2026Updated 5 months ago
- A past down-to-the-metal cryptography challenge designed by Radical Semiconductor.☆22Jun 10, 2024Updated 2 years ago
- Hahn: A Coq library☆30Sep 15, 2026Updated last month
- Code for the INTERSPEECH 2023 paper "Learning When to Speak: Latency and Quality Trade-offs for Simultaneous Speech-to-Speech Translation…☆32Jan 14, 2025Updated last year
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆40May 13, 2025Updated last year
- 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.
- Unikraft port of the lwip network stack☆17Apr 20, 2026Updated 5 months ago
- A minimal command line typing game similar to 10fastfingers☆37Jun 28, 2020Updated 6 years ago
- Code from "Building Lisp"☆36May 10, 2025Updated last year
- Data-oriented game engine written in Rust☆13Jan 25, 2019Updated 7 years ago
- ☆24Oct 28, 2022Updated 3 years ago
- Granatier is a clone of the classic Bomberman game☆16Oct 8, 2026Updated last week
- Mutation analysis tool for Coq verification projects☆31Oct 13, 2020Updated 6 years ago