A verified high-performance file system
☆40Jun 30, 2025Updated 9 months ago
Alternatives and similar repositories for verified-betrfs
Users that are interested in verified-betrfs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated last year
- ☆19Oct 15, 2024Updated last year
- ☆11Jun 24, 2024Updated last year
- ☆22Updated this week
- ☆13Nov 19, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- guarded interaction trees☆12Jul 4, 2025Updated 9 months ago
- 📝 A Rocq library written by members of PnV Discord Server☆18Apr 12, 2026Updated last week
- An Opinionated Formatter for Verus☆19Updated this week
- ☆17Jan 31, 2026Updated 2 months ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- The MSR Ironclad project builds provably secure and reliable systems.☆265Jun 3, 2023Updated 2 years ago
- types for various combinatory systems, especialy tree calculi☆26Jan 23, 2025Updated last year
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆19Mar 18, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- a Rust OS project☆10Feb 21, 2019Updated 7 years ago
- ☆23Mar 29, 2026Updated 3 weeks ago
- Verified Rust for low-level systems code☆2,432Updated this week
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆30May 14, 2025Updated 11 months ago
- Verified Assembly Language for Everest☆307Feb 22, 2024Updated 2 years ago
- BLISS: Bimodal Lattice Signature Schemes☆30Jul 10, 2020Updated 5 years ago
- EBNF parsing toolset☆10May 20, 2023Updated 2 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆27Nov 18, 2022Updated 3 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 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.
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- Definitional implementation of Cedar language and utilities for DRT☆170Apr 9, 2026Updated last week
- Bolts: Stainless Verified Scala Examples☆29Updated this week
- A sample verifier for a toy language built on top of Boogie☆25Nov 24, 2022Updated 3 years ago
- Rust encryption library for practical time-lock encryption.☆38Mar 18, 2026Updated last month
- AWS Database Encryption SDK for DynamoDB☆37Updated this week
- A fixed-size, zero-allocation circular buffer for Rust☆16Mar 29, 2025Updated last year
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆14Mar 18, 2025Updated last year
- ☆51May 16, 2022Updated 3 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.
- Experimental kernel with built-in replication.☆163Jul 17, 2025Updated 9 months ago
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- fsfuzzer mirror☆13May 8, 2017Updated 8 years ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Jan 3, 2018Updated 8 years ago
- SublimeText 3 plugin for displaying regular expression explanations☆12Apr 23, 2018Updated 7 years ago
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 6 years ago
- A hyperlinked help system for Sublime Text 3☆12Apr 16, 2021Updated 5 years ago