Software Engineering course materials from EPFL
☆115Dec 26, 2025Updated 7 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 4 months ago
- ☆14Updated this week
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 4 years ago
- A collection of libraries maintained by LAMP.☆15Jul 17, 2026Updated 3 weeks ago
- A smattering of header files dumped using classdump-dyld☆14Apr 28, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Use AI to instantly summarize websites' terms of service and highlight any concerning elements☆17Apr 5, 2025Updated last year
- Semantic Type Soundness in Lean 4☆18Jul 28, 2026Updated 2 weeks ago
- Advanced fold methods for Kotlin☆13Aug 1, 2026Updated last week
- TLA+ Foundation☆34Jul 21, 2026Updated 3 weeks ago
- blog.mattbierner.com☆10Jun 16, 2026Updated last month
- Cask support for Flycheck☆16Feb 5, 2024Updated 2 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- The machine learning project pipeline for lung cancer analysis and prediction at a low cost.☆16Apr 15, 2025Updated last year
- Randomised, zero-boilerplate object builders☆10Apr 11, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆18Jul 8, 2026Updated last month
- Source Code for 'Arduino Applied: Comprehensive Projects for Everyday Electronics' by Neil Cameron☆13Aug 11, 2020Updated 6 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 22, 2026Updated last month
- Checks GitHub pull requests for valid and accepted Jira tickets. Used for ICU and CLDR☆11Apr 7, 2025Updated last year
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 9 years ago
- Template for GitHub Actions YAML file allowing to automatically release tagged version in the Moodle Plugins directory☆21Jul 17, 2026Updated 3 weeks ago
- Quick inline peeks at agenda items and linked nodes in Org-mode☆21Oct 6, 2022Updated 3 years ago
- Content for cloud computing workshop☆15Apr 20, 2018Updated 8 years ago
- A light express.js like library written in Java (in one file)☆16Jun 11, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A library for creating hook-based java agents, without dealing with bytecode☆15Oct 13, 2020Updated 5 years ago
- Certificate Autoenrollment Proxy using the MS-WSTEP protocol☆17Jul 5, 2024Updated 2 years ago
- Argument Harvester - a simple command line parser☆15May 13, 2022Updated 4 years ago
- A library for viewing songbird brain atlases (European starling, Canary, Zebra finch, Pigeon, Mustached bat)☆23Sep 10, 2019Updated 6 years ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- Proposal to investigate additional language features for ECMAScript Regular Expressions☆21Aug 28, 2021Updated 4 years ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated last year
- Literate coq blog posts☆17Jan 13, 2016Updated 10 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆19Aug 5, 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.
- ☆10Updated this week
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 years ago
- Show symbol list when opening a binary file in Emacs☆19Oct 9, 2016Updated 9 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆32May 10, 2023Updated 3 years ago
- a messagepack serialiser☆16Jul 8, 2020Updated 6 years ago
- Inspect `pmap -X` output of a java process, requires Java11, likely not 100% accurate☆16Sep 23, 2021Updated 4 years ago
- Parsers for CUDA binary files☆25Dec 29, 2023Updated 2 years ago