Proving crash safety for systems with layered recovery
☆16Nov 6, 2026Updated this week
Alternatives and similar repositories for argosy
Users that are interested in argosy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆30May 8, 2025Updated last year
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Verifying concurrent storage and distributed systems☆256Updated this week
- ☆20Aug 7, 2024Updated 2 years ago
- ☆16Nov 9, 2017Updated 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.
- JOS Lab of MIT 6.828: Operating System Engineering.☆18Aug 29, 2017Updated 9 years ago
- Deadlock freedom by type checking☆20Jun 2, 2023Updated 3 years ago
- Access Touchstone SSO sites easily without a web browser.☆10Nov 5, 2025Updated last year
- Formalization of DBSP☆42Aug 22, 2023Updated 3 years ago
- ☆52Updated this week
- Modeling I/O in Coq using free monads☆10Jul 27, 2018Updated 8 years ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆66Jul 4, 2025Updated last year
- Collection of tactics I've found useful in Coq☆11Sep 30, 2016Updated 10 years ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆42Nov 29, 2025Updated 11 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Coq to Cedille compiler written in Coq☆36Aug 4, 2026Updated 3 months ago
- ☆13Apr 13, 2026Updated 6 months ago
- Emms layer for Spacemacs☆13Apr 16, 2016Updated 10 years ago
- Compilation script and wrapper for Z3 compiled through Emscripten☆12May 27, 2016Updated 10 years ago
- ☆11Sep 16, 2026Updated last month
- 100% MFU or bust.☆11Jan 12, 2026Updated 9 months ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- ☆26Feb 21, 2025Updated last year
- ☆28Nov 20, 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.
- Coq library for verified low-level programming☆65Jun 15, 2017Updated 9 years ago
- ☆38Apr 15, 2022Updated 4 years ago
- The Ynot Project source code.☆25May 5, 2014Updated 12 years ago
- Ranked Choice Instant Runoff library written in Rust☆13Mar 26, 2019Updated 7 years ago
- Virtual block devices on Linux☆20Jan 2, 2020Updated 6 years ago
- FSCQ is a certified file system written and proven in Coq☆252Oct 21, 2022Updated 4 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆35May 14, 2017Updated 9 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Updated this week
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- 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.
- Coq library for tactics, basic definitions, sets, maps☆57Oct 20, 2026Updated 3 weeks ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 6 months ago
- Collection of Useful Features of the Coq Proof Assistant☆10Mar 27, 2024Updated 2 years ago
- Tam is the Assets Manager for you.☆18Sep 24, 2016Updated 10 years ago
- Automatic performance regression tests for Rust code☆16Jan 27, 2020Updated 6 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- ☆10May 23, 2023Updated 3 years ago
Are these results useful?