Rust newtype with guarantees 🇺🇦 🦀
The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack
Static Analyzer for LLVM based on the Crab Abstract Interpretation Library
A library for building abstract interpretation-based analyses.
Design by Contract framework for PHP
Validity and validity-based testing
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
Generates loop invariants for program verification
All of my math stuff from grad school.
A neuro-symbolic runtime architecture for AI agents. Enforces zero trust privilege separation between probabilistic LLM reasoning and deterministic kernel execution. Prevents agent drift with real-time invariants and decision telemetry for auditable autonomy.
Canonical eight invariants for AI-assisted engineering: README SSOT, skill guidance, and lightweight checks.
Fluent Design Contracts for Java Projects
The main goal of this software is to give assistance to Graph Theory and Spectral Graph Theory researchers to establish or refute conjectures quickly and simply, providing for visualization a filtered list of graphs according to the properties given by the user.
The runtime monitoring tool for smart contracts business logic.
Vaxine provides rich-CRDT features on top of Antidote.
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
A polygraph for your state machine: an LLM derives a formal model from your code, then Polygraph replays real traces against it and exhaustively model-checks it against your invariants.
Introspectable Contracts Programming for JavaScript
enforce representation/class invariants in your Rust data structures
Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts
To associate your repository with the invariants topic, visit your repo's landing page and select "manage topics."