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:
- POCS materials for the public☆27Dec 17, 2025Updated 3 months ago
- Main repo for AMT, 2020 edition☆10Dec 2, 2020Updated 5 years ago
- Bolts: Stainless Verified Scala Examples☆29Mar 13, 2026Updated 2 weeks ago
- A smattering of header files dumped using classdump-dyld☆13Apr 28, 2021Updated 4 years ago
- Advanced fold methods for Kotlin☆12Updated this week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- TLA+ Foundation☆33Mar 5, 2026Updated 3 weeks ago
- blog.mattbierner.com☆10Jul 4, 2024Updated last year
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 years ago
- A UNIX/Linux like operating system based on K.C. Wang's MTX☆10Mar 23, 2016Updated 10 years ago
- Cask support for Flycheck☆16Feb 5, 2024Updated 2 years ago
- Create Synchronicity is an easy, fast and powerful backup application. It synchronizes files & folders, has a neat interface, and can sch…☆12Jun 5, 2011Updated 14 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Source Code for 'Arduino Applied: Comprehensive Projects for Everyday Electronics' by Neil Cameron☆13Aug 11, 2020Updated 5 years ago
- Tina's personal website:)☆10Nov 3, 2020Updated 5 years ago
- PyCharm Test Project created from Django default tutorial☆13Sep 23, 2015Updated 10 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- A library for creating hook-based java agents, without dealing with bytecode☆14Oct 13, 2020Updated 5 years ago
- Quick inline peeks at agenda items and linked nodes in Org-mode☆21Oct 6, 2022Updated 3 years ago
- C++-to-webassembly testbed, in the form of a simple graphics library☆14Apr 23, 2019Updated 6 years ago
- 用GIS分析土地公、釋迦牟尼、觀音菩薩、玄天上帝、媽祖及王爺／千歲的信仰熱區☆15Jan 6, 2023Updated 3 years ago
- Show symbol list when opening a binary file in Emacs☆18Oct 9, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- Randomised, zero-boilerplate object builders☆10Apr 11, 2017Updated 8 years ago
- a messagepack serialiser☆15Jul 8, 2020Updated 5 years ago
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 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 5 years ago
- Become an expert C++ programmer by solving real-world programming problems☆10Mar 25, 2019Updated 7 years ago
- dotnet core implementation of the Uno workshop - Moved to Codeberg☆20Apr 5, 2025Updated 11 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Source Code for 'PHP 8 Solutions' by David Powers☆14Oct 26, 2021Updated 4 years ago
- PostgreSQL and Java: training☆16Mar 17, 2017Updated 9 years ago
- a vim plugin for Dafny, a verified programming language.☆21Sep 25, 2018Updated 7 years ago
- Type class derivation for services, not data☆39Feb 10, 2025Updated last year
- Constaints-based spreadsheet prototype☆18Feb 25, 2016Updated 10 years ago