Browser extension for VVZ (ETHZ)
☆15Sep 28, 2026Updated last month
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).☆13Feb 22, 2025Updated last year
- ☆12Sep 17, 2026Updated last month
- Webring for current and past members of ETH Zurich 🎓☆18Updated this week
- Rocqet proof language☆29Aug 11, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆11Sep 22, 2026Updated last month
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆175Feb 14, 2022Updated 4 years ago
- eth & uzh mensas in zurich☆33Nov 10, 2025Updated 11 months ago
- env support for serde☆25Sep 19, 2026Updated last month
- A drop-in replacement for raw-thumbnailer.☆13Jun 19, 2026Updated 4 months ago
- Unofficial REST API and search for ETHZ VVZ☆18Oct 24, 2026Updated last week
- Pre-built Dynamic Linux ELFs☆11Oct 21, 2023Updated 3 years ago
- Built Linux applications (static-pie) for Unikraft binary compatibility mode☆11Jul 24, 2023Updated 3 years ago
- Testing the Rust standard library with Miri, continuously☆23Updated this week
- 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.
- Run Unikraft ELF Loader app on Linux executables☆16Oct 19, 2023Updated 3 years ago
- Granatier is a clone of the classic Bomberman game☆16Updated this week
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆40May 13, 2025Updated last year
- Hahn: A Coq library☆30Sep 15, 2026Updated last month
- My personal collection of NixOS configuration files☆15Mar 5, 2025Updated last year
- 🎓 Moodle integration into Nextcloud☆20Nov 5, 2025Updated 11 months ago
- ☆24Oct 28, 2022Updated 4 years ago
- System-wide Lean input method☆13Feb 16, 2022Updated 4 years ago
- Java implementation (without imports) of basic algorithms and data structures☆14Jun 6, 2022Updated 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.
- World Clock Tile and App for Wear OS☆16Dec 28, 2023Updated 2 years ago
- This plugin allows you to create (pseudo) infinity notes inside of Xournal++☆16Dec 2, 2024Updated last year
- 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…☆12Apr 24, 2024Updated 2 years ago
- Iso9660 Analyzer Tool (mirror)☆25Jan 18, 2019Updated 7 years ago
- A collection of scripts to aid in reverse engineering and exploit development.☆24Oct 3, 2021Updated 5 years ago
- Writeups for Pico CTF 2017 capture the flag hacking compeition☆14Mar 21, 2018Updated 8 years ago
- Use Google Sheets as a storage device!☆15Apr 27, 2019Updated 7 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆48Oct 1, 2026Updated last month
- ☆21Jun 9, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Python script sending push notifications whenever a new room is published on the WOKO (student association for housing in Zurich) website…☆13Jul 13, 2023Updated 3 years ago
- Formalizing Automated Market Makers in Lean 4☆18Feb 7, 2024Updated 2 years ago
- ☆21Oct 23, 2026Updated last week
- ☆14Jun 8, 2019Updated 7 years ago
- a skribbl.io helper script☆20Jan 17, 2019Updated 7 years ago
- DiceCTF 2021 challenge archive☆22Apr 13, 2021Updated 5 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆62Nov 26, 2025Updated 11 months ago