Maeeen / shs-notifierLinks
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
Sorting:
- Find a free room @ EPFL☆30Updated 2 weeks ago
- Software Engineering course materials from EPFL☆102Updated 9 months ago
- CS-101 Advanced information, computation, communication I☆47Updated 3 years ago
- Présentation des classes préparatoires MP2I et MPI☆49Updated 3 months ago
- Typed notes I took during university lectures, containing computer science, maths and physics classes from EPFL. Some of them are in Fren…☆84Updated last week
- EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).☆168Updated 3 years ago
- Template for EPFL (BSc, MSc, or doctoral) theses and semester projects☆132Updated 4 months ago
- Website for LauzHack, EPFL's largest hackathon.☆10Updated 3 weeks ago
- ☆16Updated 5 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated 2 years ago
- ☆10Updated 11 months ago
- Backend of Occupancy FLEP, an interface of edu.epfl.ch useful for finding free rooms or schedule by studyplan, at EPFL.☆15Updated 8 months ago
- 在 Github Profile 顯示當前 Zerojudge 解題紀錄！☆16Updated 2 years ago
- A fast and modern parser combinator library for Scala☆195Updated last week
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆150Updated 3 years ago
- Summaries/notes for various courses of the MSc Computer Science program at ETH Zürich.☆10Updated 4 months ago
- 臺科併校小幫手 🍡☆13Updated 2 years ago
- A+ Courses is a plugin for IntelliJ IDEA, used in programming courses at Aalto University☆17Updated last week
- Site interactif avec théorie, exercices et problèmes☆62Updated last month
- A python module to get french word definitions☆22Updated 2 years ago
- Domain Specific Language using Manim to create animations for data structures and algorithms☆49Updated 4 years ago
- Browser extension for VVZ (ETHZ)☆10Updated last month
- A formal logic framework that runs in the browser☆291Updated 5 months ago
- Visual Studio Code extension for Coq☆388Updated this week
- Notes for first year Computing at Imperial College London☆50Updated 3 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆128Updated last year
- LL(1) parser combinators in Scala☆59Updated 3 months ago
- 📜 LaTeX Templates for Notes, Reports, CV/Resumes, and Beamers☆156Updated last month
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆439Updated 7 months ago
- Proof assistant based on first-order logic and set theory☆38Updated 7 months ago