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
• LauzHack / LauzHack.github.io
  Website for LauzHack, EPFL's largest hackathon.
  ☆10Updated 2 weeks ago
• dedis / columbus-united
  📦➿📦➿📦 Intuitive and insightful blockchain explorer 🔎
  ☆18Updated 2 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.
  ☆14Updated 6 months ago
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 7 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…
  ☆73Updated 2 weeks ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆21Updated last week
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated last month
• louismerlin / secretsanta
  A js script for Secret Santa.
  ☆8Updated 4 years ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• Battleman / NotesEPFLCloux
  Personal TeX notes about EPFL courses. Feel free to improve !
  ☆11Updated 4 years ago
• Guiraud / incluzor-e
  récriture inclusive des textes en ligne
  ☆15Updated 2 years ago
• soulaklabs / bitoduc.fr
  A website about french words for computer concepts.
  ☆283Updated 8 months ago
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆36Updated 5 months ago
• ponsfrilus / EPFLegram
  A Telegram Bot for EPFL stuff
  ☆11Updated 8 years ago
• dedis / popstellar
  Proof-of-personhood System
  ☆36Updated 2 months ago
• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated 3 weeks ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• kernoeb / geobtenu
  Tool for GeoGuessr / Geography (flags, countries, pictures, metas)
  ☆11Updated 7 months ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆161Updated last year
• mbovel / presentation-template
  ☆10Updated 9 months ago
• PoslavskySV / rings
  Rings: efficient JVM library for polynomial rings
  ☆74Updated last year
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆89Updated last week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆36Updated this week
• blegat / mathraining
  Site interactif avec théorie, exercices et problèmes
  ☆62Updated this week
• Georg-code / roeschti
  Rust programming, in Swissgerman
  ☆171Updated 7 months ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆452Updated last week