check-if-email-exists cargo 0.11.8 clean Check if an email address exists without sending any email 244K 3d ago slop-sumcheck cargo 6.9.0 clean Sumcheck protocol implementation for multilinear polynomials 582K 19h ago pctx_type_check_runtime cargo 0.2.1 2 detections 2 Isolated TypeScript type checking runtime for PCTX 416K 5d ago cosmwasm-check cargo 2.2.11 8 vulnerabilities 8 A CLI tool for verifying CosmWasm smart contracts 196K 2d ago polkadot-node-core-pvf-checker cargo not built 35.0.0 did not build Polkadot crate that implements the PVF pre-checking subsystem. Responsible for checking and voting for PVFs that are pending approval. 195K 2d ago zng-wgt-checkerboard cargo 0.16.0 clean Part of the zng project. 62K 1d ago domaincheck cargo 0.5.10 clean Check domainname availability on CLI using RDAP (with WHOIS fallback) 26K 1d ago monty-type-checking cargo 1.1.0 clean A secure, snapshotable Python sandbox written in Rust. 14K 5d ago brepkit-check cargo 4.1.48 clean Topology algorithms: classification, validation, properties, distance 7.0K 1d ago panproto-check cargo 0.76.0 clean Breaking change detection for panproto 6.1K 1d ago domain-check cargo 1.1.0 clean A fast CLI tool for checking domain availability using RDAP with WHOIS fallback 5.7K 21h ago fontspector-checkapi cargo 1.9.0 1 detection 1 Library for developing checks for the fontspector font QA tool 5.6K 1d ago tui-checkbox cargo 0.4.7 clean A customizable checkbox widget for Ratatui TUI applications 5.2K 7h ago fontspector-checkhelper cargo 1.1.0 clean Macros for generating check functions for fontspector 3.8K 1d ago domain-check-lib cargo 1.1.0 clean A fast, robust library for checking domain availability using RDAP and WHOIS protocols 3.7K 2d ago tla-checker cargo 0.24.4 4 vulnerabilities 4 A TLA+ model checker written in Rust 2.7K 1d ago bynk-check cargo 0.314.23 clean The semantic-analysis layer of the Bynk compiler: name resolution, type checking, the kernel and builtin registries, first-party sources, and the analysis… 2.0K 20h ago sp1-gpu-zerocheck cargo 6.9.0 8 detections 8 GPU-accelerated zerocheck protocol for SP1 1.9K 18h ago sp1-gpu-jagged-sumcheck cargo 6.9.0 8 detections 8 GPU-accelerated sumcheck for jagged polynomials 1.8K 18h ago blue-lang-check cargo 0.0.64 clean 0.0.65 did not build blue's typing ladder: zero analysis at rung 0, checked where declared, obligations discharged at the seam. 1.7K 4h ago apollo-healthcheck cargo 0.5.2 clean Health probe service for the Apollo platform (liveness, readiness, and startup endpoints) 1.5K 3d ago introspection-recipe-check cargo not built 0.9.0 did not build Pure Introspection Recipe validation engine 1.2K 3h ago tatara-platform-checks cargo not built 0.4.2 did not build Platform-wide invariant checks over the registered tatara catalog. Each invariant walks the capability registries, asserting properties no single domain can… 1.1K 3h ago rom-weaver-checksum cargo 0.21.0 clean Checksum engines for rom-weaver: CRC-32, CRC-32C, CRC-16, Adler-32, MD5, SHA-1, SHA-256, and BLAKE3, plus a single-pass streaming engine with… 775 18h ago brokk-mj-checkpoint cargo 2.41.0 clean Checkpoint archives and native session relocation for Mjolnir 749 1d ago smysl-check cargo 1.9.0 clean smysl conformance, epistemic, and structural check passes 744 3d ago dispocheck cargo 0.2.32 clean 0.2.34 did not build Fast, production-ready disposable email detection for Rust with compile-time optimized lookups. 508 4d ago hyperdb-compile-check cargo not built 1.0.0-rc.5 did not build Compile-time SQL validation logic for hyperdb-api (not a proc-macro) 393 4d ago smolvm-checkpoint cargo 1.26.1 clean Incremental checkpoint storage and portable export for SmolVM 248 12h ago arris-check cargo 0.6.0 clean Arris kernel: the invariant checker 153 2d ago 