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
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 8 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆61Updated 4 months ago
• CourseAdvisor / courseadvisor
  Review and rate EPFL courses
  ☆15Updated 9 years ago
• mbovel / presentation-template
  ☆10Updated 3 months ago
• antoninfaure / occupancy-epfl
  Backend of Occupancy FLEP, an interface of edu.epfl.ch useful for finding free rooms or schedule by studyplan, at EPFL.
  ☆17Updated last year
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• intracer / scalawiki
  scalawiki is a MediaWiki client in Scala
  ☆31Updated last month
• 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
• pme123 / camundala
  (Replaced) Doing Camunda with Scala.
  ☆13Updated 8 months ago
• Iltotore / iron
  Strong type constraints for Scala
  ☆538Updated 2 weeks ago
• sbt / setup-sbt
  setup-sbt installs the official sbt runner
  ☆32Updated this week
• LEGO / woof
  A pure Scala 3 logging library with no reflection
  ☆435Updated 3 months ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆391Updated last week
• abertschi / postcards
  A CLI for the Swiss Postcard Creator
  ☆36Updated 2 years ago
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆17Updated 6 years ago
• trainline-eu / csa-challenge
  Compare various implementations of the connections scan algorithm
  ☆153Updated 6 years ago
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆96Updated 7 months ago
• soulaklabs / bitoduc.fr
  A website about french words for computer concepts.
  ☆293Updated last year
• scalacenter / sprees
  Scala Open Source Sprees: join us and learn how to contribute to open source!
  ☆113Updated last year
• tech4germany / bam-inclusify
  INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.
  ☆12Updated 3 years ago
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆155Updated 4 years ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆262Updated 8 months ago
• higherkindness / droste
  recursion schemes for cats; to iterate is human, to recurse, divine
  ☆395Updated 4 months ago
• tpolecat / atto
  friendly little parsers
  ☆358Updated last year
• scalacenter / scastie
  An interactive playground for Scala
  ☆438Updated last week
• non / antimirov
  algebraic manipulation of regular expressions
  ☆195Updated 4 years ago
• creativescala / doodle
  Compositional vector graphics in Scala / Scala.JS
  ☆345Updated this week