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 3 weeks ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆28Updated last month
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆20Updated last year
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆84Updated this week
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆102Updated 2 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆145Updated 8 months ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆24Updated 2 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆94Updated 2 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆31Updated last year
• informalsystems / modelator
  Model-based testing tool
  ☆54Updated 7 months ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆27Updated 4 months ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆35Updated 3 months ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆62Updated 6 years ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated last year
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆57Updated this week
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆36Updated 4 months ago
• cfallin / waffle
  ☆58Updated 4 months ago
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆39Updated last month
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆168Updated this week
• GaloisInc / daedalus
  The Daedalus data description language
  ☆66Updated 5 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆31Updated last week
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆80Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆56Updated 6 months ago
• Cjen1 / consensus-tlaplus
  ☆11Updated 2 months ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆14Updated last month
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆121Updated 7 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆53Updated 3 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…
  ☆87Updated 2 months ago
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆61Updated last month