sweng-epfl / public
Software Engineering course materials from EPFL
☆99Updated 5 months ago
Alternatives and similar repositories for public:
Users that are interested in public are comparing it to the libraries listed below
- Find a free room @ EPFL☆29Updated 4 years ago
- EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).☆165Updated 3 years ago
- EPFL Machine Learning Course, Fall 2024☆1,279Updated 3 weeks ago
- Materials for Applied Data Analysis CS-401, Fall 2024☆49Updated 3 weeks ago
- A tool that notifies you when courses at EPFL are available for registration.☆9Updated 3 years ago
- Materials for Applied Data Analysis CS-401, Fall 2021☆45Updated 2 years ago
- Materials for Applied Data Analysis CS-401, Fall 2023☆39Updated last year
- CS-101 Advanced information, computation, communication I☆47Updated 3 years ago
- My notes for Parallelism and Concurrency class☆16Updated 8 years ago
- ☆9Updated 8 months ago
- Summaries and study materials I've written over the course of my studies at ETH Zurich☆86Updated 3 years ago
- Verification framework and tool for higher-order Scala programs☆366Updated 3 weeks ago
- EPFL Course - Optimization for Machine Learning - CS-439☆1,212Updated this week
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆145Updated 3 years ago
- Bolts: Stainless Verified Scala Examples☆20Updated 2 weeks ago
- Materials for the LauzHack Days workshop "Intro to Docker"☆12Updated 11 months ago
- Exercises for the Big Data lecture at ETH Zurich (Fall 2021)☆133Updated this week
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆51Updated 4 months ago
- The skeleton of the tex files used for writing my PhD thesis.☆15Updated 3 years ago
- This repo has some usefull links to websites for topics, please fork add and generate a pull-request to join the party☆68Updated 11 months ago
- Solver for higher-order functional programs, used by Stainless☆89Updated 2 weeks ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- The Leon system for verification, synthesis, repair☆162Updated 11 months ago
- Collection of LaTeX resources and examples.☆539Updated 2 years ago
- LauzHack Deep Learning Bootcamp☆41Updated this week
- Proof assistant based on first-order logic and set theory☆35Updated 4 months ago
- The TLA⁺ Proof Manager☆72Updated this week
- A One Page Two Column Resume Latex Template☆89Updated 5 months ago
- The CafeSat SMT solver for Scala☆48Updated 3 years ago
- Cleaner and Formatter for BibTeX files☆915Updated 2 months ago