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 last year
- 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 🎓☆17May 11, 2026Updated 2 weeks ago
- 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
- 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.
- 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 3 years ago
- 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.☆13Nov 23, 2025Updated 6 months ago
- 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.
- ☆31Dec 4, 2023Updated 2 years ago
- eth & uzh mensas in zurich☆34Nov 10, 2025Updated 6 months ago
- Generating, visualizing, playing around with mazes.☆62Mar 15, 2026Updated 2 months ago
- 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.☆23Updated this week
- env support for serde☆24Apr 15, 2026Updated last month
- 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
- 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.
- A past down-to-the-metal cryptography challenge designed by Radical Semiconductor.☆22Jun 10, 2024Updated last year
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆168Feb 14, 2022Updated 4 years ago
- 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.☆72May 10, 2026Updated 2 weeks ago
- ☆18Updated 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
- Unikraft port of the lwip network stack☆16Apr 20, 2026Updated last month
- 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.
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆40May 13, 2025Updated last year
- Code from "Building Lisp"☆34May 10, 2025Updated last year
- 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