sweng-epfl / publicView external linksLinks
Software Engineering course materials from EPFL
☆109Dec 26, 2025Updated last month
Alternatives and similar repositories for public
Users that are interested in public are comparing it to the libraries listed below
Sorting:
- POCS materials for the public☆26Dec 17, 2025Updated last month
- A smattering of header files dumped using classdump-dyld☆13Apr 28, 2021Updated 4 years ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 3 years ago
- A UNIX/Linux like operating system based on K.C. Wang's MTX☆10Mar 23, 2016Updated 9 years ago
- A repository for the CS-306 Software Development Project class at EPFL.☆13Jun 9, 2022Updated 3 years ago
- Main repo for AMT, 2020 edition☆10Dec 2, 2020Updated 5 years ago
- Bolts: Stainless Verified Scala Examples☆29Feb 5, 2026Updated last week
- Source Code for 'Practical System Programming with C' by Sri Manikanta Palakollu☆25Sep 17, 2021Updated 4 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31May 10, 2023Updated 2 years ago
- TLA+ Foundation☆32Nov 24, 2025Updated 2 months ago
- Dependent Object Types (DOT), bottom up☆89Jan 9, 2022Updated 4 years ago
- Tina's personal website:)☆10Nov 3, 2020Updated 5 years ago
- ☆13Jul 22, 2022Updated 3 years ago
- Source Code for 'Arduino Applied: Comprehensive Projects for Everyday Electronics' by Neil Cameron☆13Aug 11, 2020Updated 5 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆24Jan 11, 2026Updated last month
- Website for LauzHack, EPFL's largest hackathon.☆11Dec 23, 2025Updated last month
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- Yet another AIDA64 Sensor Panel☆10Aug 21, 2021Updated 4 years ago
- A Datalog execution engine for Scala☆15Sep 1, 2025Updated 5 months ago
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- Supercharged USB bootloader for various PIC24/dsPIC33 MCUs.☆11Jul 8, 2021Updated 4 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- Xbox Adaptive Controller Joystick Splitter☆12Nov 30, 2018Updated 7 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- Embedded async HTTP 1.1 server based on a source code from https://github.com/splunk/pion☆13Jan 20, 2021Updated 5 years ago
- PyCharm Test Project created from Django default tutorial☆13Sep 23, 2015Updated 10 years ago
- DX Hub: ignite your Backstage Developer Portal☆12Jul 6, 2024Updated last year
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- Computer Systems Lab☆11Oct 16, 2025Updated 3 months ago
- Arche is a Greek word with primary senses "beginning". The repository defines a framework for technology mapping of emerging technologies…☆11May 15, 2020Updated 5 years ago
- Source Code for 'PHP 8 Solutions' by David Powers☆13Oct 26, 2021Updated 4 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- ☆13Sep 5, 2024Updated last year
- Interaction Timeline☆12Feb 2, 2026Updated last week
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆10Jan 18, 2024Updated 2 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago