Maeeen / shs-notifierView external linksLinks
A tool that notifies you when courses at EPFL are available for registration.
☆11Feb 16, 2022Updated 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:
- ☆10Oct 7, 2025Updated 4 months ago
- Software Engineering course materials from EPFL☆109Dec 26, 2025Updated last month
- ☆13Updated this week
- LFI3A is a beginner-friendly programming language that blends programming concepts with Moroccan Arabic (Darija) vocabulary. Created by O…☆58Jan 25, 2026Updated 2 weeks ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31May 10, 2023Updated 2 years ago
- Type class derivation for services, not data☆38Feb 10, 2025Updated last year
- Shape-safe TensorFlow in Dotty☆47Jan 6, 2023Updated 3 years ago
- Type-safe Queries☆54Sep 11, 2023Updated 2 years ago
- ☆119Dec 24, 2025Updated last month
- 🏺 Self-hosted photo gallery social network. Under development☆229Jan 23, 2022Updated 4 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆284Sep 15, 2025Updated 4 months ago
- A Coq IDE build on top of Proof General's Coq mode☆359Aug 17, 2025Updated 5 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆538May 28, 2025Updated 8 months ago
- sbt Native Packager☆1,609Jan 13, 2026Updated last month
- A better base for styling form elements with Tailwind CSS.☆1,551Aug 31, 2021Updated 4 years ago
- Yet another JSON library for Scala☆2,531Updated this week
- 🆔 The easy-to-use OpenStreetMap editor in JavaScript.☆3,720Feb 6, 2026Updated last week
- Archivy is a self-hostable knowledge repository that allows you to learn and retain information in your own personal and extensible wiki.☆3,255Jul 25, 2023Updated 2 years ago
- 📚 Community guides for open source creators☆15,208Updated this week
- Easy to use OpenStreetMap editor for Android☆4,472Updated this week
- ZIO — A type-safe, composable library for async and concurrent programming in Scala☆4,341Updated this week
- Community-curated topic and collection pages on GitHub☆4,660Feb 7, 2026Updated last week
- Smarter defaults for colors on the web.☆9,375Jul 20, 2023Updated 2 years ago
- Your favorite language gets closer to bare metal.☆4,633Updated this week
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,351Updated this week
- JSON Web Token implementation in Python☆5,591Updated this week
- Monorepo hosting the proton web clients☆5,246Updated this week
- A Git Style Guide☆5,113Sep 26, 2022Updated 3 years ago
- Color scheme for UI design.☆5,483Dec 10, 2023Updated 2 years ago
- David AI is a free and open-source collection of customizable, production-ready UI components built with Tailwind CSS.☆6,071Jan 8, 2025Updated last year
- Lean 4 programming language and theorem prover☆7,293Updated this week
- 🌙 The minimal & fast library for functional user interfaces☆5,970Feb 29, 2024Updated last year
- A free, online learning platform to make quality education accessible for all.☆6,507Updated this week
- Collaborative office suite, end-to-end encrypted and open-source.☆7,327Updated this week
- Photo Sharing. For Everyone.☆6,881Updated this week
- Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21☆6,313Feb 3, 2023Updated 3 years ago
- Check for outdated, incorrect, and unused dependencies.☆6,644Updated this week
- [DEPRECATED] Mist. Browse and use Ðapps on the Ethereum network.☆7,448Jul 20, 2020Updated 5 years ago
- A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.☆205,713Nov 19, 2024Updated last year