Alternatives and similar repositories for repfl:

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

• sweng-epfl / public
  Software Engineering course materials from EPFL
  ☆99Updated 5 months ago
• Maeeen / shs-notifier
  A tool that notifies you when courses at EPFL are available for registration.
  ☆9Updated 3 years ago
• zifeo / EPFL
  EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).
  ☆165Updated 3 years ago
• LSIR / AICC-I
  CS-101 Advanced information, computation, communication I
  ☆47Updated 3 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…
  ☆64Updated last week
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 7 years ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 5 years ago
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆16Updated 5 years ago
• CourseAdvisor / courseadvisor
  Review and rate EPFL courses
  ☆15Updated 8 years ago
• LauzHack / LauzHack.github.io
  Website for LauzHack, EPFL's largest hackathon.
  ☆10Updated last week
• CrowdNotifier / documents
  ☆75Updated 3 years ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆20Updated 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 5 months ago
• mbovel / presentation-template
  ☆9Updated 8 months ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated last week
• dedis / columbus-united
  📦➿📦➿📦 Intuitive and insightful blockchain explorer 🔎
  ☆19Updated last year
• ponsfrilus / EPFLegram
  A Telegram Bot for EPFL stuff
  ☆11Updated 8 years ago
• MaximeKjaer / kjaer.io
  Code and text for my blog
  ☆12Updated 3 years ago
• Guiraud / incluzor-e
  récriture inclusive des textes en ligne
  ☆15Updated 2 years ago
• TUM-Dev / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆93Updated 2 weeks ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆366Updated 3 weeks ago
• rsalzer / COVID_19_CH
  Covid19-Cases in Switzerland visualized
  ☆38Updated 3 years ago
• intracer / scalawiki
  scalawiki is a MediaWiki client in Scala
  ☆31Updated last month
• UBA-PSI / psi-thesis-guide
  Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables
  ☆51Updated 4 months ago
• vertretungsplanme / substitution-schedule-parser
  Java library for parsing schools' substitution schedules. Supports multiple different systems mainly used in the German-speaking countrie…
  ☆40Updated this week
• eu-digital-green-certificates / dgc-gateway
  Repository for the dgc gateway.
  ☆49Updated 9 months ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆162Updated 11 months ago
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆44Updated 2 years ago
• admin-ch / CovidCertificate-App-Android
  CovidCertificate Apps for Android
  ☆178Updated last year
• raphaelm / snakelet
  Minimal snake game in JavaScript
  ☆18Updated 8 years ago