Browser extension for VVZ (ETHZ)
☆15Dec 3, 2025Updated 4 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 11 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 🎓☆17Updated this 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆31Dec 4, 2023Updated 2 years ago
- eth & uzh mensas in zurich☆34Nov 10, 2025Updated 5 months ago
- Generating, visualizing, playing around with mazes.☆60Mar 15, 2026Updated last month
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- The study of skiing where we shred open data like pow. Quantifying alpine ski areas with geospatial metrics derived from OpenStreetMap.☆22Updated this week
- Open Source Github Homepage for the Internet's Best Fermi Questions Practice Test☆51Mar 2, 2024Updated 2 years ago
- env support for serde☆24Dec 1, 2025Updated 4 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
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆165Feb 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☆16Oct 19, 2023Updated 2 years ago
- 🎓 Moodle integration into Nextcloud☆19Nov 5, 2025Updated 5 months ago
- The free and private workout tracker☆57Updated this week
- This plugin allows you to create (pseudo) infinity notes inside of Xournal++☆14Dec 2, 2024Updated last year
- A lightweight client-side transit routing library implementing RAPTOR.☆64Mar 21, 2026Updated 3 weeks ago
- ☆18Oct 31, 2025Updated 5 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
- AI Agents on 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.
- Unikraft port of the lwip network stack☆16Apr 7, 2026Updated last week
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆40May 13, 2025Updated 11 months ago
- Code from "Building Lisp"☆34May 10, 2025Updated 11 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