Software Engineering course materials from EPFL
☆114Dec 26, 2025Updated 6 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:
- ☆12Mar 27, 2026Updated 3 months ago
- POCS materials for the public☆27Dec 17, 2025Updated 6 months ago
- ☆13Jun 22, 2026Updated last week
- Main repo for AMT, 2020 edition☆10Dec 2, 2020Updated 5 years ago
- Dependent Object Types (DOT), bottom up☆90Jan 9, 2022Updated 4 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.
- Bolts: Stainless Verified Scala Examples☆29Updated this week
- Use AI to instantly summarize websites' terms of service and highlight any concerning elements☆17Apr 5, 2025Updated last year
- Template for GitHub Actions YAML file allowing to automatically release tagged version in the Moodle Plugins directory☆21Nov 29, 2022Updated 3 years ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 4 years ago
- TLA+ Foundation☆34Mar 30, 2026Updated 3 months ago
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 years ago
- Cask support for Flycheck☆16Feb 5, 2024Updated 2 years ago
- Deadlock killer library.☆14Jun 29, 2020Updated 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.
- Main repository of the Vigor NF verification project.☆49Mar 6, 2021Updated 5 years ago
- LL(1) parser combinators in Scala☆62May 11, 2026Updated last month
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 22, 2026Updated last week
- Tina's personal website:)☆10Nov 3, 2020Updated 5 years ago
- Make your published artifacts bit-by-bit reproducible, and compare with other certifications☆40Jun 22, 2026Updated last week
- Type-safe Queries☆54Sep 11, 2023Updated 2 years ago
- PyCharm Test Project created from Django default tutorial☆13Sep 23, 2015Updated 10 years ago
- 📧 E-Voting platform based on the Dela blockchain☆23Feb 10, 2026Updated 4 months ago
- A light express.js like library written in Java (in one file)☆16Jun 11, 2026Updated 3 weeks ago
- AI Agents on 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.
- A library for creating hook-based java agents, without dealing with bytecode☆15Oct 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 7 years ago
- Argument Harvester - a simple command line parser☆14May 13, 2022Updated 4 years ago
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 8 years ago
- Coverage and timing tool for font-lock keywords☆18Jan 4, 2025Updated last year
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- Randomised, zero-boilerplate object builders☆10Apr 11, 2017Updated 9 years ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated 11 months 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.
- Literate coq blog posts☆17Jan 13, 2016Updated 10 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆25Jun 21, 2026Updated last week
- ☆10Jun 25, 2026Updated last week
- a messagepack serialiser☆16Jul 8, 2020Updated 5 years ago
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆19Aug 5, 2020Updated 5 years ago
- Inspect `pmap -X` output of a java process, requires Java11, likely not 100% accurate☆16Sep 23, 2021Updated 4 years ago