A free, open-source Java library for automata, graphs, and transition systems
-
Updated
Jun 10, 2026 - Java
A free, open-source Java library for automata, graphs, and transition systems
Memory-safe, clean-room Rust reimplementation of pandas with packetized conformance gates, strict/hardened runtime modes, and RaptorQ-backed artifact durability.
Memory-safe clean-room Rust reimplementation of PyTorch with deterministic autograd contracts, strict/hardened compatibility modes, differential conformance harnesses, and RaptorQ-backed durability artifacts.
The open protocol for cryptographically sealed audit records of autonomous AI operations. SHA3-256 + Ed25519 + hash chain. Spec, conformance suite, and reference implementations in Python and TypeScript.
Debug and validate Agent Client Protocol (ACP) traffic — protocol conformance testing for AI coding agents.
Memory-safe clean-room Rust reimplementation of NumPy with strict/hardened compatibility modes, deterministic stride calculus, differential conformance harnesses, and RaptorQ durability artifacts.
Memory-safe clean-room Rust reimplementation of NetworkX with deterministic graph semantics, differential conformance, and RaptorQ-backed durability.
Interface for abstract groups
Conformance testing for SCIM RFC 7643/7644 server response & client SCIM payload validation. PASS/FAIL feedback for Discovery, User, Group & Agent lifecycle provisioning, Search and Error Handling. Suggests implementation corrections.
Go verifier for the Capsule Protocol Specification (CPS). Canonical JSON, SHA3-256, Ed25519. Passes all 16 golden vectors.
Official conformance test suite for Aifeels specification v0.1.0
⛩️ 100% Jinja2-compatible template engine for Go — verified character-by-character against CPython | Go 语言 Jinja2 模板引擎, 与 CPython 逐字符对齐验证
A statically typed, deterministic language with a normative v2.0 specification, dual Node/C reference toolchain, and 100% conformance-driven validation.
Semantic trust layer for evidence-gated verification of AI-generated workflows before lowering or execution.
WiseOrder — the kernel that governs how an AI's output is allowed to become an action, and seals every decision. Four-class verification, hash-chained audit memory, conformance vectors, independent Go + Rust verifiers. A Wise.Est Systems protocol.
Executable identity and persistence regime kernel for Structural Explainability (SE); defines regime profiles, transformation families, and testable identity behavior (PRS/BRK/INH).
Conformance testing guide and reference examples for verifying VCP implementations before VC Certified auditing.
Canonical spec and reference implementation for the Mono sync protocol — object-centric E2E replication, transfer classes, and encrypted wire envelopes (JSON/CBOR).
AIP conformance validator and IBCT chain auditor. Tracks draft-prakash-aip-00.
Add a description, image, and links to the conformance-testing topic page so that developers can more easily learn about it.
To associate your repository with the conformance-testing topic, visit your repo's landing page and select "manage topics."