| cc-lb-plugin-wire cargo | 0.9.0 | clean | Wire types and schema versioning contract for cc-lb wasm plugin authors. | 2.2K | 23h ago |
| ruda-core cargo | 0.1.5 | clean | Shared types, device contracts and utilities for Ruda. | 2.2K | 3d ago |
| assura-config cargo | 0.6.0 | clean | Project configuration and output mode types for the Assura compiler | 2.1K | 2d ago |
| assura-stdlib cargo | 0.6.0 | clean | Assura standard library contracts and prelude types | 2.1K | 2d ago |
| assura-resolve cargo | 0.6.0 | clean | Name resolution and symbol table for the Assura contract language | 2.1K | 2d ago |
| assura-types cargo | 0.6.0 | clean | Type checking for the Assura contract language | 2.0K | 2d ago |
| assura-smt cargo | 0.6.0 | 1 detection 1 | SMT-based verification for Assura contracts via Z3 | 1.9K | 2d ago |
| assura-codegen cargo | 0.6.0 | clean | Rust code generation from type-checked Assura contracts | 1.9K | 2d ago |
| assura-rust-analyzer cargo | 0.6.0 | clean | Parse inline contract annotations from Rust doc comments | 1.9K | 2d ago |
| assura-pipeline cargo | 0.6.0 | 1 detection 1 | Shared compiler pipeline for the Assura language | 1.8K | 2d ago |
| saddle-core cargo | 0.3.35 | clean | Shared contracts for Saddle components | 1.8K | 1h ago |
| epics-rtems-boot cargo | 0.31.0 | clean | RTEMS boot shim (POSIX_Init + kernel configuration), link contract, and the per-OS IOC statistics funnel for epics-rs IOCs | 1.7K | 23h ago |
| assura-fmt cargo | 0.6.0 | clean | Source code formatter for the Assura contract language | 1.7K | 2d ago |
| fallow-security cargo | 3.32.0 | clean | Shared security catalogue contracts for fallow | 1.7K | 1d ago |
| fallow-output cargo | 3.32.0 | clean | Output contract types for fallow reports | 1.7K | 1d ago |
| lenso-capability-http-endpoint cargo | 0.3.9 | clean | Portable HTTP Endpoint Capability contract for Lenso backend Plugins. | 1.7K | 1d ago |
| lingxia-provider cargo | 0.21.0 | clean | LingXia host/provider contracts | 1.7K | 18h ago |
| assura-llm cargo | 0.6.0 | clean | LLM provider abstraction and contract analysis for Assura | 1.6K | 2d ago |
| assura-mcp cargo | 0.6.0 | 1 detection 1 | MCP (Model Context Protocol) server for Assura AI agent integration | 1.6K | 2d ago |
| ruda-tensor cargo | 0.21.36 | clean | Ruda tensor operations, backend contracts, and framework-facing primitives. | 1.6K | 53m ago |
| assura-lsp cargo | 0.6.0 | 1 detection 1 | LSP server for the Assura contract language | 1.6K | 2d ago |
| baijimu-cmodel-core cargo | 10.0.0 | clean | Framework-neutral CModel Error Contract types | 1.5K | 1d ago |
| baracuda-cutensor-sys cargo | 0.0.1-alpha.86 | clean | Raw FFI bindings and dynamic loader for NVIDIA cuTENSOR (tensor contraction). | 1.5K | 1d ago |
| fallow-api cargo | 3.32.0 | clean | Programmatic API contract types for fallow | 1.4K | 1d ago |
| baijimu-cmodel-http cargo | 10.0.0 | clean | Framework-neutral HTTP support for the CModel Error Contract | 1.3K | 1d ago |
| minip2p-transport cargo | 0.7.4 | clean | Sans-I/O transport contract and lifecycle types for minip2p | 1.3K | 22h ago |
| cortexkit-role-tool-provider cargo | 0.5.1 | clean | Wire contract of the CortexKit tool-provider/v1 role: role.describe, tool.catalog, call_key, tool.withdraw and late-result names. | 1.3K | 1d ago |
| mhome-core-api cargo | 1.25.0 | clean | Shared wire types and service contracts for the mHome core | 1.2K | 1d ago |
| minip2p-platform cargo | 0.7.4 | clean | Portable clock, deadline, and entropy contracts for minip2p | 1.1K | 22h ago |
| tsift-local-model cargo | 0.1.105 | clean | Local model profile, GPU probe, and lifecycle contracts for tsift Knowledge Graph extraction | 1.1K | 11h ago |
