Alternatives and similar repositories for VVZ_extension

Users that are interested in VVZ_extension are comparing it to the libraries listed below

• EvilBabyDemon / CourseReviewETH

  View on GitHub
  Code for forum to review courses at ETH
  ☆18May 11, 2025Updated 9 months ago
• laelath / well-typed-term-generator

  View on GitHub
  A OCaml generator for well-typed terms (that use their arguments).
  ☆11Feb 22, 2025Updated 11 months ago
• XYQuadrat / polyring

  View on GitHub
  Webring for current and past members of ETH Zurich 🎓
  ☆16Jan 26, 2026Updated 2 weeks ago
• famoser / Mensa

  View on GitHub
  eth & uzh mensas in zurich
  ☆34Nov 10, 2025Updated 3 months ago
• misc-box / ethz-assignment-viewer

  View on GitHub
  Assignment viewer for ETHz first-year bachelor students.
  ☆10Sep 19, 2024Updated last year
• esposem / Kernel_Paxos

  View on GitHub
  Kernel Module that implements Paxos protocol
  ☆11Oct 23, 2020Updated 5 years ago
• unikraft / lib-lwip

  View on GitHub
  Unikraft port of the lwip network stack
  ☆14Jan 26, 2026Updated 2 weeks ago
• JM4ier / parsley

  View on GitHub
  EBNF parsing toolset
  ☆10May 20, 2023Updated 2 years ago
• gebner / m17n-lean

  View on GitHub
  System-wide Lean input method
  ☆12Feb 16, 2022Updated 3 years ago
• j-lthr / RostOS

  View on GitHub
  a Rust OS project
  ☆10Feb 21, 2019Updated 6 years ago
• dbrgn / miniaturo

  View on GitHub
  A drop-in replacement for raw-thumbnailer.
  ☆13Nov 23, 2025Updated 2 months ago
• Robin-Sch / Xournalpp-Infinity-Notes

  View on GitHub
  This plugin allows you to create (pseudo) infinity notes inside of Xournal++
  ☆14Dec 2, 2024Updated last year
• tberghuis / WristRecorder

  View on GitHub
  ☆16Oct 31, 2025Updated 3 months ago
• aristotelis-economides / phiflow2blender

  View on GitHub
  A mini tutorial on visualizing simulations from the phiflow differentiable fluid solver in Blender.
  ☆15Oct 19, 2021Updated 4 years ago
• unikraft / run-app-elfloader

  View on GitHub
  Run Unikraft ELF Loader app on Linux executables
  ☆15Oct 19, 2023Updated 2 years ago
• KalinNonchev / WOKO_alert

  View on GitHub
  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
• dhimmel / openskistats

  View on GitHub
  The study of skiing where we shred open data like pow. Quantifying alpine ski areas with geospatial metrics derived from OpenStreetMap.
  ☆20Jan 24, 2026Updated 3 weeks ago
• KDE / granatier

  View on GitHub
  Granatier is a clone of the classic Bomberman game
  ☆15Feb 5, 2026Updated last week
• theodormoroianu / WOKO_New_Room_Notification

  View on GitHub
  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
• depau / wearos-world-clock-tile

  View on GitHub
  World Clock Tile and App for Wear OS
  ☆15Dec 28, 2023Updated 2 years ago
• YaelDillies / apap

  View on GitHub
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆21Updated this week
• leanprover / lean4export

  View on GitHub
  Plain-text declaration export for Lean 4
  ☆22Feb 6, 2026Updated last week
• MeadeRobert / PicoCTF2017

  View on GitHub
  Writeups for Pico CTF 2017 capture the flag hacking compeition
  ☆14Mar 21, 2018Updated 7 years ago
• soelmicheletti / algorithms-java

  View on GitHub
  Java implementation (without imports) of basic algorithms and data structures
  ☆14Jun 6, 2022Updated 3 years ago
• EngineeringSoftware / mcoq

  View on GitHub
  Mutation analysis tool for Coq verification projects
  ☆29Oct 13, 2020Updated 5 years ago
• camenduru / LucidDreamer-colab

  View on GitHub
  ☆20Dec 19, 2023Updated 2 years ago
• hinderlingvolkart / h123

  View on GitHub
  Accessibility HTML5 Outliner
  ☆17Jul 7, 2025Updated 7 months ago
• rycolab / aflt-f2022

  View on GitHub
  ☆15Aug 17, 2022Updated 3 years ago
• nextcloud / integration_moodle

  View on GitHub
  🎓 Moodle integration into Nextcloud
  ☆19Nov 5, 2025Updated 3 months ago
• PozzettiAndrea / ComfyUI-Grounding

  View on GitHub
  ComfyUI node to run grounding models
  ☆32Feb 2, 2026Updated last week
• Shiftsaga / Lisbeth.Macros

  View on GitHub
  ☆15Jul 18, 2019Updated 6 years ago
• dwarvesf / notion-export-markdown

  View on GitHub
  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
• karagenc / socket.io-go

  View on GitHub
  Socket.IO library for Go
  ☆20Aug 3, 2024Updated last year
• ConfidentialComputing / GPU-TEE-Papers

  View on GitHub
  ☆31Jun 14, 2023Updated 2 years ago
• nicdard / compiler-design-eth-tests

  View on GitHub
  Shared tests for the compiler design projects HS21.
  ☆18Dec 7, 2021Updated 4 years ago
• uw-unsat / exoverifier

  View on GitHub
  ☆18Jun 9, 2023Updated 2 years ago
• OpenCoreCH / ethz_cs_summaries

  View on GitHub
  Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science
  ☆162Feb 14, 2022Updated 4 years ago
• hsncsclub / HSCTF-6-Problems

  View on GitHub
  ☆15Jun 8, 2019Updated 6 years ago
• shao-hua-li / AFLplusplus-PGE

  View on GitHub
  ☆23Oct 28, 2022Updated 3 years ago