| contracts cargo | 0.6.11 | clean | Design-by-contract attributes | 2M | 3d ago |
| pallet-contracts cargo | 50.0.0 | clean | FRAME pallet for WASM contracts | 800K | 8h ago |
| pallet-contracts-mock-network cargo | 30.0.0 | clean | A mock network for testing pallet-contracts | 624K | 3h ago |
| starknet-rust-contract cargo | 0.20.0 | clean | Types and utilities for Starknet smart contract deployment and interaction | 136K | 15h ago |
| aprender-contracts-macros cargo | 0.70.2 | clean | Proc macros for compile-time contract enforcement — #[contract] attribute | 42K | 11h ago |
| aprender-contracts cargo | 0.70.2 | clean | Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels | 36K | 11h ago |
| heddle-perf-contract cargo | 0.28.13 | clean | Low-overhead counters for Heddle's executable performance contracts. | 8.9K | 1h ago |
| greentic-extension-sdk-contract cargo | 1.2.24-dev.37708853202 | clean | Contract types and describe.json schema for Greentic Designer Extensions | 8.8K | 3h ago |
| aprender-contracts-cli cargo | 0.70.2 | clean | CLI for provable-contracts — validate, scaffold, verify, status, audit | 6.3K | 9h ago |
| greentic-x-contracts cargo | 1.2.0-dev.37709708607 | clean | Bootstrap contract model crate for the Greentic-X workspace. | 6.0K | 2h ago |
| bunsen-contracts-macros cargo | 0.38.0 | clean | shape_contract![] proc-macro for bunsen-contracts | 1.6K | 23h ago |
| pacta-contract cargo | 0.3.3 | clean | The isolated core contract for Pacta: durable lifecycle vocabulary and a sans-I/O kernel. | 876 | 1d ago |
| type-bridge-contract cargo | 2.2.3 | clean | Versioned binding-neutral contract primitives for type-bridge | 870 | 20h ago |
| heddle-cli-contract cargo | 0.28.10 | clean 0.28.12 did not build | Heddle's CLI verb catalog, schemas, help, and recovery contract. | 858 | 2d ago |
| lingxia-windows-contract cargo | 0.21.0 | clean | Windows host UI contracts (traits, types, registry) shared between the LingXia logic layer and the Windows SDK implementation | 840 | 17h ago |
| everruns-contracts cargo | 0.44.0 | clean | Shared runtime, provider, capability, and model profile contracts for Everruns | 832 | 2h ago |
| supercov-contracts cargo | 3.0.5 | clean | Frozen language-neutral contracts for the Supercov coverage engine | 676 | 7h ago |
| octosense-app-contract cargo | 1.5.0 | clean | The OctoSense app contract: app manifests, the policy an app gets, package integrity and running a package | 378 | 22h ago |
| tidas-contracts cargo | 0.3.4 | clean | Stable machine-report and exit contracts for the TIDAS Rust toolchain | 260 | 5h ago |
| razeri-plugin-contract cargo | 0.11.0 | clean | The dialect contract Razeri plugins are written against — rendering traits, data types, platform identity | 218 | 2d ago |
| canisend-contracts cargo | 1.0.0-beta.12 | clean | Versioned public contracts for Rust-native CanISend | 217 | 2d ago |
| everruns-cli-contract cargo | 0.44.0 | clean | The `everruns` command-line contract: one grammar, shared by the CLI and the agent-facing command tree. | 214 | 1h ago |
| feagi-dataset-contracts cargo | 0.0.42 | clean | Shared, dependency-light data contracts for FEAGI dataset/experience interchange (Apache-2.0) | 199 | 9h ago |
| sigorta-contract cargo | 0.1.6 | clean | A sans-I/O, single-instance circuit-breaking core. | 192 | 1d ago |
| lns-artifact-contract cargo | 0.3.0 | clean | Shared LNS artifact document and OCI media-type contract | 165 | 20h ago |
| fv-contract cargo | 0.2.0 | clean | The FusionVault contract: ontology schemas, cross-language conformance vectors, and generated catalogues, embedded at compile time. | 71 | 1d ago |
| arete-solana-contracts cargo | 0.2.0 | clean | Versioned managed Solana read and discovery contracts | 43 | 2d ago |
| hawdb-nowledge-contracts cargo | 0.4.0 | clean | An embedded Rust graph database for local data-plane workloads | 26 | 1d ago |
| hawdb-fuzz-contracts cargo | 0.4.0 | clean | An embedded Rust graph database for local data-plane workloads | 23 | 1d ago |
| sos-contracts cargo | 0.6.1 | clean | Generated Rust Protobuf (prost) types for the SOS-Framework contract SSoT. | 12 | 1d ago |
