A tool that notifies you when courses at EPFL are available for registration.
☆10Feb 16, 2022Updated 4 years ago
Alternatives and similar repositories for shs-notifier
Users that are interested in shs-notifier are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Provides truly zero-cost alternatives to Iterator::step_by for both incrementing and decrementing any type that satisfies RangeBounds<T: …☆13Jan 5, 2022Updated 4 years ago
- Simone, the simple markdown wiki☆24Nov 30, 2016Updated 9 years ago
- LFI3A is a beginner-friendly programming language that blends programming concepts with Moroccan Arabic (Darija) vocabulary. Created by O…☆58Jan 25, 2026Updated 2 months ago
- Gallina to Bedrock2 compilation toolkit☆66Apr 6, 2026Updated last week
- Learn LaTeX online☆172Mar 19, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆68Sep 17, 2024Updated last year
- A typst template for timetables☆109Jan 26, 2026Updated 2 months ago
- archive of my personal website built w gatsby.js☆29Oct 6, 2021Updated 4 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆299Updated this week
- Natural Number Game☆308Mar 16, 2026Updated last month
- YunoHost documentation☆160Apr 10, 2026Updated last week
- My lecture notes for all semesters spent studying CS at EPFL. Enjoy the read and feel free to approach me for corrections.☆154Mar 10, 2021Updated 5 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆543May 28, 2025Updated 10 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆430Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Counterexamples in Type Systems☆413Jun 8, 2023Updated 2 years ago
- 🏺 Self-hosted photo gallery social network. Under development☆231Jan 23, 2022Updated 4 years ago
- A Coq IDE build on top of Proof General's Coq mode☆362Feb 23, 2026Updated last month
- A W.I.P desktop application for a new typesetting language, typst.☆728Apr 11, 2025Updated last year
- Build Accelerated Mobile Page versions of your Jekyll posts☆281Nov 8, 2019Updated 6 years ago
- Fonts and UFO Masters of Inria Serif and Inria Sans Typeface☆403Dec 8, 2021Updated 4 years ago
- GPS tracking tool for OpenStreetMap☆553Mar 8, 2026Updated last month
- A JVM written in Scala☆1,188Jul 23, 2023Updated 2 years ago
- JavaScript LaTeX to HTML5 translator☆866Mar 25, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- portfolio website in nextjs 13☆624Aug 13, 2024Updated last year
- A fast and lightweight native programming language☆1,396Apr 12, 2026Updated last week
- The Scala 3 compiler, also known as Dotty.☆6,227Updated this week
- sbt Native Packager☆1,608Feb 22, 2026Updated last month
- ForgeFed - Federation Protocol for Forge Services☆1,026Mar 26, 2026Updated 3 weeks ago
- Polygonal Surface Reconstruction from Point Clouds (C++ & Python)☆817Apr 16, 2025Updated last year
- Node.js based Wiki☆1,016Aug 9, 2023Updated 2 years ago
- Information gathering tool - OSINT☆1,403Jun 11, 2021Updated 4 years ago
- Free tutorial to learn HTML and CSS☆1,058Mar 4, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A minimal Markdown editor desktop app☆1,077Jan 12, 2026Updated 3 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/ion☆1,636Apr 1, 2026Updated 2 weeks ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,404Apr 10, 2026Updated last week
- Rust bindings for Godot 4☆4,676Updated this week
- A lightweight, easy-to-use, and efficient library for processing and rendering 3D data (C++ & Python)☆1,610Mar 30, 2026Updated 2 weeks ago
- A Jekyll html theme in the vague style of Medium.com built using Google AMP☆1,857Mar 18, 2024Updated 2 years ago
- Yet another JSON library for Scala☆2,533Apr 6, 2026Updated last week