louismerlin / repflLinks
Find a free room @ EPFL
☆30Updated 8 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.☆11Updated last month
- Software Engineering course materials from EPFL☆109Updated last month
- Review and rate EPFL courses☆15Updated 9 years ago
- Sane interface to moodle☆14Updated 8 years ago
- LL(1) parser combinators in Scala☆61Updated 5 months ago
- Backend of Occupancy FLEP, an interface of edu.epfl.ch useful for finding free rooms or schedule by studyplan, at EPFL.☆17Updated last year
- EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).☆178Updated 4 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.☆11Updated 3 years ago
- ☆17Updated 6 years ago
- A website about french words for computer concepts.☆293Updated last year
- algebraic expressions parsing and evaluation through a property system based algorithm☆15Updated 6 years ago
- The CafeSat SMT solver for Scala☆50Updated 4 years ago
- Bolts: Stainless Verified Scala Examples☆29Updated last week
- ☆10Updated 4 months ago
- ☆70Updated 2 years ago
- A LaTeX Typesetting Game☆261Updated 10 months ago
- Scala library for parsing and printing the SMT-LIB format☆46Updated 3 years ago
- Outil de création d'éventail généalogique. En cours de réécriture : github.com/arbre-app☆11Updated 4 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Updated 2 years ago
- The Leon system for verification, synthesis, repair☆168Updated last year
- A Scala Wavelet Library☆20Updated 9 years ago
- (Abstract) Abstract Machine Experiments using Scala☆36Updated 5 years ago
- A tool for analyzing and transforming context-free grammars.☆232Updated 3 weeks ago
- Proof assistant based on first-order logic and set theory☆64Updated 2 weeks ago
- Projet de loi pour une République numérique. Première loi co-écrite avec les citoyens. Ouverture des données publiques, protection des ci…☆188Updated 9 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- Compare various implementations of the connections scan algorithm☆153Updated 6 years ago
- algebraic manipulation of regular expressions☆196Updated 4 years ago
- A python wrapper around the Rest API of the Swiss Postcard creator☆53Updated 2 years ago