Alternatives and similar repositories for verona-rt:

Users that are interested in verona-rt are comparing it to the libraries listed below

• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆41Updated last week
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 3 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆101Updated 2 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆66Updated last week
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆34Updated last week
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆28Updated this week
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆125Updated 2 weeks ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆24Updated 3 weeks ago
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆39Updated 5 months ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• Cjen1 / consensus-tlaplus
  ☆11Updated 6 months ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆91Updated last month
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆66Updated last month
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆138Updated last week
• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆13Updated 5 months ago
• harp-lab / gdlog
  ☆81Updated 6 months ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆37Updated 6 months ago
• cfallin / waffle
  ☆58Updated 7 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated this week
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆65Updated 5 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated last month
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 2 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆78Updated last month
• TiarkRompf / reachability
  ☆47Updated 2 months ago
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆34Updated last month
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated this week
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week