A free, open-source Java library for automata, graphs, and transition systems
-
Updated
Feb 16, 2026 - Java
A free, open-source Java library for automata, graphs, and transition systems
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.
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.
Interface for abstract groups
Memory-safe clean-room Rust reimplementation of NumPy with strict/hardened compatibility modes, deterministic stride calculus, differential conformance harnesses, and RaptorQ durability artifacts.
Doc-First Event Processing: A demonstration of specification-driven development with Go, OpenAPI, AsyncAPI, and Testcontainers
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.
Official conformance test suite for Aifeels specification v0.1.0
Conformance testing guide and reference examples for verifying VCP implementations before VC Certified auditing.
Go verifier for the Capsule Protocol Specification (CPS). Canonical JSON, SHA3-256, Ed25519. Passes all 16 golden vectors.
A statically typed, deterministic language with a normative v2.0 specification, dual Node/C reference toolchain, and 100% conformance-driven validation.
Memory-safe clean-room Rust reimplementation of NetworkX with deterministic graph semantics, differential conformance, and RaptorQ-backed durability.
Test-driven Python playground for ML-KEM and ML-DSA with KAT conformance, deterministic demos, and CI validation.
Conformance test suite for AXP protocol — verify spec-runtime-SDK parity
Hardened WebDAV storage gateway with rclone+crypt backend, conformance-first testing, and policy-driven operations.
⚙️ Reimplement pandas in Rust for full compatibility, safety, and high performance with advanced columnar execution and strict semantic fidelity.
🛠 Reimplement NumPy in Rust for full compatibility, memory safety, and better performance with a clear, reliable architecture.
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."