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.
  ☆10Updated 2 weeks ago
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 7 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆60Updated 6 months ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆16Updated 5 years ago
• CourseAdvisor / courseadvisor
  Review and rate EPFL courses
  ☆15Updated 8 years ago
• non / antimirov
  algebraic manipulation of regular expressions
  ☆194Updated 3 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• mbovel / presentation-template
  ☆10Updated last year
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆164Updated last year
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆26Updated last week
• bdmendes / smockito
  Tiny Scala facade for Mockito.
  ☆26Updated last week
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆45Updated 2 years ago
• Maeeen / shs-notifier
  A tool that notifies you when courses at EPFL are available for registration.
  ☆10Updated 3 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆384Updated 2 months ago
• OlivierBlanvillain / regsafe
  ☆19Updated 3 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆126Updated 2 years ago
• entangled-xyz / scotty
  Quantum computing framework for Java and Scala developers.
  ☆24Updated 5 years ago
• intracer / scalawiki
  scalawiki is a MediaWiki client in Scala
  ☆31Updated last week
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆155Updated 4 years ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆199Updated 5 years ago
• codacy / codacy-scalameta
  Codacy tool for Scalameta
  ☆34Updated 2 months ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 7 months ago
• ComputeNode / cyfra
  Multi-platform GPGPU computations with Scala, seamlessly 🚀
  ☆101Updated this week
• sbt / setup-sbt
  setup-sbt installs the official sbt runner
  ☆32Updated last week
• SamirTalwar / FizzBuzz
  Reimplementing lambda calculus in Java 8 for fun and profit.
  ☆17Updated 10 years ago
• dotty-staging / dotty
  Research platform for new language concepts and compiler technologies for Scala.
  ☆85Updated this week
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆224Updated 4 months ago