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 this week
• sweng-epfl / public
  Software Engineering course materials from EPFL
  ☆108Updated last week
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 8 years ago
• CourseAdvisor / courseadvisor
  Review and rate EPFL courses
  ☆15Updated 8 years 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.
  ☆16Updated last year
• Maeeen / shs-notifier
  A tool that notifies you when courses at EPFL are available for registration.
  ☆10Updated 3 years ago
• prologin / camisole
  ☆71Updated 2 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 2 months ago
• mbovel / presentation-template
  ☆10Updated last month
• schildbach / public-transport-enabler
  Unleash public transport data in your Java project.
  ☆422Updated this week
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆95Updated 5 months ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆387Updated last week
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆227Updated 6 months ago
• OlivierBlanvillain / regsafe
  ☆19Updated 3 years ago
• soulaklabs / bitoduc.fr
  A website about french words for computer concepts.
  ☆293Updated last year
• intracer / scalawiki
  scalawiki is a MediaWiki client in Scala
  ☆31Updated last week
• ponsfrilus / EPFLegram
  A Telegram Bot for EPFL stuff
  ☆11Updated 9 years ago
• non / antimirov
  algebraic manipulation of regular expressions
  ☆195Updated 4 years ago
• SwissCovid / swisscovid-app-android
  SwissCovid is the official contact tracing app of Switzerland.
  ☆219Updated 3 years ago
• st-tu-dresden / inloop
  [Deprecated] A simple web application to manage online programming assignments
  ☆28Updated 2 years ago
• democratech / LaPrimaire
  The main website of LaPrimaire
  ☆25Updated 5 years ago
• gi-ev / LNI
  A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)
  ☆42Updated 2 weeks ago
• fsinf / userscripts
  (Grease|Violent)monkey Userscripts
  ☆32Updated last month
• orbiting / post-evoting
  Starthilfe für das E-Voting-System der Schweizerischen Post
  ☆54Updated 6 years ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆26Updated this week
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆46Updated 2 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆50Updated 4 years ago
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆155Updated 4 years 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