sweng-epfl / public
Software Engineering course materials from EPFL
☆102Updated 8 months ago
Alternatives and similar repositories for public
Users that are interested in public are comparing it to the libraries listed below
Sorting:
- EPFL Machine Learning Course, Fall 2024☆1,291Updated 3 months ago
- Find a free room @ EPFL☆29Updated 4 years ago
- EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).☆168Updated 3 years ago
- A tool that notifies you when courses at EPFL are available for registration.☆9Updated 3 years ago
- ☆16Updated 5 years ago
- CS-101 Advanced information, computation, communication I☆47Updated 3 years 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…☆82Updated 2 weeks ago
- Materials for Applied Data Analysis CS-401, Fall 2023☆38Updated last year
- Bolts: Stainless Verified Scala Examples☆22Updated this week
- Personal TeX notes about EPFL courses. Feel free to improve !☆11Updated 4 years ago
- summaries of courses taken at ETH☆28Updated 3 years ago
- Backend of Occupancy FLEP, an interface of edu.epfl.ch useful for finding free rooms or schedule by studyplan, at EPFL.☆13Updated 8 months ago
- ☆9Updated 11 months ago
- Exercises for the Big Data lecture at ETH Zurich (Fall 2021)☆139Updated this week
- ☆10Updated 10 months ago
- Cloud lab material☆35Updated 2 years ago
- Summaries and study materials I've written over the course of my studies at ETH Zurich☆88Updated 3 years ago
- Verification framework and tool for higher-order Scala programs☆374Updated this week
- Website for LauzHack, EPFL's largest hackathon.☆10Updated last week
- Spelling, grammar and style checking on LaTeX documents☆970Updated last week
- EPFL Course - Optimization for Machine Learning - CS-439☆1,268Updated this week
- LL(1) parser combinators in Scala☆59Updated 2 months ago
- Proof assistant based on first-order logic and set theory☆38Updated 7 months ago
- Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…☆37Updated 4 years ago
- The Leon system for verification, synthesis, repair☆163Updated last year
- A LaTeX template for TUM Bachelor/Master theses.☆460Updated 2 years ago
- Material for TDA283 / DIT300 Compiler Construction☆16Updated this week
- Practical course: Advanced Systems Programming in C/Rust -- SoSe 2023☆24Updated last year
- A selection of textbook-like course notes for the Imperial College Computing modules.☆78Updated last year