microsoft / verona-rtLinks
The runtime for the Verona project
☆35Updated last month
Alternatives and similar repositories for verona-rt
Users that are interested in verona-rt are comparing it to the libraries listed below
Sorting:
- Verifying concurrent storage and distributed systems☆208Updated this week
- A term rewriting system for experimental programming language development.☆47Updated 3 weeks ago
- An experimental optimizing compiler for Bril using egglog☆81Updated 2 weeks ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆167Updated this week
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆101Updated last week
- A memory allocator verified with Verus☆25Updated 4 months ago
- Generic model checker for concurrent C programs (mirror repository)☆163Updated last week
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆295Updated last week
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆41Updated last year
- SFI verifier of Wasm binaries☆83Updated 2 years ago
- Storage systems with verified correctness properties☆59Updated last week
- Azure Cosmos TLA+ specifications☆22Updated 10 months ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- ☆11Updated last year
- MimIR is my Intermediate Representation☆84Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆105Updated 3 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆210Updated 5 years ago
- Model-based testing tool☆62Updated 8 months ago
- ☆190Updated last week
- Goose converts a subset of Go to Rocq☆135Updated this week
- Rewrite Rule Inference Using Equality Saturation☆148Updated 6 months ago
- An Opinionated Formatter for Verus☆14Updated last week
- Definition of the Viper intermediate verification language.☆92Updated last week
- List of bugs found in distributed protocols☆204Updated last year
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆17Updated 8 months ago
- Course website for Systems Verification Fall 2024☆13Updated 5 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- Research unikernel for virtualized services☆52Updated 3 years ago