Browser extension for VVZ (ETHZ)
☆15Dec 3, 2025Updated 5 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 🎓☆17Apr 27, 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
- 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.
- Accessibility HTML5 Outliner☆19Feb 27, 2026Updated 2 months ago
- An internal tool we use to convert our Notion pages and databases into Markdown to be used with Obsidian.☆20Dec 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 5 months 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.
- ☆31Dec 4, 2023Updated 2 years ago
- eth & uzh mensas in zurich☆34Nov 10, 2025Updated 5 months ago
- Generating, visualizing, playing around with mazes.☆61Mar 15, 2026Updated last month
- Mutation analysis tool for Coq verification projects☆30Oct 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.☆22Updated this week
- env support for serde☆24Apr 15, 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 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆166Feb 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 6 months ago
- 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.☆65Updated this week
- 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
- ☆18Apr 30, 2026Updated last week
- Unikraft port of the lwip network stack☆16Apr 20, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- ☆17Dec 18, 2023Updated 2 years ago