louismerlin / repflLinks
Find a free room @ EPFL
☆30Updated 2 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 last week
- Sane interface to moodle☆14Updated 7 years ago
- Software Engineering course materials from EPFL☆105Updated last week
- Review and rate EPFL courses☆15Updated 8 years ago
- A tool that notifies you when courses at EPFL are available for registration.☆10Updated 3 years ago
- LL(1) parser combinators in Scala☆59Updated 5 months ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- Bolts: Stainless Verified Scala Examples☆23Updated last month
- The CafeSat SMT solver for Scala☆48Updated 3 years ago
- ☆19Updated 3 years ago
- EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).☆171Updated 3 years ago
- Small implementation of a neural network in Python☆8Updated 7 years ago
- Open Letter to University Leaders☆19Updated 5 years ago
- The Leon system for verification, synthesis, repair☆164Updated last year
- (Replaced) Doing Camunda with Scala.☆14Updated 3 months ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆259Updated 2 months ago
- Internal use☆12Updated 4 years ago
- SwissCovid is the official contact tracing app of Switzerland.☆219Updated 3 years ago
- ☆10Updated last year
- setup-sbt installs the official sbt runner☆32Updated last month
- 📧 E-Voting platform based on the Dela blockchain☆20Updated 3 weeks ago
- Verification framework and tool for higher-order Scala programs☆381Updated last month
- algebraic manipulation of regular expressions☆194Updated 3 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆125Updated 2 years ago
- Compositional music composition using Scala, SuperCollider, and Web Audio.☆78Updated 8 years ago
- recursion schemes for cats; to iterate is human, to recurse, divine☆392Updated this week
- scalawiki is a MediaWiki client in Scala☆31Updated last month
- REScala - distributed and reactive programming embedded in OO and FP programs.☆94Updated last month
- Scala Open Source Sprees: join us and learn how to contribute to open source!☆112Updated 7 months ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago