appcui cargo 0.5.4 clean A feature-rich and cross-platform TUI/CUI framework for Rust, enabling modern terminal-based applications on Windows, Linux, and macOS. Includes built-in UI… 16K 16h ago oxiz-proof cargo 0.3.4 clean Proof generation and checking for OxiZ SMT solver 14K 2d ago smooai-smooth-operator-core cargo 1.14.2 clean Polyglot AI agent orchestration core — agents, workflows, tools, checkpointing, memory, HITL, cost. 11K 2d ago vize_patina cargo 0.442.0 clean Patina - The quality checker for Vize code linting 9.4K 6h ago go-types cargo 0.1.5 clean The type checker of the Goscript project. 8.0K 2d ago pil2-std-lib cargo not built 1.3.2-alpha did not build PIL2 standard library: range checks, lookups, and sum/product arguments for proofman 7.8K 1d ago ignored cargo 0.0.6 clean A Rust implementation of the .gitignore file format for quickly checking whether a path is ignored by git - without invoking the git cli. 7.7K 2d ago vize_canon cargo 0.442.0 clean Canon - The standard of correctness for Vize type checking 7.2K 6h ago fontspector-profile-googlefonts cargo 1.10.0 1 detection 1 Fontspector checks for OpenType fonts according to Google Fonts requirements 5.2K 1d ago fontspector-profile-universal cargo 1.9.0 1 detection 1 Fontspector checks for OpenType font best practices 5.1K 1d ago car-validator cargo 0.57.2 clean Precondition checking and action validation for Common Agent Runtime 5.1K 15h ago ic-mldsa cargo 0.2.24 clean ML-DSA-44, ML-DSA-65 and ML-DSA-87 (FIPS 204) post-quantum signatures for IronCrypto, each checked against NIST ACVP vectors 5.0K 7m ago ic-mlkem cargo 0.2.24 clean ML-KEM-512, ML-KEM-768 and ML-KEM-1024 (FIPS 203) post-quantum key encapsulation for IronCrypto, each checked against NIST ACVP vectors 5.0K 6m ago rusty-hash cargo 1.1.0 7 vulnerabilities 7 Simple cli utility to calculate file checksums 4.9K 2d ago get-git cargo 0.3.0 clean Download one file or directory from a GitHub repository without checking out the rest 4.8K 5d ago bestool-alertd cargo 28.4.2 clean (Internal) BES tooling: healthcheck daemon 4.7K 1d ago rudb-txn cargo 0.9.3 clean MVCC versions, the write-ahead log and checkpointing. 4.7K 2d ago smooai-smooth-operator-adapter-dynamodb cargo 1.65.0 clean DynamoDB single-table StorageAdapter for smooth-operator — the AWS-serverless backend (DynamoDB OLTP + checkpoints, S3 Vectors / brute-force DynamoDB knowledge… 4.4K 1d ago smooai-smooth-operator-adapter-postgres cargo 1.65.0 clean Postgres + pgvector StorageAdapter for smooth-operator — the dogfood backend (Postgres OLTP, PostgresCheckpointStore, pgvector hybrid retrieval). 4.4K 1d ago tyml_parser cargo 0.1.10 clean TYML: type checker for markup language 4.3K 2d ago fontspector-profile-opentype cargo 1.7.1 1 detection 1 Fontspector checks for OpenType font specification compliance 4.2K 1d ago baracuda-cutlass-sys cargo 0.0.1-alpha.86 1 detection 1 Header acquisition for NVIDIA CUTLASS as a baracuda workspace dependency. Sparse-checkout fetch with file-locked caching; emits cargo:include for downstream… 3.7K 3d ago which-rs cargo 0.1.1 clean Check for and locate installed executables from Rust. 3.6K 2d ago sz-orm-sql-validator cargo 9.4.0 clean Runtime SQL validation: SELECT-only, injection detection, type checking 3.5K 4d ago rucc-sema cargo 0.30.0 clean Type checking, conversions, initialization, constant evaluation, and the typed AST. 3.4K 16h ago epubveri cargo 0.24.0 clean Pure-Rust EPUB validator — a fast, JVM-free, embeddable alternative to epubcheck. 3.4K 1d ago rucc-regalloc cargo 0.30.0 clean Both register allocators and the allocation checker. 3.2K 16h ago camel-health cargo 0.57.0 clean Health check HTTP endpoints and standalone server for rust-camel 2.8K 2d ago cargo-cratesup cargo 0.2.0 clean 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 20h ago time-utils cargo 0.1.0 clean Tetsy Time utilities for checked arithmetic 2.7K 2d ago 