invariant-checking

Star

Here are 4 public repositories matching this topic...

flyingrobots / llmrmgcore

Sponsor

Star

Rust LLM-driven deterministic graph core (v0 prototype)

Updated Nov 15, 2025
Rust

DevomB / Ananke

Star

Typed deterministic event runtime for OCaml w/ replay, snapshots, diffs, invariant checks etc.

state-machine ocaml event-sourcing snapshots invariant-checking deterministic-replay

Updated Jul 29, 2026
OCaml

yvliet / stokes

Star

Autonomous cross-boundary systems invariant verification engine for SQL, Protobuf, Python, and Rust. Built with IBM Bob 2.0 for the IBM Bob 2.0 2026 Hackathon on lablab.ai

python rust tree-sitter distributed-systems sql protobuf hackathon mcp static-analysis ast ci-cd ibm ibm-bob invariant-checking lablab-ai schema-verification

Updated Sep 27, 2026
Python

NikolayAir / OrbiRig

Star

Verification harness for simplified spacecraft command-execution workflows, with versioned JSON evidence, interactive web verification, and read-only evidence inspection.

react typescript spacecraft fastapi invariant-checking

Updated Oct 16, 2026
Python

Add this topic to your repo

To associate your repository with the invariant-checking topic, visit your repo's landing page and select "manage topics."

Learn more