Backend of Occupancy FLEP, an interface of edu.epfl.ch useful for finding free rooms or schedule by studyplan, at EPFL.
☆19Sep 11, 2024Updated 2 years ago
Alternatives and similar repositories for occupancy-epfl
Users that are interested in occupancy-epfl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- algebraic expressions parsing and evaluation through a property system based algorithm☆15Jan 23, 2020Updated 6 years ago
- ot-coq☆17Sep 5, 2023Updated 3 years ago
- This is a repo for benchmarking Wasmer (compilation & runtime)☆20Aug 4, 2020Updated 6 years ago
- A browser extension that adds code snippets to search results☆13Feb 14, 2021Updated 5 years ago
- WordPress Optimus Plugin☆18Mar 2, 2026Updated 7 months ago
- 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.
- Code and text for my blog☆12Dec 1, 2021Updated 4 years ago
- Invariant Generation as Type Inference with GADTs and Existentials☆18Sep 8, 2026Updated last month
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- mirror of LAME (MP3 Encoder)☆16Feb 6, 2024Updated 2 years ago
- Personal website. There are many like it, but this one is mine.☆11Mar 2, 2023Updated 3 years ago
- Create much doge DIDs☆12May 4, 2023Updated 3 years ago
- My notes for Parallelism and Concurrency class☆17Jul 21, 2016Updated 10 years ago
- 🏡 My second personal website written in Next.js☆20Dec 15, 2024Updated last year
- Researching, Exploring, and Sharing makes a day worthy, make it easier with Orbits.☆12Jul 28, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12May 19, 2021Updated 5 years ago
- The Hacker Zephyr Homepage!☆18May 15, 2024Updated 2 years ago
- Legi Data☆17Oct 22, 2026Updated last week
- ☆23Jul 5, 2022Updated 4 years ago
- 🚀 Website for applying to start a Hack Club!☆24Nov 3, 2025Updated 11 months ago
- A rust-based audio plugin to mix various noise types into your audio signal.☆29Jun 8, 2026Updated 4 months ago
- Récupérez des statistiques sur vos notes et calculez votre moyenne grâce à votre compte EcoleDirecte.☆16Dec 22, 2021Updated 4 years ago
- Example code for my blog post FFT Processing in JUCE☆35Sep 5, 2023Updated 3 years ago
- Easy to use installer for the Realtek ASIO libraries☆38Jul 16, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Random Things Minecraft Mod☆70Oct 25, 2020Updated 6 years ago
- Obliterate that Netflix parental control PIN.☆19Mar 24, 2021Updated 5 years ago
- Kotlin multiplatform implementation of the HCERT/DCC specification☆27Mar 23, 2023Updated 3 years ago
- A versatile foobar2000 (dark) theme with 3 different view modes☆47Jan 9, 2023Updated 3 years ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆71May 19, 2023Updated 3 years ago
- Repository for the Android app core module.☆33Jul 28, 2023Updated 3 years ago
- A convenient way to search for recipes in marmiton.org☆32Jan 3, 2023Updated 3 years ago
- Gather Nuxt components metadata on build time and make them available on production.☆92Updated this week
- 12-band parametric EQ☆62Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Auto insert explicit import from your Nuxt app☆78May 19, 2026Updated 5 months ago
- An Audio Saturation Plugin (VST/AU) made with JUCE☆66Jul 28, 2020Updated 6 years ago
- Verifiable Credentials Use Cases☆54Oct 14, 2026Updated 2 weeks ago
- A Minecraft mod.☆139Jan 19, 2022Updated 4 years ago
- Free EQ audio plugin (VST3, AU) with modulation☆83Jun 6, 2020Updated 6 years ago
- Tape stop audio effect plugin with WebView UI☆86Jul 9, 2026Updated 3 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆94Oct 20, 2026Updated last week