| cargo-cratesup cargo | 0.2.0 | none | none | A Cargo subcommand that scans your Cargo.toml dependencies and checks for available updates to help you keep your dependencies up-to-date. | 2.7K | 5d ago |
| watasu cargo | 0.1.75 | none | none | Rust SDK for Watasu | 2.7K | 1d ago |
| world-id-issuer cargo | 0.15.0 | none | none | World ID Issuer crate | 2.6K | 2d ago |
| osu-lazer-manager cargo | 1.0.2 | none | 4 vulnerabilities 4 | Manages osu!lazer | 2.5K | 2d ago |
| tari_consensus_types cargo | 0.46.1 | none | none | Consensus types for Tari Ootle | 2.5K | 21h ago |
| pathfinder-consensus cargo | 0.24.2 | none | none | Pathfinder Consensus | 2.5K | 7d ago |
| assura-ast cargo | 0.6.0 | none | none | Assura AST types (Spanned, Expr, Decl, etc.) - the compiler IR | 2.3K | 9d ago |
| assura-diagnostics cargo | 0.6.0 | none | none | Unified diagnostic types for the Assura compiler | 2.3K | 9d ago |
| assura-parser cargo | 0.6.0 | none | none | Lexer, parser, and AST for the Assura contract language | 2.3K | 9d ago |
| terminal-commander-supervisor cargo | 0.3.15 | none | none | Cross-platform supervisor for Terminal Commander daemon — IPC bring-up, peer identity, ensure-daemon helpers. | 2.3K | 5d ago |
| anodizer-stage-checksum cargo | 0.29.0 | none | none | Checksum stage for the anodizer release tool — generates SHA, SHA-3, BLAKE2, BLAKE3, CRC32, and MD5 checksums | 2.2K | 3d ago |
| assura-config cargo | 0.6.0 | none | none | Project configuration and output mode types for the Assura compiler | 2.1K | 9d ago |
| assura-stdlib cargo | 0.6.0 | none | none | Assura standard library contracts and prelude types | 2.1K | 9d ago |
| assura-resolve cargo | 0.6.0 | none | none | Name resolution and symbol table for the Assura contract language | 2.1K | 9d ago |
| assura-types cargo | 0.6.0 | none | none | Type checking for the Assura contract language | 2.0K | 9d ago |
| rs-suno cargo | 0.42.4 | none | none | A download-only command-line tool for mirroring your Suno.ai library. | 2.0K | 8h ago |
| rx_core_subscriber_higher_order cargo | 0.3.0 | none | none | higher_order subscriber provider for rx_core | 2.0K | 5d ago |
| axiolid-surface cargo | 0.3.3 | none | none | Exact, format-neutral surface values: planes, quadrics, tori, and B-spline patches. | 2.0K | 4d ago |
| j2k-metal-support cargo | 0.12.0 | none | none | Checked Metal resource and runtime helpers for J2K adapters | 2.0K | 8d ago |
| assura-smt cargo | 0.6.0 | 1 detection 1 | none | SMT-based verification for Assura contracts via Z3 | 1.9K | 9d ago |
| assura-codegen cargo | 0.6.0 | none | none | Rust code generation from type-checked Assura contracts | 1.9K | 9d ago |
| tosub cargo | 4.0.0 | none | none | A subsystem lifecycle management library for tokio applications | 1.9K | 6d ago |
| assura-rust-analyzer cargo | 0.6.0 | none | none | Parse inline contract annotations from Rust doc comments | 1.9K | 9d ago |
| axiolid-measure cargo | 0.3.10 | none | none | Metric properties: area, volume, centroid, moments of inertia. | 1.9K | 5d ago |
| sp1-gpu-jagged-sumcheck cargo | 6.9.0 | 8 detections 8 | none | GPU-accelerated sumcheck for jagged polynomials | 1.8K | 5d ago |
| assura-pipeline cargo | 0.6.0 | 1 detection 1 | none | Shared compiler pipeline for the Assura language | 1.8K | 9d ago |
| crabka-client-consumer cargo | 0.4.1 | none | none | Subscribe-style consumer client for Apache Kafka in Rust | 1.7K | 8d ago |
| dictator-supreme cargo | 0.25.1 | none | none | Supreme decree - universal structural rules for Dictator | 1.7K | 5d ago |
| assura-fmt cargo | 0.6.0 | none | none | Source code formatter for the Assura contract language | 1.7K | 9d ago |
| astrid-capsule cargo | 2026.10.0 | none | none | Core runtime management for User-Space Capsules in Astrid OS | 1.6K | 22h ago |
