Browser extension for VVZ (ETHZ)
☆14Dec 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
Sorting:
- Code for forum to review courses at ETH☆18May 11, 2025Updated 9 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 🎓☆17Jan 26, 2026Updated last month
- eth & uzh mensas in zurich☆34Nov 10, 2025Updated 3 months ago
- Kernel Module that implements Paxos protocol☆12Oct 23, 2020Updated 5 years ago
- Assignment viewer for ETHz first-year bachelor students.☆10Sep 19, 2024Updated last year
- A mini tutorial on visualizing simulations from the phiflow differentiable fluid solver in Blender.☆15Oct 19, 2021Updated 4 years ago
- Unikraft port of the lwip network stack☆15Feb 26, 2026Updated last week
- A drop-in replacement for raw-thumbnailer.☆13Nov 23, 2025Updated 3 months ago
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- This plugin allows you to create (pseudo) infinity notes inside of Xournal++☆14Dec 2, 2024Updated last year
- EBNF parsing toolset☆10May 20, 2023Updated 2 years ago
- ☆16Oct 31, 2025Updated 4 months ago
- a Rust OS project☆10Feb 21, 2019Updated 7 years ago
- Generating, visualizing, playing around with mazes.☆44Updated this week
- Run Unikraft ELF Loader app on Linux executables☆15Oct 19, 2023Updated 2 years ago
- This script checks the WOKO website for student accommodation in Zurich for new room entries every 6 to 12 min and sends you an email ale…☆13Apr 24, 2024Updated last year
- Granatier is a clone of the classic Bomberman game☆15Updated this week
- Formalisation of the Kelley-Meka bound on Roth numbers☆21Feb 10, 2026Updated 3 weeks ago
- Python script sending push notifications whenever a new room is published on the WOKO (student association for housing in Zurich) website…☆13Jul 13, 2023Updated 2 years ago
- World Clock Tile and App for Wear OS☆15Dec 28, 2023Updated 2 years ago
- The study of skiing where we shred open data like pow. Quantifying alpine ski areas with geospatial metrics derived from OpenStreetMap.☆21Feb 28, 2026Updated last week
- Plain-text declaration export for Lean 4☆26Feb 26, 2026Updated last week
- Writeups for Pico CTF 2017 capture the flag hacking compeition☆14Mar 21, 2018Updated 7 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- Java implementation (without imports) of basic algorithms and data structures☆14Jun 6, 2022Updated 3 years ago
- ☆20Dec 19, 2023Updated 2 years ago
- ☆15Jul 18, 2019Updated 6 years ago
- Accessibility HTML5 Outliner☆18Feb 27, 2026Updated last week
- ☆15Aug 17, 2022Updated 3 years ago
- 🎓 Moodle integration into Nextcloud☆19Nov 5, 2025Updated 4 months ago
- ComfyUI node to run grounding models☆34Updated this week
- ☆31Jun 14, 2023Updated 2 years ago
- Socket.IO library for Go☆20Aug 3, 2024Updated last year
- 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
- Shared tests for the compiler design projects HS21.☆18Dec 7, 2021Updated 4 years ago
- ☆18Jun 9, 2023Updated 2 years ago
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆163Feb 14, 2022Updated 4 years ago
- ☆23Oct 28, 2022Updated 3 years ago