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 month
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆82Updated last week
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆212Updated this week
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆107Updated this week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆303Updated last month
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆21Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆106Updated 3 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆149Updated 7 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆37Updated 6 months ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆13Updated 6 months ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆184Updated this week
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated last month
• AeneasVerif / charon
  Analyze Rust crates without touching compiler internals
  ☆272Updated this week
• verus-lang / verified-memory-allocator
  A memory allocator verified with Verus
  ☆29Updated last month
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆92Updated last week
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆65Updated 7 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆43Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆235Updated last month
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems.
  ☆179Updated 2 weeks ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆88Updated last week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆284Updated 2 weeks ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆212Updated 5 years ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆52Updated 3 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆82Updated this week
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆65Updated 8 months ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆100Updated 2 weeks ago