microsoft / verona-rtLinks
The runtime for the Verona project
☆33Updated 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:
- A term rewriting system for experimental programming language development.☆44Updated last week
- An experimental optimizing compiler for Bril☆70Updated 3 weeks ago
- Azure Cosmos TLA+ specifications☆22Updated 5 months ago
- Storage systems with verified correctness properties☆49Updated this week
- Verification and optimization tool for concurrent code☆25Updated 2 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- Rewrite Rule Inference Using Equality Saturation☆127Updated 2 weeks ago
- ☆82Updated 8 months ago
- CN separation logic refinement type system for C☆22Updated last week
- Memory Management ToolKit☆35Updated last month
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆92Updated 3 weeks ago
- SFI verifier of Wasm binaries☆80Updated 2 years ago
- Symbolic execution tool for Sail ISA specifications☆73Updated this week
- Debugging WebAssembly? Put some Whamm! on it.☆31Updated this week
- Definition of the Viper intermediate verification language.☆86Updated last week
- The Daedalus data description language☆72Updated 2 months ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆37Updated 8 months ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆37Updated 3 months ago
- Rhyme is an Expressive Data-Centric Query Language☆29Updated last month
- An attempt at safe imperative GPU programming.☆45Updated last week
- MimIR is my Intermediate Representation☆68Updated last week
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- The TLA⁺ Proof Manager☆80Updated this week
- Wasm SpecTec specification tools☆53Updated this week
- Verifying concurrent crash-safe systems☆186Updated this week
- ☆11Updated 8 months ago
- Rust bindings to the MLIR C API.☆65Updated 2 weeks ago
- The Pulse separation logic DSL for F*☆20Updated last week
- An awesome list of e-graph resources☆181Updated last month
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 5 months ago