microsoft / verona-rtLinks
The runtime for the Verona project
☆37Updated 2 months ago
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☆210Updated this week
- A term rewriting system for experimental programming language development.☆48Updated 3 weeks ago
- An experimental optimizing compiler for Bril using egglog☆82Updated last month
- Automated generation of provably secure, zero-copy parsers from format specifications☆299Updated 2 weeks ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆125Updated last week
- Definition of the Viper intermediate verification language.☆92Updated last week
- A memory allocator verified with Verus☆26Updated last week
- Azure Cosmos TLA+ specifications☆22Updated 11 months ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆42Updated last year
- Storage systems with verified correctness properties☆60Updated 3 weeks ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆101Updated 3 weeks ago
- Wasm SpecTec specification tools☆81Updated 2 weeks ago
- Goose converts a subset of Go to Rocq☆135Updated this week
- Cerberus C semantics☆79Updated 2 weeks ago
- MimIR is my Intermediate Representation☆84Updated last week
- Rewrite Rule Inference Using Equality Saturation☆148Updated 6 months ago
- Research unikernel for virtualized services☆52Updated 3 years ago
- CN separation logic refinement type system for C☆43Updated last week
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- A verifier for automated and interactive proofs about transition systems.☆170Updated last month
- An awesome list of e-graph resources☆272Updated 2 weeks ago
- ☆194Updated this week
- A minimal development of SSA theory☆202Updated last week
- Compiler optimizer for arbitrary control flow based on equality saturation☆106Updated 3 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated 2 weeks ago
- Prototype Mixed-consistency transaction implementation☆64Updated 7 years ago
- ☆11Updated last year
- Online demo without installing at - https://buildit.so/tryit☆187Updated this week
- SFI verifier of Wasm binaries☆83Updated 2 years ago
- Fast WebAssembly Baseline Compiler☆61Updated 2 years ago