louismerlin / repflLinks
Find a free room @ EPFL
☆30Updated 5 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 week
- Software Engineering course materials from EPFL☆108Updated last month
- A tool that notifies you when courses at EPFL are available for registration.☆10Updated 3 years ago
- ☆16Updated 5 years ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- Review and rate EPFL courses☆15Updated 8 years ago
- LL(1) parser combinators in Scala☆61Updated 2 months ago
- Backend of Occupancy FLEP, an interface of edu.epfl.ch useful for finding free rooms or schedule by studyplan, at EPFL.☆16Updated last year
- Sane interface to moodle☆14Updated 8 years ago
- Bolts: Stainless Verified Scala Examples☆26Updated last week
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆55Updated last year
- The Leon system for verification, synthesis, repair☆166Updated last year
- Improved Lecture Notes in Computer Science (LNCS) template☆266Updated last week
- ☆19Updated 3 years ago
- A website about french words for computer concepts.☆293Updated last year
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- Math-themed single-serving site☆46Updated 4 years ago
- ☆10Updated 3 weeks ago
- The CafeSat SMT solver for Scala☆50Updated 4 years ago
- Verification framework and tool for higher-order Scala programs☆386Updated last month
- Convert LaTeX markup to Unicode (in Scala and Java)☆38Updated 3 years ago
- Scala library for parsing and printing the SMT-LIB format☆46Updated 2 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆126Updated 2 years ago
- A tool for analyzing and transforming context-free grammars.☆226Updated 6 months ago
- Indexation des fichiers de décès publiés par l'INSEE☆21Updated 2 years ago
- Solver for higher-order functional programs, used by Stainless☆92Updated last month
- Service de génération de l'attestation de déplacement dérogatoire à présenter dans le cadre du couvre-feu lié au virus covid-19☆60Updated 4 years ago
- A LaTeX Typesetting Game☆258Updated 7 months ago
- Proof assistant based on first-order logic and set theory☆64Updated this week
- Rings: efficient JVM library for polynomial rings☆76Updated 2 years ago