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.
  ☆10Updated this week
• sweng-epfl / public
  Software Engineering course materials from EPFL
  ☆105Updated last month
• 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 10 months ago
• CourseAdvisor / courseadvisor
  Review and rate EPFL courses
  ☆15Updated 8 years ago
• st-tu-dresden / inloop
  [Deprecated] A simple web application to manage online programming assignments
  ☆28Updated last year
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆16Updated 5 years ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆59Updated 4 months ago
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 7 years ago
• gido / postcardcreator
  A node.js API for the Swiss Post Postcard Creator
  ☆40Updated 7 years ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆22Updated 2 weeks ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆379Updated 3 weeks ago
• zifeo / EPFL
  EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).
  ☆170Updated 3 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• prologin / camisole
  ☆70Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆223Updated 2 months ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆124Updated 2 years ago
• mbovel / presentation-template
  ☆10Updated last year
• soulaklabs / bitoduc.fr
  A website about french words for computer concepts.
  ☆289Updated 11 months ago
• non / antimirov
  algebraic manipulation of regular expressions
  ☆194Updated 3 years ago
• DP-3T / dp3t-sdk-backend
  The backend implementation for DP3T
  ☆200Updated 2 years ago
• SwissCovid / swisscovid-app-android
  SwissCovid is the official contact tracing app of Switzerland.
  ☆219Updated 3 years ago
• trainline-eu / csa-challenge
  Compare various implementations of the connections scan algorithm
  ☆152Updated 6 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆163Updated last year
• COVID-universities / open-letter
  Open Letter to University Leaders
  ☆19Updated 5 years ago
• engelsystem / engelsystem
  Shift planning system for chaos events.
  ☆487Updated last month
• vincenzobaz / Parallelism-and-Concurrency-Notes
  My notes for Parallelism and Concurrency class
  ☆16Updated 8 years ago
• e-valuation / EvaP
  a university course evaluation system written in Python using Django
  ☆106Updated this week
• kappelmann / eidi2_repetitorium_tum
  This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical Unive…
  ☆16Updated 6 years ago
• latextemplates / lncs-enhanced
  Improved Lecture Notes in Computer Science (LNCS) template
  ☆265Updated 2 months ago