A free, open-source Java library for automata, graphs, and transition systems
Interface for abstract groups
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.
Doc-First Event Processing: A demonstration of specification-driven development with Go, OpenAPI, AsyncAPI, and Testcontainers
Official conformance test suite for Aifeels specification v0.1.0
Conformance testing guide and reference examples for verifying VCP implementations before VC Certified auditing.
Memory-safe clean-room Rust reimplementation of NetworkX with deterministic graph semantics, differential conformance, and RaptorQ-backed durability.
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 NumPy with strict/hardened compatibility modes, deterministic stride calculus, differential conformance harnesses, and RaptorQ durability artifacts.
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."