sweng-epfl / publicLinks
Software Engineering course materials from EPFL
☆109Updated last month
Alternatives and similar repositories for public
Users that are interested in public are comparing it to the libraries listed below
Sorting:
- EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).☆178Updated 4 years ago
- EPFL Machine Learning Course, Fall 2025☆2,007Updated last month
- CS-423 Distributed Information Systems☆70Updated last year
- Template for EPFL (BSc, MSc, or doctoral) theses and semester projects☆137Updated last year
- Find a free room @ EPFL☆30Updated 8 months ago
- Materials for Applied Data Analysis CS-401, Fall 2023☆39Updated last year
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆161Updated 3 years ago
- Exercises for the Big Data lecture at ETH Zurich (Fall 2025)☆167Updated last month
- Materials for Applied Data Analysis CS-401, Fall 2021☆45Updated 3 years ago
- Lecture notes and cheatsheets for Master's in Computer Science at ETH Zurich☆634Updated 3 years ago
- EPFL Course - Optimization for Machine Learning - CS-439☆1,372Updated 6 months ago
- Proof assistant based on first-order logic and set theory☆64Updated this week
- Notes, material and various stuff collected while attended TUM Master's Degree☆489Updated 3 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31Updated 2 years ago
- Summary of selected courses at ETH Zurich☆31Updated 2 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆51Updated 4 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Updated 2 years ago
- Website for LauzHack, EPFL's largest hackathon.☆11Updated last month
- ☆126Updated 8 years ago
- ☆13Updated last year
- Verification framework and tool for higher-order Scala programs☆391Updated this week
- Programs and Proofs -- Spring 2025 -- IITM☆20Updated 8 months ago
- The TLA⁺ Proof Manager☆106Updated last week
- ☆17Updated 6 years ago
- Code / solutions for Mathematics for Machine Learning (MML Book)☆1,205Updated 4 months ago
- Bolts: Stainless Verified Scala Examples☆28Updated this week
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆79Updated last week
- Stanford course notes in math / CS☆20Updated 6 years ago
- How to use boost, CGAL, and ideas for solving the Algolab lecture exercises☆21Updated 2 years ago