| natural_syntax_ls cargo | 0.0.2 | 2 vulnerabilities 2 | Natural language syntax highlighting. | 2.4K | 2d ago |
| rquickjs-extra-url cargo | 0.3.0 | clean | URL module for RQuickJS | 2.3K | 1d ago |
| assura-ast cargo | 0.6.0 | clean | Assura AST types (Spanned, Expr, Decl, etc.) - the compiler IR | 2.3K | 5d ago |
| assura-diagnostics cargo | 0.6.0 | clean | Unified diagnostic types for the Assura compiler | 2.3K | 5d ago |
| turbovault-audit cargo | 3.2.0 | clean | Operation audit trail, snapshot storage, and rollback for TurboVault | 2.3K | 3d ago |
| crabka-security cargo | 0.4.1 | clean | TLS, SASL, SCRAM, OAuth, and Kerberos security utilities for Crabka | 2.3K | 5d ago |
| assura-parser cargo | 0.6.0 | clean | Lexer, parser, and AST for the Assura contract language | 2.3K | 5d ago |
| furnel cargo | 0.1.4 | clean | A command-line utility to compress files using the brotli algorithm | 2.2K | 4d ago |
| dwbase-security cargo | 1.2.1 | clean | DWBase: agent-first immutable atom store, components, and tools. | 2.2K | 1h ago |
| assura-config cargo | 0.6.0 | clean | Project configuration and output mode types for the Assura compiler | 2.1K | 5d ago |
| assura-stdlib cargo | 0.6.0 | clean | Assura standard library contracts and prelude types | 2.1K | 5d ago |
| kyomi-datasource cargo | 1.6.2 | clean | Database provider implementations for Kyomi Connect | 2.1K | 1d ago |
| ruRAND cargo | 0.1.90 | clean | Random number generation for Ruda. | 2.1K | 2h ago |
| assura-resolve cargo | 0.6.0 | clean | Name resolution and symbol table for the Assura contract language | 2.1K | 5d ago |
| axiolid-curve cargo | 0.3.7 | clean | Exact, format-neutral curve values: lines, conics, B-splines, natural-equation and elevated curves. | 2.1K | 1d ago |
| assura-types cargo | 0.6.0 | clean | Type checking for the Assura contract language | 2.0K | 5d ago |
| mockforge-security-core cargo | 0.3.232 | clean | Security and encryption primitives for MockForge | 2.0K | 1d ago |
| axiolid-surface cargo | 0.3.3 | clean | Exact, format-neutral surface values: planes, quadrics, tori, and B-spline patches. | 2.0K | 1d ago |
| bobcat-features cargo | 0.11.9 | 1 vulnerability 1 | bobcat-sdk utilities for feature flagged release on Arbitrum Stylus. | 2.0K | 2d ago |
| tauri-plugin-core cargo | 2.0.0-beta.0 | clean | Core is a reserved Tauri plugin name | 2.0K | 3d ago |
| surrealdb-server cargo | | not built 3.3.1 did not build | A scalable, distributed, collaborative, document-graph database, for the realtime web | 2.0K | 4d ago |
| assura-smt cargo | 0.6.0 | 1 detection 1 | SMT-based verification for Assura contracts via Z3 | 1.9K | 5d ago |
| assura-codegen cargo | 0.6.0 | clean | Rust code generation from type-checked Assura contracts | 1.9K | 5d ago |
| survival cargo | 2.0.0 | clean | A high-performance survival analysis library written in Rust with Python bindings | 1.9K | 17h ago |
| assura-rust-analyzer cargo | 0.6.0 | clean | Parse inline contract annotations from Rust doc comments | 1.9K | 5d ago |
| axiolid-measure cargo | 0.3.10 | clean | Metric properties: area, volume, centroid, moments of inertia. | 1.9K | 2d ago |
| assura-pipeline cargo | 0.6.0 | 1 detection 1 | Shared compiler pipeline for the Assura language | 1.8K | 5d ago |
| rust-curl cargo | 0.1.2 | 8 vulnerabilities 8 | A minimal HTTP client with no dependencies | 1.8K | 3d ago |
| tauri-plugin-syncular cargo | | not built 0.31.0 did not build | A native syncular client inside the Tauri process, exposed to the webview as commands + events (consumes the Rust client core directly — no FFI) | 1.8K | 4d ago |
| fallow-security cargo | 3.33.1 | clean | Shared security catalogue contracts for fallow | 1.8K | 2d ago |
