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.
  ☆39Updated this week
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated this week
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆21Updated last month
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆62Updated this week
• vaivaswatha / pliron
  Programming Languages Intermediate Representation
  ☆110Updated this week
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆19Updated this week
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated last year
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆35Updated 4 months ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆172Updated this week
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• tezedge / tezedge-specification
  TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
  ☆20Updated 3 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆29Updated 2 years ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆72Updated this week
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆12Updated 5 months ago
• tlaplus / foundation
  TLA+ Foundation
  ☆27Updated this week
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆29Updated 2 months ago
• will62794 / endive
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆14Updated 4 months ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆115Updated this week
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated last year
• Cjen1 / consensus-tlaplus
  ☆11Updated 4 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆62Updated this week
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆43Updated last month
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆31Updated 2 months ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆48Updated 2 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated last week
• harp-lab / gdlog
  ☆79Updated 4 months ago
• will62794 / logless-reconfig
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆12Updated 2 months ago