Alternatives and similar repositories for repfl:

Users that are interested in repfl are comparing it to the libraries listed below

• Maeeen / shs-notifier
  A tool that notifies you when courses at EPFL are available for registration.
  ☆9Updated 3 years ago
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆16Updated 5 years ago
• MaximeZmt / SDP_2022-Vibester
  ☆7Updated 2 years ago
• LauzHack / LauzHack.github.io
  Website for LauzHack, EPFL's largest hackathon.
  ☆10Updated 2 weeks 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.
  ☆13Updated 7 months ago
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 7 years ago
• CourseAdvisor / courseadvisor
  Review and rate EPFL courses
  ☆15Updated 8 years ago
• JoachimFavre / UniversityNotes
  Typed notes I took during university lectures, containing computer science, maths and physics classes from EPFL. Some of them are in Fren…
  ☆82Updated last month
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated 2 months ago
• kallinikos / kallinikos.github.io
  Ο Καλλίνικος είναι μία πλατφόρμα εκμάθησης αλγορίθμων για διαγωνισμούς πληροφορικής.
  ☆23Updated 5 years ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆21Updated last month
• soulaklabs / bitoduc.fr
  A website about french words for computer concepts.
  ☆287Updated 8 months ago
• mbovel / presentation-template
  ☆10Updated 10 months ago
• evenfurther / AusweisBot
  Telegram bot to generate self-authorizations for moving around during covid-19 pandemic in France
  ☆16Updated 2 weeks ago
• FlorianCassayre / insee-db
  Indexation des fichiers de décès publiés par l'INSEE
  ☆20Updated last year
• sbt / setup-sbt
  setup-sbt installs the official sbt runner
  ☆25Updated last month
• intracer / scalawiki
  scalawiki is a MediaWiki client in Scala
  ☆31Updated 3 weeks ago
• gaeljw / tapir-play-sample
  Sample project using Play Framework + Tapir
  ☆14Updated last week
• LAB-MI / attestation-deplacement-derogatoire-covid-19
  ☆29Updated 2 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• epfl-lara / smart
  Verification and Generation of Smart Contracts using Stainless and Scala
  ☆35Updated 4 years ago
• sim642 / adventofcode
  Advent of Code solutions of 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023 and 2024 in Scala
  ☆69Updated last month
• Guiraud / incluzor-e
  récriture inclusive des textes en ligne
  ☆15Updated 2 years ago
• nuitdebout / nuitdebout.github.io
  (site v1) see https://github.com/nuitdebout/wordpress
  ☆52Updated 8 years ago
• rgrunbla / TAC-Files
  ☆37Updated 2 years ago
• FlorianCassayre / Arbre-o-matic
  Outil de création d'éventail généalogique. En cours de réécriture : github.com/arbre-app
  ☆10Updated 3 years ago
• openfisca / calculette-impots-m-source-code
  ATTENTION ce dépôt est un miroir
  ☆35Updated 9 years ago
• LaurentClaessens / mazhe
  (almost) Everything I know in math.
  ☆127Updated this week
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago