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
  ☆104Updated last week
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆16Updated 5 years ago
• Maeeen / shs-notifier
  A tool that notifies you when courses at EPFL are available for registration.
  ☆10Updated 3 years ago
• HexHive / thesis_template
  Template for EPFL (BSc, MSc, or doctoral) theses and semester projects
  ☆132Updated 5 months ago
• zifeo / EPFL
  EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).
  ☆167Updated 3 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.
  ☆15Updated 9 months ago
• LauzHack / LauzHack.github.io
  Website for LauzHack, EPFL's largest hackathon.
  ☆10Updated this week
• MaximeZmt / SDP_2022-Vibester
  ☆7Updated 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…
  ☆88Updated 2 weeks ago
• LSIR / AICC-I
  CS-101 Advanced information, computation, communication I
  ☆47Updated 3 years ago
• MaximeKjaer / kjaer.io
  Code and text for my blog
  ☆12Updated 3 years ago
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 7 years ago
• CourseAdvisor / courseadvisor
  Review and rate EPFL courses
  ☆15Updated 8 years ago
• mbovel / presentation-template
  ☆10Updated last year
• dedis / columbus-united
  📦➿📦➿📦 Intuitive and insightful blockchain explorer 🔎
  ☆18Updated 2 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆59Updated 4 months ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆163Updated last year
• swent-epfl / public
  Software Enterprise course material from EPFL
  ☆7Updated 6 months ago
• H3LP3RS / HELP
  An android application that notifies and guides qualified users to provide medical assistance in the area.
  ☆10Updated 3 years ago
• spring-epfl / CS-523-public
  ☆21Updated 2 months ago
• prologin / camisole
  ☆70Updated last year
• com-480-data-visualization / com-480-project-statiswiss
  ☆9Updated last year
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆22Updated 3 weeks ago
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆38Updated 8 months ago
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆91Updated last week
• ponsfrilus / EPFLegram
  A Telegram Bot for EPFL stuff
  ☆11Updated 9 years ago
• evenfurther / AusweisBot
  Telegram bot to generate self-authorizations for moving around during covid-19 pandemic in France
  ☆16Updated 2 weeks ago
• codeofmochi / lauzhack-docker-workshop
  Materials for the LauzHack Days workshop "Intro to Docker"
  ☆11Updated last year
• EvilBabyDemon / CourseReviewETH
  Code for forum to review courses at ETH
  ☆19Updated last month