Maeeen / shs-notifier
A tool that notifies you when courses at EPFL are available for registration.
☆9Updated 3 years ago
Alternatives and similar repositories for shs-notifier:
Users that are interested in shs-notifier are comparing it to the libraries listed below
- Find a free room @ EPFL☆29Updated 4 years ago
- Software Engineering course materials from EPFL☆101Updated 7 months ago
- CS-101 Advanced information, computation, communication I☆47Updated 3 years ago
- Typed notes I took during university lectures, containing computer science, maths and physics classes from EPFL. Some of them are in Fren…☆73Updated 2 weeks ago
- ☆10Updated 9 months ago
- A LaTeX Typesetting Game☆245Updated 2 months ago
- eth & uzh mensas in zurich☆29Updated last month
- ☆16Updated 5 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆74Updated last year
- Visual Studio Code extension for Coq☆375Updated this week
- Proof assistant based on first-order logic and set theory☆36Updated 5 months ago
- Development of the TUM Campus App for Android devices - for and from students at Technical University of Munich.☆208Updated last year
- A fast and modern parser combinator library for Scala☆193Updated this week
- A python wrapper around the Rest API of the Swiss Postcard creator☆52Updated last year
- Tree Proof Generator☆164Updated last month
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Updated 2 years ago
- Browser extension for VVZ (ETHZ)☆10Updated 3 months ago
- Your source for the most excellent memes.☆11Updated 4 years ago
- HoTTEST Summer School materials☆297Updated last year
- These are Lean translations of Ninety-Nine Haskell Problems (WIP)☆16Updated last month
- The official website of Code@LTH☆17Updated 3 weeks ago
- Site interactif avec théorie, exercices et problèmes☆62Updated this week
- Verification framework and tool for higher-order Scala programs☆370Updated 2 weeks ago
- Learn LaTeX online☆158Updated this week
- The Lean 4 web editor☆87Updated 3 weeks ago
- 💧 Liquid Tensor Experiment☆189Updated last year
- agda-mode on VS Code☆173Updated this week
- Ersti-Info-Broschüre der Fachschaften Informatik, Mathematik und Physik☆16Updated 6 months ago
- Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …☆138Updated last year
- Natural Number Game☆154Updated 2 weeks ago