invariants 开源项目推荐（157 个）

greyblake /nutype

Rust newtype with guarantees 🇺🇦 🦀

ddd-by-examples /factory

由 Spring 技术栈支持的领域驱动设计企业级应用的缺失的完整示例

seahorn /clam

Static Analyzer for LLVM based on the Crab Abstract Interpretation Library

seahorn /crab

A library for building abstract interpretation-based analyses.

php-deal /framework

Design by Contract framework for PHP

NorfairKing /validity

Validity and validity-based testing

petergeoghegan /amcheck

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

SaswatPadhi /LoopInvGen

Generates loop invariants for program verification

mbrandonw /my-math-notes

All of my math stuff from grad school.

huka81 /decision-intelligence-runtime

​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.

aldegad /kuma-core-invariants

Canonical eight invariants for AI-assisted engineering: README SSOT, skill guidance, and lightweight checks.

cowwoc /requirements.java

Fluent Design Contracts for Java Projects

GraphFilter /GraphFilter

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.

mojtaba-eshghie /HighGuard

The runtime monitoring tool for smart contracts business logic.

cognitive-fab /polygraph

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.

electric-sql /legacy-vaxine

Vaxine provides rich-CRDT features on top of Antidote.

classicwuhao /qmaxuse

QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.

jonnor /agree

Introspectable Contracts Programming for JavaScript

calebwin /rep

enforce representation/class invariants in your Rust data structures

mojtaba-eshghie /Sindi

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts