libpetri cargo 10.1.0 clean Coloured Time Petri Net engine with formal verification 816 2d ago sekirei cargo 0.3.61 clean USI shogi engine binary (Sekirei) 812 1d ago antecedent-discovery cargo 2.2.0 clean Causal discovery for the Antecedent engine: PC, GES, LiNGAM, NOTEARS, FCI, the PCMCI family, and Bayesian graph posteriors; start with the `antecedent` crate 791 2d ago arc-malachitebft-core-driver cargo 0.8.1 clean Driver for the state machine of Malachite BFT consensus engine 791 1d ago antecedent-estimate cargo 2.2.0 clean Frequentist and Bayesian estimators for identified causal effects in the Antecedent engine; start with the `antecedent` crate 787 2d ago type-bridge-schema cargo 2.2.3 clean Canonical schema resolution and projection engine for type-bridge 768 1d ago brokk-mj-review cargo 2.34.0 clean Turn-review engine and prompt construction for Mjolnir 714 17h ago antecedent-validate cargo 2.2.0 clean Effect refuters, sensitivity analysis, and validation diagnostics for the Antecedent engine; start with the `antecedent` crate 704 2d ago inillucent-core cargo 2.4.1 clean The retrieval engine: HNSW vectors, BM25 and the hybrid ranking the SQL layer reaches through. 704 1h ago arc-malachitebft-core-consensus cargo 0.8.1 clean Core consensus algorithm for the Malachite BFT consensus engine 702 1d ago arc-malachitebft-discovery cargo 0.8.1 clean Discovery protocol for the Malachite BFT consensus engine 696 1d ago arc-malachitebft-sync cargo 0.8.1 clean Synchronization protocol for the Malachite BFT consensus engine 695 1d ago rigorix-schemas cargo 0.3.0 clean Canonical Rigorix contracts (JSON Schemas + conformance fixtures), embedded at build time and consumable by the verifier, clients, and servers — one copy, no… 689 16h ago rigorix-verifier cargo 0.3.0 clean Protocol-only verifier for Rigorix audit envelopes — HMAC integrity, JSON Schema conformance, per-producer chain + anchor signatures. No rigorix-engine… 682 15h ago supercov-contracts cargo 3.0.5 clean Frozen language-neutral contracts for the Supercov coverage engine 676 12h ago arcbox-net-inject cargo 0.9.0 clean Guest memory RX injection engine for ArcBox VirtIO-net 674 11h ago antecedent-counterfactual cargo 2.2.0 clean Abduction-action-prediction counterfactual evaluation for the Antecedent causal inference engine; start with the `antecedent` crate 672 2d ago tsift-astgrep cargo 0.1.105 clean Structural (ast-grep) code search and rewrite engine for tsift 667 12h ago ursula-runtime cargo 0.6.2 4 vulnerabilities 4 Per-core actor runtime for Ursula: hot ring, cold-tier flush, and the replaceable group-engine boundary. 661 2d ago dag-ml-capi cargo 0.3.40 clean C ABI surface for the DAG-ML control engine. 656 1d ago esf-data cargo 13.6.0 clean Reads the EVE Online static data the dogma engine calculates with 646 1d ago bingle_core cargo 0.3.17 clean Core library for Bingle: a peer-to-peer messaging engine with Algorand-based node registration and discovery. 645 1d ago arc-malachitebft-signing cargo 0.8.1 clean Signing provider abstraction for the Malachite BFT consensus engine 608 1d ago arc-malachitebft-wal cargo 0.8.1 clean Write-Ahead Log for for the Malachite BFT consensus engine 608 1d ago arc-malachitebft-network cargo 0.8.1 clean Networking layer for the Malachite BFT consensus engine 604 1d ago arc-malachitebft-codec cargo 0.8.1 clean Codec abstraction for the Malachite BFT consensus engine 601 1d ago arc-malachitebft-config cargo 0.8.1 clean Configuration for the Malachite BFT consensus engine 601 1d ago u-nesting-cutting cargo 0.17.0 clean Cutting path optimization for U-Nesting spatial optimization engine 592 18h ago antecedent-io cargo 2.2.0 clean Versioned artifact containers and wire types (graphs, posteriors, model bundles) for the Antecedent engine; start with the `antecedent` crate 584 2d ago antecedent-attribution cargo 2.2.0 clean Anomaly, distribution-change, root-cause, and Shapley attribution for the Antecedent causal inference engine; start with the `antecedent` crate 579 2d ago 