Alternatives and similar repositories for public

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

• louismerlin / repfl
  Find a free room @ EPFL
  ☆30Updated last month
• 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
• Maeeen / shs-notifier
  A tool that notifies you when courses at EPFL are available for registration.
  ☆10Updated 3 years ago
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆16Updated 5 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
• MaximeZmt / SDP_2022-Vibester
  ☆7Updated 3 years ago
• OpenCoreCH / ethz_cs_summaries
  Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science
  ☆150Updated 3 years ago
• spring-epfl / CS-523-public
  ☆21Updated 2 months ago
• mbovel / presentation-template
  ☆10Updated last year
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆38Updated 8 months ago
• codeofmochi / lauzhack-docker-workshop
  Materials for the LauzHack Days workshop "Intro to Docker"
  ☆11Updated last year
• EPIC-guide / epic-guide.github.io
  Guidebook for IC PhD life at EPFL
  ☆17Updated 2 months 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
• RumbleDB / bigdata-exercises
  Exercises for the Big Data lecture at ETH Zurich (Fall 2021)
  ☆140Updated 3 weeks ago
• aliyss / migros-api-wrapper
  Making the api of migros more accessible to the public
  ☆27Updated 2 months ago
• ymerkli / eth-summaries
  Summaries and study materials I've written over the course of my studies at ETH Zurich
  ☆89Updated 3 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated 2 years ago
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆45Updated 2 years ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆28Updated 3 years ago
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆10Updated last year
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆122Updated 4 months ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆80Updated last year
• nyu-acsys / drift
  An abstract-interpretation-based static analysis for inferring refinement types
  ☆16Updated this week
• LauzHack / LauzHack.github.io
  Website for LauzHack, EPFL's largest hackathon.
  ☆10Updated this week
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• jbdoderlein / BetterOCaml
  A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…
  ☆40Updated 3 months ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆59Updated 4 months ago