microsoft / verona-rt
The runtime for the Verona project
☆32Updated 4 months ago
Alternatives and similar repositories for verona-rt:
Users that are interested in verona-rt are comparing it to the libraries listed below
- A term rewriting system for experimental programming language development.☆39Updated 2 weeks ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆34Updated last week
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- ☆11Updated 5 months ago
- An experimental optimizing compiler for Bril☆65Updated last week
- benchmarking e-graph extraction☆37Updated 4 months ago
- Research unikernel for virtualized services☆48Updated 2 years ago
- Azure Cosmos TLA+ specifications☆21Updated 2 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆95Updated 2 years ago
- Session Type EDSL for Rust☆102Updated 2 years ago
- ☆58Updated 6 months ago
- Verification and optimization tool for concurrent code☆23Updated 2 weeks ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆25Updated 3 years ago
- the WebAssembly partial evaluator☆50Updated 4 months ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- An attempt at safe imperative GPU programming.☆40Updated 3 months ago
- The TLA⁺ Proof Manager☆73Updated last week
- Rust bindings to the MLIR C API.☆65Updated last month
- Model-based testing tool☆55Updated 2 weeks ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆39Updated 4 months ago
- Reading the linearizability paper with TLA+☆48Updated 2 years ago
- The Daedalus data description language☆69Updated last week
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated last year
- Modular register allocator algorithms☆106Updated 2 years ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆20Updated 3 years ago
- vertical + gpu + free join + datalog☆18Updated last month
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆33Updated last week
- A library for deadlock-free multiparty session-typed communication in Rust.☆29Updated 6 months ago
- Prototype Mixed-consistency transaction implementation☆62Updated 6 years ago
- The Steel separation logic library for F*☆33Updated 3 weeks ago