proofman-exps-codegen cargo 1.3.2-alpha clean Expression code generation for the PIL2 proofman framework 7.0K 3d ago rustest cargo 0.3.1 clean Better test your program. 7.0K 4d ago brepkit-operations cargo 4.1.49 clean CAD modeling operations (booleans, fillets, extrusions) for brepkit 7.0K 1d ago j2k-types cargo 0.12.0 clean Shared JPEG 2000 and HTJ2K codec value contracts and dispatch accounting 7.0K 6d ago greentic-oauth-client cargo 1.2.0-dev.38038715621 clean Lightweight HTTP client for initiating OAuth flows against the Greentic OAuth Broker. 7.0K 2d ago pil2-stark-setup cargo not built 1.3.2-alpha did not build Setup and proving/verifying-key generation for the pil2-stark prover 7.0K 3d ago vta-webvh cargo not built 0.16.0 did not build WebVH hosting infrastructure for the VTA — the local did:webvh DID-record and hosting-server store 7.0K 8h ago bootc-internal-mount cargo 1.17.1 clean Internal implementation component of bootc; do not use 7.0K 5d ago flatbuffers-util cargo 0.1.2 clean flatbuffers utilities. 7.0K 4d ago csskit_transform cargo not built 0.0.36-canary.154838b3c8 did not build AST transformation and minification utilities for CSS. 7.0K 13h ago vta-vault cargo not built 0.18.0 did not build VTA holder credential vault — storage, query, receive/verify, present, and status refresh for credentials a holder stores on a VTA 6.9K 8h ago arch-titan-types-api cargo 2.0.0 clean API endpoint request/response types for Titan bitcoin and runes indexer 6.9K 1d ago vta-audit cargo not built 0.15.0 did not build Structured audit logging for the VTA — the `audit!` tracing macro plus the audit-keyspace persistence helpers 6.9K 8h ago ecitygml-core cargo 0.0.2-alpha.6 clean Core primitives and operations for processing CityGML data. 6.9K 3d ago json-ptr cargo 0.3.6 clean A crate for parsing and using JSON pointers, as specified in RFC 6901. 6.9K 4d ago shoes cargo 0.3.2 clean A multi-protocol proxy server. 6.9K 6d ago fastmcp-protocol cargo not built 0.12.0 did not build MCP protocol types and JSON-RPC implementation 6.9K 4d ago systemprompt-content cargo not built 0.65.0 did not build Markdown content management, sources, and event tracking for systemprompt.io AI governance dashboards. Governed publishing pipeline for the MCP governance… 6.9K 3d ago mq-repl cargo 0.9.3 clean Read-Eval-Print Loop (REPL) for mq query language 6.9K 15h ago bobcat-storage cargo 0.11.9 clean bobcat-sdk utilities for accessing storage on Arbitrum Stylus. 6.9K 3d ago greentic-dw-memory-long-term cargo 1.2.0-dev.38213924833 clean Shared long-term memory contract for Greentic DW. 6.9K 21h ago fsys cargo 1.1.3 clean Filesystem IO for Rust storage engines: journal substrate, io_uring, NVMe passthrough, atomic writes, cross-platform durability. 6.9K 4d ago vta-policy cargo not built 0.15.0 did not build VTA policy subsystem — the regorus (Rego) engine, the default policy bundle, consent model, and decision evaluators 6.9K 8h ago ltk_wad cargo 0.5.10 clean WAD archive reading/writing for League Toolkit 6.9K 17h ago fedimint-server-bitcoin-rpc cargo 0.13.0-beta.1 clean Bitcoin RPC implementations for Fedimint server 6.9K 3d ago panproto-protocols cargo 0.76.1 clean Built-in protocol definitions for panproto 6.9K 1d ago rship-entities-tags cargo 4.0.0-canary.137 clean Tags entities for rship 6.9K 1d ago rudb-encoding cargo 0.9.3 clean Every encoding, the cascade machinery, the cost model and multi-column detection. 6.9K 4d ago gnostr-git2-hooks cargo 971106.1845.126068 clean adds git hooks support based on git2-rs 6.9K 13h ago cosmolkit-macros cargo 0.5.0 clean Next-generation operation body macros for COSMolKit 6.9K 2d ago 