Alternatives and similar repositories for WOKO_New_Room_Notification

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

• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆10Updated last month
• lucidBrot / algolab-tutorial
  How to use boost, CGAL, and ideas for solving the Algolab lecture exercises
  ☆18Updated last year
• EvilBabyDemon / CourseReviewETH
  Code for forum to review courses at ETH
  ☆19Updated 3 months ago
• OpenCoreCH / ethz_cs_summaries
  Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science
  ☆153Updated 3 years ago
• DLarisa / SAL-Materials-FMI-Master-Degree
  Materials for SAL (Security & Applied Logic) Master's Degree, Faculty of Mathematics & Informatics, Univesity of Bucharest (2021 - 2023).…
  ☆14Updated 10 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆311Updated this week
• epfl-ada / 2024
  Materials for Applied Data Analysis CS-401, Fall 2024
  ☆50Updated 7 months ago
• remimorvan / knowledge-clustering
  Clustering notions for the knowledge LaTeX package
  ☆17Updated 3 months ago
• hsncsclub / HSCTF-6-Problems
  ☆15Updated 6 years ago
• udaysidhu99 / danki
  A local cross-platform GUI for translating German words and sentences using Gemini and auto-adding them to Anki with audio, grammar, and …
  ☆41Updated last month
• KalinNonchev / WOKO_alert
  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…
  ☆13Updated last year
• dicegang / dicectf-2021-challenges
  DiceCTF 2021 challenge archive
  ☆21Updated 4 years ago
• ccz181078 / Coq-BB5
  ☆328Updated 5 months ago
• CameronLonsdale / MTP
  Many-Time Pad Interactive
  ☆176Updated last year
• rerrorctf / ret
  the rounding error tool 🚩
  ☆14Updated 3 months ago
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆28Updated 4 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆208Updated this week
• marshall-lee / software_foundations
  My solutions to Software Foundations course in Coq proof assistant.
  ☆38Updated this week
• two-heart / dbgtools
  Automation for the rev/pwn experience in GDB
  ☆14Updated last year
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆665Updated last week
• GabrielMajeri / teme-fmi
  Teme la informatică pentru facultate
  ☆62Updated 2 years ago
• ymerkli / eth-summaries
  Summaries and study materials I've written over the course of my studies at ETH Zurich
  ☆90Updated 4 years ago
• gebner / m17n-lean
  System-wide Lean input method
  ☆12Updated 3 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,579Updated 3 weeks ago
• Beebeeoii / lominus
  NUS Canvas file sync
  ☆66Updated 4 months ago
• MaximilianAnzinger / gad2022-tests
  Collection of JUnit Tests for GAD exercises at TUM in SS22
  ☆34Updated 3 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆53Updated 3 years ago
• jst-seminar-rostlab-tum / wfp-hunger-map
  Real-time insights on global hunger trends and food insecurity data: https://wfp-hunger-map.vercel.app/ Docs: https://docs-wfp-hungermap.…
  ☆33Updated 6 months ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆413Updated last week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆407Updated 3 weeks ago