Proving crash safety for systems with layered recovery
☆16Apr 1, 2026Updated 6 months ago
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:
- ☆16Nov 9, 2017Updated 8 years ago
- JOS Lab of MIT 6.828: Operating System Engineering.☆18Aug 29, 2017Updated 9 years ago
- Modeling I/O in Coq using free monads☆10Jul 27, 2018Updated 8 years ago
- A compile-time perfect hash implementation☆18Updated this week
- Emms layer for Spacemacs☆13Apr 16, 2016Updated 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.
- 100% MFU or bust.☆11Jan 12, 2026Updated 9 months ago
- Compilation script and wrapper for Z3 compiled through Emscripten☆12May 27, 2016Updated 10 years ago
- Verifying concurrent storage and distributed systems☆248Updated this week
- ☆28Nov 20, 2025Updated 11 months 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 for tactics, basic definitions, sets, maps☆55Sep 19, 2026Updated last month
- ☆38Updated this week
- Ranked Choice Instant Runoff library written in Rust☆13Mar 26, 2019Updated 7 years ago
- ☆19Oct 12, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Automatic performance regression tests for Rust code☆16Jan 27, 2020Updated 6 years ago
- Coq library for verified low-level programming☆65Jun 15, 2017Updated 9 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- Tam is the Assets Manager for you.☆18Sep 24, 2016Updated 10 years ago
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆14Sep 25, 2024Updated 2 years ago
- Flexible, stand-alone benchmarking☆18Apr 4, 2018Updated 8 years ago
- CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…☆21Aug 2, 2022Updated 4 years ago
- FSCQ is a certified file system written and proven in Coq☆252Oct 21, 2022Updated 3 years ago
- Great homework for Fundamentals of Programming course.☆13Jan 21, 2016Updated 10 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.
- Helper code for dm-log-writes target.☆13Jul 9, 2024Updated 2 years ago
- A category polymorphic `Functor` typeclass.☆11Jul 27, 2026Updated 2 months ago
- Extra event types built on top of rsevents☆17May 19, 2023Updated 3 years ago
- DNS over HTTPS (RFC8484) proxy in Rust/Tokio.☆14Jul 24, 2022Updated 4 years ago
- Dust your Rust with USDT probes☆146Oct 13, 2026Updated last week
- Hardcaml Verification Tools☆20Jul 10, 2026Updated 3 months ago
- Student lab assignments for MIT 6.1600☆13Oct 13, 2026Updated last week
- Dumping source code from your binaries like objdump☆24Jul 7, 2026Updated 3 months ago
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Python binding for the H2O HTTP server☆22Feb 26, 2017Updated 9 years ago
- Network Block Device (NBD) server and client written in Rust☆14Dec 4, 2024Updated last year
- ☆20Aug 7, 2024Updated 2 years ago
- Formalization of C++ for verification purposes.☆105Updated this week
- Compositional CompCert☆15Jan 9, 2019Updated 7 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆27May 25, 2021Updated 5 years ago
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 6 years ago