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 last month
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 8 years ago
• CourseAdvisor / courseadvisor
  Review and rate EPFL courses
  ☆15Updated 9 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆61Updated 5 months ago
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆17Updated 6 years ago
• soulaklabs / bitoduc.fr
  A website about french words for computer concepts.
  ☆293Updated last year
• tech4germany / bam-inclusify
  INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.
  ☆12Updated 3 years ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆29Updated last week
• FlorianCassayre / Arbre-o-matic
  Outil de création d'éventail généalogique. En cours de réécriture : github.com/arbre-app
  ☆11Updated 4 years ago
• mbovel / presentation-template
  ☆10Updated 4 months ago
• COVID-universities / open-letter
  Open Letter to University Leaders
  ☆19Updated 5 years ago
• MaximeKjaer / kjaer.io
  Code and text for my blog
  ☆12Updated 4 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆50Updated 4 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆168Updated last year
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆391Updated 2 weeks ago
• pme123 / camundala
  (Replaced) Doing Camunda with Scala.
  ☆13Updated 9 months ago
• abertschi / postcards
  A CLI for the Swiss Postcard Creator
  ☆36Updated 2 years ago
• Iltotore / iron
  Strong type constraints for Scala
  ☆540Updated this week
• OlivierBlanvillain / regsafe
  ☆22Updated 3 years ago
• prologin / camisole
  ☆70Updated 2 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆232Updated 3 weeks ago
• 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
• trainline-eu / csa-challenge
  Compare various implementations of the connections scan algorithm
  ☆153Updated 6 years ago
• zestedesavoir / zds-site
  Cœur du projet technique de Zeste de Savoir
  ☆276Updated last week
• NotANameServer / Not-a-Hub
  Blog technique de la communauté NaN
  ☆22Updated last year
• blegat / mathraining
  Site interactif avec théorie, exercices et problèmes
  ☆69Updated 3 weeks ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆127Updated 2 years ago
• higherkindness / droste
  recursion schemes for cats; to iterate is human, to recurse, divine
  ☆396Updated 5 months ago
• orbiting / post-evoting
  Starthilfe für das E-Voting-System der Schweizerischen Post
  ☆54Updated 6 years ago