| vconfig cargo | 0.1.2 | none | none | A native Rust decoder of TOML-formatted like files/streams. Provides implementations of deserializing TOML-formatted like files/streams to Rust structures with… | 2.2K | 6d ago |
| timeline_syncobj cargo | 0.2.1 | none | none | bindings for the timeline variant of drm_syncobjs | 1.8K | 4h ago |
| makeover-geometry cargo | | – 0.8.3 did not build | – | The invariant half of the make-family design system: relational spacing, radius, type scale, size classes and input density. Geometry never varies by theme,… | 1.7K | 3d ago |
| smix-verbs cargo | 16.2.0 | none | none | smix-verbs — canonical verb table (maestro ↔ smix mapping) shared by smix-adapter-maestro parser and smix-migrate codemod. Single source of truth for the… | 1.7K | 7h ago |
| af-agent-session cargo | 0.19.2 | none | none | Append-only Agent session events, invariants and deterministic projections. | 1.6K | 5d ago |
| tatara-platform-checks cargo | 0.4.5 | none | none | Platform-wide invariant checks over the registered tatara catalog. Each invariant walks the capability registries, asserting properties no single domain can… | 1.1K | 3d ago |
| nornir-build-thing cargo | 0.2.1 | none | none | Declarative cargo build variants + SLSA-style build-provenance attestation: a repo declares its buildable variants (embedded/minimal/full …) as data; build… | 1.0K | 5d ago |
| genebears cargo | | – 1.0.0 did not build | – | Lightweight Rust client for the GeneBe genetic variant annotation API with DuckDB caching and rate limiting | 952 | 1d ago |
| geometry-trait cargo | 0.0.12 | none | none | Concept traits (Point, Linestring, Ring, Polygon, multi-variants, …) for the Boost.Geometry Rust port — implement them for your own types. | 931 | 6d ago |
| ace-proto cargo | 0.6.0 | none | none | Raw frame wrappers with no protocol knowledge. Provides UDS, DoIP, and CAN Frames with mutable variants. | 895 | 8d ago |
| rom-weaver-checksum cargo | 0.21.0 | none | none | Checksum engines for rom-weaver: CRC-32, CRC-32C, CRC-16, Adler-32, MD5, SHA-1, SHA-256, and BLAKE3, plus a single-pass streaming engine with… | 775 | 4d ago |
| smix-authoring-propose cargo | 16.1.0 | none | none | smix-authoring-propose — the fenced authoring-proposal tier: a failed flow run's structured bundle to a local claude CLI, back as a machine-checkable proposal… | 644 | 20h ago |
| witness-mcdc-checker cargo | 0.44.0 | none | none | Pure-stdlib MC/DC independent-effect pair finder. The qualifiable kernel of witness — no I/O, no DWARF, no walrus, ~70 LoC of decision logic that… | 549 | 1h ago |
| degenbot-math cargo | 0.6.0-alpha.14 | none | none | Pure-Rust ports of canonical AMM invariant math — Uniswap V2 constant-product, V3/V4 concentrated liquidity, Curve StableSwap, Balancer… | 465 | 7d ago |
| teksilo-preview cargo | 0.17.1 | none | none | Storybook-style preview registry for Teksilo widgets — catalog trait, typed knobs and variants, with no GUI dependency. | 392 | 1d ago |
| engenho-substrate-props cargo | 0.53.131 | none | none | engenho-substrate-props — proptest property tests for engenho-substrate's typed primitives. Runs the full invariant suite (Plantio topo-sort acyclicity,… | 366 | 23h ago |
| vareffect cargo | 0.6.0 | none | none | Variant consequence prediction and HGVS notation, concordant with Ensembl VEP. | 353 | 2d ago |
| ppmd-turbo cargo | 0.1.1 | none | none | PPMd variant H (Ppmd7) compression and decompression, bit-exact with 7-Zip and RAR, performance-first | 199 | 5d ago |
| mylittleindicators cargo | 0.2.1 | none | none | Multi-stream financial indicators library — 556 bar indicators + 21 event primitives across 35 categories. Consumes 27 stream kinds from digdigdig3 exchange… | 194 | 3d ago |
| arris-check cargo | 0.8.0 | none | none | Arris kernel: the invariant checker | 184 | 1d ago |
| vareffect-cli cargo | 0.6.0 | none | none | CLI for vareffect — annotate genomic variants without Ensembl VEP | 178 | 1d ago |
| wickra-strategy-ci-core cargo | 0.2.0 | none | none | Data-driven core of Wickra Strategy-CI: golden-pin a strategy's backtest report, assert tolerances and invariant properties, and fuzz-test against seeded data… | 169 | 8d ago |
| decern-proof cargo | | – 0.4.0 did not build | – | SMT proof harness that machine-checks decern's authorization invariants with cvc5. | 115 | 4d ago |
| token-terminator cargo | 0.11.3 | none | none | Rust interoperability helpers for Token Terminator artifact identities and reduction invariants | 107 | 7d ago |
| backbone-timeoff cargo | 0.11.0 | none | high | leave / absence: types, requests, balances (+ drawdown invariant) | 106 | 3h ago |
| do-harness-types cargo | 0.2.1 | none | none | Schema contracts and executable invariants for the do-harness agent execution harness | 97 | 5d ago |
| scc-graph cargo | 0.2.11 | none | none | System Context Compiler graph: component/flow compilation, invariants, impact | 96 | 8d ago |
| rungbot-backtest cargo | 0.6.0 | none | none | Backtests and historical replays for the rungbot ladder: as-configured window runs, variant sweeps, a multi-window monthly verdict and cycle-top studies. Pure… | 44 | 5d ago |
| decdn-bao-range cargo | 0.1.0 | none | none | Leaf crate: iroh-blobs-free bao verified-range helpers (chunk-group alignment, encoded-size, range encode/verify) shared by decdn-cache (serve/import) and… | 39 | 7h ago |
| arcbox-tap-net cargo | 0.9.0 | none | none | The Linux TAP guest network: address pool, TAP devices, identity-invariant NAT (eBPF TCX or iptables), and the quarantine ledger behind arcbox-vm-driver's… | 38 | 7d ago |
