Software Engineering course materials from EPFL
☆112Dec 26, 2025Updated 3 months ago
Alternatives and similar repositories for public
Users that are interested in public are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool that notifies you when courses at EPFL are available for registration.☆10Feb 16, 2022Updated 4 years ago
- Find a free room @ EPFL☆30May 23, 2025Updated 10 months ago
- POCS materials for the public☆27Dec 17, 2025Updated 4 months ago
- ☆14Apr 8, 2026Updated last week
- LauzHack Deep Learning Bootcamp☆125Jul 19, 2025Updated 9 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Fair Fun Fast Ledger in the browser - starting with the network using WebRTC data.☆19Apr 7, 2026Updated last week
- sequence tagging with spaCy and crfsuite☆20Mar 18, 2023Updated 3 years ago
- Builds and installs a Capacitor app in WSL and launches it on an Android emulator running in Windows☆16May 14, 2022Updated 3 years ago
- Bolts: Stainless Verified Scala Examples☆29Apr 13, 2026Updated last week
- A smattering of header files dumped using classdump-dyld☆14Apr 28, 2021Updated 4 years ago
- A Javascript client for ServiceNOW REST API.☆14Feb 17, 2019Updated 7 years ago
- Advanced fold methods for Kotlin☆12Apr 1, 2026Updated 2 weeks ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 3 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆32May 10, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A weak supervision framework for (partial) labeling functions☆16Jul 15, 2024Updated last year
- Step-wise procedure to translate a problem statement into class diagram☆14Sep 24, 2018Updated 7 years ago
- 🚀 A quick start plain HTML + Tailwind + Postcss project template.☆10Feb 6, 2024Updated 2 years ago
- LL(1) parser combinators in Scala☆61Sep 2, 2025Updated 7 months ago
- CargoCoin is designed to be a smart contract, crypto currency platform, decentralising global trade and transport. The platform target is…☆13Aug 8, 2018Updated 7 years ago
- Source Code for 'Arduino Applied: Comprehensive Projects for Everyday Electronics' by Neil Cameron☆13Aug 11, 2020Updated 5 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated 11 months ago
- PyCharm Test Project created from Django default tutorial☆13Sep 23, 2015Updated 10 years ago
- An unofficial copy of MIT's Alloy Analyzer model checking tool.☆20May 30, 2013Updated 12 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A light express.js like library written in Java (in one file)☆15Dec 16, 2025Updated 4 months ago
- Argument Harvester - a simple command line parser☆14May 13, 2022Updated 3 years ago
- Kubernetes Tutorial for the PS2 group meetings at UC Berkeley☆16Mar 23, 2023Updated 3 years ago
- Coverage and timing tool for font-lock keywords☆18Jan 4, 2025Updated last year
- Interaction Timeline☆12Mar 12, 2026Updated last month
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- Source Code for 'Practical System Programming with C' by Sri Manikanta Palakollu☆25Sep 17, 2021Updated 4 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆23Apr 12, 2026Updated last week
- ☆10Apr 7, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a messagepack serialiser☆15Jul 8, 2020Updated 5 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆19Aug 5, 2020Updated 5 years ago
- Material for the lecture Responsible ML☆26Jan 1, 2026Updated 3 months ago
- WIP: Chronofold data structure in Purescript☆10Jun 24, 2021Updated 4 years 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
- dotnet core implementation of the Uno workshop - Moved to Codeberg☆20Apr 5, 2025Updated last year
- Nim and awk based bot for Wikipedia☆12Feb 28, 2020Updated 6 years ago