theodormoroianu / WOKO_New_Room_NotificationView external linksLinks
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
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:
- How to use boost, CGAL, and ideas for solving the Algolab lecture exercises☆22Jan 26, 2024Updated 2 years ago
- a minimal website to get the diff of llm rewrites☆11Dec 11, 2024Updated last year
- ☆16Oct 31, 2025Updated 3 months ago
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- Browser extension for VVZ (ETHZ)☆13Dec 3, 2025Updated 2 months ago
- Run Unikraft ELF Loader app on Linux executables☆15Oct 19, 2023Updated 2 years ago
- Following research on S4 in jax☆16Jun 15, 2022Updated 3 years ago
- An open, end-to-end implementation of TabPFN-like foundation models, covering synthetic priors/data, training, and evaluation on TabArena…☆26Jan 5, 2026Updated last month
- Granatier is a clone of the classic Bomberman game☆15Feb 5, 2026Updated last week
- Formalisation of the Kelley-Meka bound on Roth numbers☆21Feb 10, 2026Updated last week
- Plain-text declaration export for Lean 4☆24Feb 6, 2026Updated last week
- World Clock Tile and App for Wear OS☆15Dec 28, 2023Updated 2 years ago
- Drift-Resilient TabPFN is a method using In-Context Learning via a Prior-Data Fitted Network, to address temporal distribution shifts in …☆26May 17, 2025Updated 9 months ago
- Developing hybrid deep learning models by integrating Neural networks with (s,e,t)GARCH models to predict volatility in the Indian Commod…☆19May 21, 2021Updated 4 years ago
- Cheat sheet for the "Deep Learning" course at ETH Zürich☆20Nov 13, 2019Updated 6 years ago
- ComfyUI node to run grounding models☆33Updated this week
- ☆18Apr 24, 2024Updated last year
- ☆15Jul 18, 2019Updated 6 years ago
- Code for forum to review courses at ETH☆18May 11, 2025Updated 9 months ago
- ☆31Jun 14, 2023Updated 2 years ago
- ☆18Jun 9, 2023Updated 2 years ago
- ☆15Jun 8, 2019Updated 6 years ago
- Materials for SAL (Security & Applied Logic) Master's Degree, Faculty of Mathematics & Informatics, Univesity of Bucharest (2021 - 2023).…☆23Nov 1, 2024Updated last year
- TuneTables is a tabular classifier that implements prompt tuning for frozen prior-fitted networks.☆23Mar 31, 2025Updated 10 months ago
- Use Google Sheets as a storage device!☆16Apr 27, 2019Updated 6 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆32Jan 26, 2026Updated 3 weeks ago
- A collection of scripts to aid in reverse engineering and exploit development.☆24Oct 3, 2021Updated 4 years ago
- MambaTab: A Plug-and-Play Model for Learning Tabular Data☆31Jun 15, 2025Updated 8 months ago
- DiceCTF 2021 challenge archive☆22Apr 13, 2021Updated 4 years ago
- The Slate Interactive Theorem Prover☆23Jan 9, 2023Updated 3 years ago
- a skribbl.io helper script☆20Jan 17, 2019Updated 7 years ago
- Challenges for INShAck 2018☆25May 11, 2019Updated 6 years ago
- [ETH Zurich] My projects for the module "Advanced Machine Learning" at ETH Zürich (Swiss Federal Institute of Technology in Zurich) durin…☆22Nov 22, 2020Updated 5 years ago
- Optimised Extended LSTM for time-series forecasting☆39Nov 16, 2024Updated last year
- Type Checking in Lean 4☆34Nov 16, 2025Updated 3 months ago
- Chromoscope lets you explore our Galaxy (the Milky Way) and the distant Universe in a range of wavelengths from X-rays to the longest rad…☆42Nov 13, 2023Updated 2 years ago
- factor return calculation, mean-variance / Black&Litterman portfolio optimization, risk decomposition☆31Feb 10, 2019Updated 7 years ago
- ☆37Oct 14, 2021Updated 4 years ago
- A repository that helps users setup the Steam and/or Epic Games Store versions the various KINGDOM HEARTS games on Windows, Linux, and St…☆47Jan 20, 2026Updated 3 weeks ago