axioval

Popular repositories Loading

1. engine engine Public

   Source-neutral pure-Rust rule engine for federated engineering data

   Rust

2. mcs mcs Public

   Model Checking Specification: vendor-neutral Pkl schemas, deterministic .mcs packages, and normalized declarative rule contracts.

   Python

3. registry registry Public

4. editor editor Public

5. libary libary Public

   Official vendor-neutral Axioval specification library and immutable .mcs package releases.

   Pkl