louismerlin / repfl
Find a free room @ EPFL
☆29Updated 4 years ago
Related projects: ⓘ
- Software Engineering course materials from EPFL☆99Updated 3 weeks ago
- EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).☆154Updated 2 years ago
- ☆12Updated this week
- Website for LauzHack, EPFL's largest hackathon.☆10Updated this week
- ☆17Updated 4 years ago
- A tool that notifies you when courses at EPFL are available for registration.☆7Updated 2 years ago
- Template for EPFL (BSc, MSc, or doctoral) theses and semester projects☆123Updated 10 months ago
- ☆7Updated 2 years ago
- CS-101 Advanced information, computation, communication I☆47Updated 2 years ago
- CS-423 Distributed Information Systems☆69Updated last week
- Main repo for AMT, 2020 edition☆10Updated 3 years ago
- EPFL Machine Learning Course, Fall 2024☆1,237Updated this week
- Bolts: Stainless Verified Scala Examples☆16Updated last week
- Interactive Theorem Proving based on Inox☆10Updated 5 years ago
- Materials for the LauzHack Days workshop "Intro to Docker"☆12Updated 6 months ago
- Typed notes I took during university lectures, containing computer science and physics classes from EPFL. Some of them are in French, but…☆51Updated 2 weeks ago
- A repository for the CS-306 Software Development Project class at EPFL.☆13Updated 2 years ago
- LL(1) parser combinators in Scala☆56Updated last year
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Updated 2 years ago
- Personal TeX notes about EPFL courses. Feel free to improve !☆11Updated 4 years ago
- Materials for Applied Data Analysis CS-401, Fall 2024☆34Updated this week
- ☆19Updated this week
- Main repository for RES 2020 @ HEIG-VD☆12Updated 4 years ago
- Materials for Applied Data Analysis CS-401, Fall 2023☆38Updated 7 months ago
- API documentation for the integration of primary systems with the machine to machine API☆73Updated last year
- The CafeSat SMT solver for Scala☆48Updated 2 years ago
- Materials for Applied Data Analysis CS-401, Fall 2021☆46Updated last year
- ☆15Updated this week
- ☆40Updated this week
- Verification framework and tool for higher-order Scala programs☆349Updated this week