Alternatives and similar repositories for repfl

Users that are interested in repfl are comparing it to the libraries listed below

• LauzHack / LauzHack.github.io
  Website for LauzHack, EPFL's largest hackathon.
  ☆11Updated 2 weeks ago
• Maeeen / shs-notifier
  A tool that notifies you when courses at EPFL are available for registration.
  ☆11Updated 3 years ago
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆17Updated 6 years ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 8 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆61Updated 4 months ago
• sweng-epfl / public
  Software Engineering course materials from EPFL
  ☆109Updated 2 weeks ago
• mbovel / presentation-template
  ☆10Updated 3 months ago
• gido / postcardcreator
  A node.js API for the Swiss Post Postcard Creator
  ☆41Updated 7 years ago
• CourseAdvisor / courseadvisor
  Review and rate EPFL courses
  ☆15Updated 9 years ago
• abertschi / postcards
  A CLI for the Swiss Postcard Creator
  ☆36Updated 2 years ago
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆46Updated 3 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆167Updated last year
• intracer / scalawiki
  scalawiki is a MediaWiki client in Scala
  ☆31Updated last week
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 3 years ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆28Updated this week
• COVID-universities / open-letter
  Open Letter to University Leaders
  ☆19Updated 5 years ago
• pme123 / camundala
  (Replaced) Doing Camunda with Scala.
  ☆13Updated 8 months ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆50Updated 4 years ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago
• soulaklabs / bitoduc.fr
  A website about french words for computer concepts.
  ☆293Updated last year
• non / antimirov
  algebraic manipulation of regular expressions
  ☆195Updated 4 years ago
• OlivierBlanvillain / regsafe
  ☆22Updated 3 years ago
• Guiraud / incluzor-e
  récriture inclusive des textes en ligne
  ☆15Updated 3 years ago
• betagouv / aides-jeunes
  Un simulateur global des prestations sociales françaises pour les jeunes.
  ☆83Updated this week
• liqd / aula
  An online platform for political participation in schools in Germany (not in active development)
  ☆27Updated 2 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 7 years ago
• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆89Updated 4 years ago
• tomtung / latex2unicode
  Convert LaTeX markup to Unicode (in Scala and Java)
  ☆41Updated 3 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆127Updated 2 years ago