Software Engineering course materials from EPFL
☆112Dec 26, 2025Updated 4 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:
- POCS materials for the public☆26Dec 17, 2025Updated 5 months ago
- ☆14May 12, 2026Updated last week
- A smattering of header files dumped using classdump-dyld☆14Apr 28, 2021Updated 5 years ago
- Use AI to instantly summarize websites' terms of service and highlight any concerning elements☆16Apr 5, 2025Updated last year
- Advanced fold methods for Kotlin☆12May 1, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- A UNIX/Linux like operating system based on K.C. Wang's MTX☆10Mar 23, 2016Updated 10 years ago
- Main repository of the Vigor NF verification project.☆49Mar 6, 2021Updated 5 years 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
- Blog project that heavily uses ChatGPT and Cursor. As a back-end enthusiast who’s no fan of CSS, I relied on these AI tools to help shape…☆27Nov 23, 2025Updated 5 months ago
- Tina's personal website:)☆10Nov 3, 2020Updated 5 years ago
- Checks GitHub pull requests for valid and accepted Jira tickets. Used for ICU and CLDR☆11Apr 7, 2025Updated last year
- PyCharm Test Project created from Django default tutorial☆13Sep 23, 2015Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- A light express.js like library written in Java (in one file)☆15Dec 16, 2025Updated 5 months ago
- A library for creating hook-based java agents, without dealing with bytecode☆15Oct 13, 2020Updated 5 years ago
- 用GIS分析土地公、釋迦牟尼、觀音菩薩、玄天上帝、媽祖及王爺／千歲的信仰熱區☆15Jan 6, 2023Updated 3 years ago
- Argument Harvester - a simple command line parser☆14May 13, 2022Updated 4 years ago
- ☆17Updated this week
- source code☆25Aug 22, 2024Updated last year
- Interaction Timeline☆12Apr 30, 2026Updated 3 weeks ago
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 years ago
- A library to parse BLIF (Berkeley Logic Interchange Format) files.☆10Mar 11, 2015Updated 11 years ago
- Inspect `pmap -X` output of a java process, requires Java11, likely not 100% accurate☆16Sep 23, 2021Updated 4 years 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 6 years ago
- Become an expert C++ programmer by solving real-world programming problems☆10Mar 25, 2019Updated 7 years ago
- Nim and awk based bot for Wikipedia☆12Feb 28, 2020Updated 6 years ago
- A snapshot state wrapper for the Jetpack Datastore library.☆13Jun 7, 2023Updated 2 years ago
- ☆16Jan 4, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- This is a Kaggle data mining contest, link: https://www.kaggle.com/c/avazu-ctr-prediction☆11Mar 12, 2015Updated 11 years ago
- Source Code for 'PHP 8 Solutions' by David Powers☆14Oct 26, 2021Updated 4 years ago
- For practicing refactoring, removing duplication, and making code more flexible☆19Feb 20, 2026Updated 3 months ago
- A Bluesky bot to help people find unpaywalled resources.☆13Apr 22, 2024Updated 2 years ago
- Source Code for 'C++20 Quick Syntax Reference' by Mikael Olsson☆14Apr 16, 2021Updated 5 years ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated last year
- IoT Projects with Bluetooth Low Energy, published by Packt☆19Jan 30, 2023Updated 3 years ago