| contracts cargo | 0.6.11 | clean | Design-by-contract attributes | 2M | 2d ago |
| pallet-contracts cargo | 50.0.0 | clean | FRAME pallet for WASM contracts | 800K | 7h ago |
| pallet-contracts-mock-network cargo | 30.0.0 | clean | A mock network for testing pallet-contracts | 624K | 2h ago |
| aprender-contracts-macros cargo | 0.70.2 | clean | Proc macros for compile-time contract enforcement — #[contract] attribute | 42K | 10h 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 | 10h ago |
| aprender-contracts-cli cargo | 0.70.2 | clean | CLI for provable-contracts — validate, scaffold, verify, status, audit | 6.3K | 8h ago |
| greentic-x-contracts cargo | 1.2.0-dev.37709708607 | clean | Bootstrap contract model crate for the Greentic-X workspace. | 6.0K | 1h ago |
| bunsen-contracts-macros cargo | 0.38.0 | clean | shape_contract![] proc-macro for bunsen-contracts | 1.6K | 22h ago |
| everruns-contracts cargo | 0.44.0 | clean | Shared runtime, provider, capability, and model profile contracts for Everruns | 832 | 1h ago |
| supercov-contracts cargo | 3.0.5 | clean | Frozen language-neutral contracts for the Supercov coverage engine | 676 | 6h ago |
| tidas-contracts cargo | 0.3.4 | clean | Stable machine-report and exit contracts for the TIDAS Rust toolchain | 260 | 4h ago |
| canisend-contracts cargo | 1.0.0-beta.12 | clean | Versioned public contracts for Rust-native CanISend | 217 | 2d ago |
| feagi-dataset-contracts cargo | 0.0.42 | clean | Shared, dependency-light data contracts for FEAGI dataset/experience interchange (Apache-2.0) | 199 | 8h 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 |
| cosmwasm-std cargo | 3.0.11-rc.0 | clean | Standard library for Wasm based smart contracts on Cosmos blockchains | 5M | 14h ago |
| cosmwasm-crypto cargo | 3.0.11-rc.0 | clean | Crypto bindings for CosmWasm contracts | 5M | 14h ago |
| cosmwasm-schema cargo | 3.0.11-rc.0 | clean | A dev-dependency for CosmWasm contracts to generate JSON Schema files. | 4M | 14h ago |
| pallet-revive cargo | 0.20.0 | clean | FRAME pallet for PolkaVM contracts. | 715K | 8h ago |
| cosmwasm-vm cargo | 3.0.11-rc.0 | clean | VM bindings to run CosmWasm contracts | 665K | 14h ago |
| cosmwasm-check cargo | 3.0.11-rc.0 | 7 vulnerabilities 7 | A CLI tool for verifying CosmWasm smart contracts | 196K | 14h ago |
| greentic-interfaces cargo | 1.2.0-dev.37708868984 | clean | Greentic ABI: WIT contracts, generated bindings, thin mappers | 110K | 2h ago |
| cw-schema cargo | 3.0.11-rc.0 | clean | A dependency for CosmWasm contracts to generate schema files for their messages. | 90K | 14h ago |
| pallet-vesting-precompiles cargo | 0.6.0 | clean | Vesting precompile exposing pallet-vesting to EVM contracts via pallet-revive. | 39K | 16m ago |
| greentic-bundle cargo | 1.2.0-dev.37709857113 | 7 vulnerabilities 7 | Greentic bundle authoring CLI scaffold with embedded i18n and answer-document contracts. | 18K | 2h ago |
| furiosa-opt-abi cargo | 0.9.0 | clean | ABI contracts shared by the Furiosa Opt host and device runtimes. | 13K | 16h ago |
| cranpose-ui-layout cargo | 0.9.12 | clean | Layout measurement and placement contracts for Cranpose UI | 12K | 12m ago |
| everruns-core cargo | 0.44.0 | clean | Transport-neutral agent execution contracts for Everruns | 12K | 1h ago |
