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.
  ☆48Updated last week
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆43Updated last year
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆216Updated this week
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆84Updated 3 weeks ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆38Updated 6 months ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated last week
• GaloisInc / daedalus
  The Daedalus data description language
  ☆87Updated this week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆303Updated this week
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆109Updated this week
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆21Updated last year
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆89Updated this week
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆185Updated 2 weeks ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆107Updated 3 years ago
• harp-lab / gdlog
  ☆87Updated last year
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆151Updated 8 months ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆65Updated 7 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆190Updated 2 months ago
• awslabs / s2n-bignum
  ☆201Updated last week
• verus-lang / verified-memory-allocator
  A memory allocator verified with Verus
  ☆29Updated last month
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆85Updated last week
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆107Updated 3 weeks ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆19Updated 10 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆150Updated last year
• cfallin / waffle
  ☆58Updated 7 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆84Updated last week
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆79Updated last month
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago