theodormoroianu / WOKO_New_Room_NotificationLinks
Python script sending push notifications whenever a new room is published on the WOKO (student association for housing in Zurich) website.
☆11Updated last year
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
Sorting:
- Browser extension for VVZ (ETHZ)☆10Updated 3 weeks ago
- How to use boost, CGAL, and ideas for solving the Algolab lecture exercises☆18Updated last year
- Code for forum to review courses at ETH☆19Updated 3 weeks ago
- Summaries and study materials I've written over the course of my studies at ETH Zurich☆89Updated 3 years ago
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆149Updated 3 years ago
- summaries of courses taken at ETH☆28Updated 3 years ago
- Exercises for the Big Data lecture at ETH Zurich (Fall 2021)☆140Updated last week
- Server to host lean games.☆269Updated last week
- Checker for "morally correct" induction proofs about haskell programs☆9Updated 3 years ago
- A Python toolkit for debiasing neural networks in image classification tasks☆75Updated 3 weeks ago
- DiceCTF 2021 challenge archive☆22Updated 4 years ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆56Updated last year
- MI and Formal Verification of NNs on Algorithmic tasks!☆20Updated last year
- Did someone say... scuffed UCSD historical enrollment data?☆42Updated 2 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆167Updated this week
- Interactive neural theorem proving in Lean☆122Updated 3 years ago
- Materials for Applied Data Analysis CS-401, Fall 2024☆51Updated 4 months ago
- Natural Number Game☆167Updated 2 months ago
- A Machine-to-Machine Interaction System for Lean 4.☆87Updated this week
- Document Generator for Lean 4☆95Updated this week
- System-wide Lean input method☆12Updated 3 years ago
- Catalog Of Math Problems Formalized In Lean☆162Updated this week
- An introduction to theorem proving in Lean for the impatient.☆201Updated 2 weeks ago
- White-box automation for Lean 4☆274Updated this week
- plasTeX plugin to build formalization blueprints.☆219Updated 3 weeks ago
- Workshop on Git for NTU Open Source Society☆12Updated 6 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆25Updated this week
- ☆36Updated last year
- Challenge source code and deployment scripts for UIUCTF 2021☆15Updated 3 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆23Updated 3 weeks ago