Browser extension for VVZ (ETHZ)
☆15Dec 3, 2025Updated 3 months 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 10 months ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- Webring for current and past members of ETH Zurich 🎓☆17Mar 16, 2026Updated last week
- Kernel Module that implements Paxos protocol☆12Oct 23, 2020Updated 5 years ago
- A mini tutorial on visualizing simulations from the phiflow differentiable fluid solver in Blender.☆15Oct 19, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Accessibility HTML5 Outliner☆19Feb 27, 2026Updated last month
- An internal tool we use to convert our Notion pages and databases into Markdown to be used with Obsidian.☆21Dec 6, 2023Updated 2 years ago
- ☆20Dec 19, 2023Updated 2 years ago
- Shared tests for the compiler design projects HS21.☆18Dec 7, 2021Updated 4 years ago
- Socket.IO library for Go☆20Aug 3, 2024Updated last year
- a Rust OS project☆10Feb 21, 2019Updated 7 years ago
- EBNF parsing toolset☆10May 20, 2023Updated 2 years ago
- A LaTeX template for a cover letter to go with the Friggeri Resume☆73May 16, 2021Updated 4 years ago
- A drop-in replacement for raw-thumbnailer.☆13Nov 23, 2025Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆31Dec 4, 2023Updated 2 years ago
- eth & uzh mensas in zurich☆34Nov 10, 2025Updated 4 months ago
- Generating, visualizing, playing around with mazes.☆60Mar 15, 2026Updated last week
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- Open Source Github Homepage for the Internet's Best Fermi Questions Practice Test☆51Mar 2, 2024Updated 2 years ago
- The study of skiing where we shred open data like pow. Quantifying alpine ski areas with geospatial metrics derived from OpenStreetMap.☆21Updated this week
- env support for serde☆24Dec 1, 2025Updated 3 months 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 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆163Feb 14, 2022Updated 4 years ago
- A past down-to-the-metal cryptography challenge designed by Radical Semiconductor.☆22Jun 10, 2024Updated last year
- Run Unikraft ELF Loader app on Linux executables☆15Oct 19, 2023Updated 2 years ago
- 🎓 Moodle integration into Nextcloud☆19Nov 5, 2025Updated 4 months ago
- A lightweight client-side transit routing library implementing RAPTOR.☆64Updated this week
- This plugin allows you to create (pseudo) infinity notes inside of Xournal++☆14Dec 2, 2024Updated last year
- ☆18Oct 31, 2025Updated 4 months ago
- 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
- Unikraft port of the lwip network stack☆15Feb 26, 2026Updated last month
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆40May 13, 2025Updated 10 months ago
- Code from "Building Lisp"☆34May 10, 2025Updated 10 months ago
- A minimal command line typing game similar to 10fastfingers☆37Jun 28, 2020Updated 5 years ago
- Data-oriented game engine written in Rust☆13Jan 25, 2019Updated 7 years ago
- ☆23Oct 28, 2022Updated 3 years ago
- Hahn: A Coq library☆29Jun 25, 2024Updated last year
- ☆17Dec 18, 2023Updated 2 years ago