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
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 8 years ago
• Maeeen / shs-notifier
  A tool that notifies you when courses at EPFL are available for registration.
  ☆10Updated 3 years ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆61Updated 3 months ago
• CourseAdvisor / courseadvisor
  Review and rate EPFL courses
  ☆15Updated 8 years ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆26Updated this week
• soulaklabs / bitoduc.fr
  A website about french words for computer concepts.
  ☆293Updated last year
• mbovel / presentation-template
  ☆10Updated 2 months ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆50Updated 4 years ago
• OlivierBlanvillain / regsafe
  ☆20Updated 3 years ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆167Updated last year
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆16Updated 5 years ago
• vincenzobaz / Parallelism-and-Concurrency-Notes
  My notes for Parallelism and Concurrency class
  ☆16Updated 9 years ago
• gido / postcardcreator
  A node.js API for the Swiss Post Postcard Creator
  ☆41Updated 7 years ago
• prologin / camisole
  ☆71Updated 2 years ago
• COVID-universities / open-letter
  Open Letter to University Leaders
  ☆19Updated 5 years ago
• pme123 / camundala
  (Replaced) Doing Camunda with Scala.
  ☆13Updated 7 months ago
• non / antimirov
  algebraic manipulation of regular expressions
  ☆195Updated 4 years ago
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆46Updated 2 years ago
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆96Updated 5 months ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆126Updated 2 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• buildo / retro
  One repo to rule them all
  ☆17Updated last month
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆390Updated this week
• UBA-PSI / psi-thesis-guide
  Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables
  ☆55Updated last year
• kallinikos / kallinikos.github.io
  Ο Καλλίνικος είναι μία πλατφόρμα εκμάθησης αλγορίθμων για διαγωνισμούς πληροφορικής.
  ☆22Updated 6 years ago
• betagouv / aides-jeunes
  Un simulateur global des prestations sociales françaises pour les jeunes.
  ☆83Updated this week
• jeroenheijmans / advent-of-code-charts
  Inject charts in your private leaderboard page for Advent of Code
  ☆143Updated last week