sweng-epfl / publicLinks
Software Engineering course materials from EPFL
☆108Updated last week
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 2025☆1,973Updated last week
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆153Updated 3 years ago
- Materials for Applied Data Analysis CS-401, Fall 2024☆50Updated 9 months ago
- Materials for Applied Data Analysis CS-401, Fall 2023☆39Updated last year
- Summaries and study materials I've written over the course of my studies at ETH Zurich☆91Updated 4 years ago
- Materials for Applied Data Analysis CS-401, Fall 2021☆45Updated 2 years ago
- Exercises for the Big Data lecture at ETH Zurich (Fall 2025)☆164Updated this week
- Lecture notes and cheatsheets for Master's in Computer Science at ETH Zurich☆629Updated 3 years ago
- EPFL Course - Optimization for Machine Learning - CS-439☆1,358Updated 4 months ago
- CS-101 Advanced information, computation, communication I☆46Updated 3 years ago
- ☆16Updated 5 years ago
- Multi-language Analyze text in 26 Cantonal Swiss German, Italian, German, Chinese (simplified), French, Italian. pply natural language un…☆251Updated 2 years ago
- Website for LauzHack, EPFL's largest hackathon.☆11Updated this week
- A selection of textbook-like course notes for the Imperial College Computing modules.☆89Updated last year
- Support repository for the functional programming lecture (Haskell)☆17Updated 3 months ago
- Here we collect worldwide courses teaching formal methods☆42Updated 6 years ago
- summaries of courses taken at ETH☆30Updated 4 years ago
- ☆27Updated 8 years ago
- Guidebook for IC PhD life at EPFL☆18Updated last month
- Multi platform setup for Coq, Coq libraries and tools☆215Updated 2 weeks ago
- List of resources for learning Category Theory☆270Updated 11 months ago
- Online textbook for CS 161: Computer Security at UC Berkeley.☆86Updated 2 months ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆415Updated 2 years ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- The WIP book for CPSC 411☆66Updated 4 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆314Updated 11 months ago
- Visual Studio Code extension for Coq☆415Updated 2 weeks ago
- Materials for Applied Data Analysis CS-401, Fall 2022☆25Updated 2 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆76Updated last month
- Mathematical Components☆656Updated last week