sweng-epfl / public
Software Engineering course materials from EPFL
☆101Updated 7 months ago
Alternatives and similar repositories for public:
Users that are interested in public are comparing it to the libraries listed below
- EPFL Machine Learning Course, Fall 2024☆1,285Updated 2 months ago
- EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).☆165Updated 3 years ago
- Find a free room @ EPFL☆29Updated 4 years ago
- CS-423 Distributed Information Systems☆70Updated 2 months ago
- ☆7Updated 2 years ago
- 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
- Materials for Applied Data Analysis CS-401, Fall 2021☆45Updated 2 years ago
- A tool that notifies you when courses at EPFL are available for registration.☆9Updated 3 years ago
- CS-101 Advanced information, computation, communication I☆47Updated 3 years ago
- Personal TeX notes about EPFL courses. Feel free to improve !☆11Updated 4 years ago
- Summaries and study materials I've written over the course of my studies at ETH Zurich☆87Updated 3 years ago
- Materials for Applied Data Analysis CS-401, Fall 2023☆38Updated last year
- ☆10Updated 9 months ago
- POCS materials for the public☆10Updated 2 months ago
- Proof assistant based on first-order logic and set theory☆36Updated 5 months ago
- EPFL Interactive Coursebook☆5Updated 2 years ago
- Bolts: Stainless Verified Scala Examples☆21Updated last week
- Lab Materials for the EPFL Course on Machine Learning for Behavioral Data CS-421, Spring 2021.☆8Updated 3 years ago
- Guidebook for IC PhD life at EPFL☆15Updated 3 months ago
- My notes for Parallelism and Concurrency class☆16Updated 8 years ago
- EPFL Course - Optimization for Machine Learning - CS-439☆1,233Updated this week
- Exercises for the Big Data lecture at ETH Zurich (Fall 2021)☆137Updated this week
- The Git repository for the mCRL2 toolset.☆97Updated this week
- LL(1) parser combinators in Scala☆58Updated last month
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆148Updated 3 years ago
- Verification framework and tool for higher-order Scala programs☆370Updated last week
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- Support repository for the functional programming lecture (Haskell)☆16Updated last month
- Readings on computational logic, interactive theorem proving and functional programming.☆75Updated this week
- Definition of the Viper intermediate verification language.☆83Updated last week