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-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 41m 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 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 25m ago assura-lsp cargo 0.6.0 1 detection 1 LSP server for the Assura contract language 1.6K 2d 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 10h ago loeres cargo 0.22.3 clean Loeres shared mathematical contracts: scalar, access, problem, solver, error, dimension. no_std, no alloc, no storage. 1.0K 17h ago jxr-core cargo 0.3.0 clean Shared JPEG XR decoder contracts 1.0K 1d ago brokk-mj-client cargo 2.34.0 clean Client-facing contracts and shared presentation helpers for Mjolnir 1.0K 13h ago inillucent-vfs cargo 2.3.4 clean First-party VFS contracts and the Windows, POSIX, and in-memory implementations. 1.0K 13h ago graphile_worker_admin_api cargo 0.1.5 clean Shared Graphile Worker admin API contracts and queries 974 1d ago molframe-core cargo 0.5.2 clean Core types, storage and analysis contracts for molframe 911 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 18h 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 12h ago loeres-cluster cargo 0.22.3 clean Loeres server-side solving: dynamic models, batch, orchestration, observability, and safe gateway contracts. std; server-only. 666 16h ago dag-ml-wasm cargo 0.3.40 clean WASM bindings for DAG-ML JSON contracts. 664 23h ago aprender-solve cargo 0.70.2 clean Dense linear algebra solvers — LU, QR, SVD, Cholesky with provable contracts 625 7h ago curvy-bindings cargo 0.1.0-rc.8 clean Alloy bindings and deterministic deployment helpers for Curvy v2 contracts 538 2d ago baijimu-bundle-plugin cargo 9.0.0 clean Public Baijimu Bundle plugin contracts, resource identities and pure protocol validation 485 2d ago 