louismerlin / repflLinks
Find a free room @ EPFL
☆30Updated 4 months ago
Alternatives and similar repositories for repfl
Users that are interested in repfl are comparing it to the libraries listed below
Sorting:
- Website for LauzHack, EPFL's largest hackathon.☆10Updated this week
- Sane interface to moodle☆14Updated 8 years ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- A tool that notifies you when courses at EPFL are available for registration.☆10Updated 3 years ago
- A Telegram Bot for EPFL stuff☆11Updated 9 years ago
- Backend of Occupancy FLEP, an interface of edu.epfl.ch useful for finding free rooms or schedule by studyplan, at EPFL.☆15Updated last year
- LL(1) parser combinators in Scala☆60Updated 3 weeks ago
- Tool for GeoGuessr / Geography (flags, countries, pictures, metas)☆12Updated last year
- A website about french words for computer concepts.☆292Updated last year
- A tool for analyzing and transforming context-free grammars.☆225Updated 4 months ago
- Review and rate EPFL courses☆15Updated 8 years ago
- The Leon system for verification, synthesis, repair☆164Updated last year
- doing the same thing over and over and expecting the same results☆41Updated 4 years ago
- Math-themed single-serving site☆46Updated 4 years ago
- ☆20Updated 3 years ago
- [Deprecated] A simple web application to manage online programming assignments☆28Updated 2 years ago
- Bolts: Stainless Verified Scala Examples☆26Updated this week
- (almost) Everything I know in math.☆128Updated last week
- Improved Lecture Notes in Computer Science (LNCS) template☆266Updated 5 months ago
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Updated 3 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆126Updated 2 years ago
- Convert LaTeX markup to Unicode (in Scala and Java)☆38Updated 3 years ago
- A LaTeX Typesetting Game☆256Updated 5 months ago
- ☆10Updated last year
- Simple static API for some (student) food places in Munich.☆25Updated this week
- Telegram bot to generate self-authorizations for moving around during covid-19 pandemic in France☆17Updated this week
- Dashboard for managing puzzles and tracking status during a puzzle hunt☆32Updated 4 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated last month
- Site interactif avec théorie, exercices et problèmes☆67Updated last week
- Multi-language Analyze text in 26 Cantonal Swiss German, Italian, German, Chinese (simplified), French, Italian. pply natural language un…☆250Updated 2 years ago