| harper-html cargo | 2.13.0 | none | none | The language checker for developers. | 44K | 1d ago |
| harper-brill cargo | 2.13.0 | none | none | The language checker for developers. | 46K | 1d ago |
| harper-comments cargo | 2.13.0 | none | none | The language checker for developers. | 47K | 1d ago |
| harper-tree-sitter cargo | 2.13.0 | none | none | The language checker for developers. | 44K | 1d ago |
| harper-core cargo | 2.13.0 | none | none | The language checker for developers. | 123K | 1d ago |
| typelisp-front cargo | 0.3.0 | none | none | Type checker, interpreter, module loader and standard library of typelisp. Internal crate of typelisp; not meant to be used directly. | 65 | 1d ago |
| catallaxy-compiler cargo | 0.4.1 | none | none | Parser, type checker and bytecode compiler for the Catallaxy language | 110 | 1d ago |
| grund cargo | 0.18.0 | none | high | The polyglot reference checker: validate and read ID-based citations across Markdown docs and source-code doc-comments. | 1.2K | 2d ago |
| ridl-sem cargo | 0.11.0 | none | none | The RIDL family per-profile semantic passes: the package resolver and the package checker. | 211 | 2d ago |
| ordeal-lrat cargo | 0.32.0 | none | none | Ordeal's LRAT certificate checker — the sole trusted component | 15K | 2d ago |
| ssg-a11y cargo | 0.0.68 | none | none | Standalone WCAG 2.2 AA accessibility checker — build-time HTML validation, framework-agnostic. | 1.3K | 2d ago |
| pdf-toolkit-edit cargo | 0.3.13 | none | none | Incremental PDF updates that keep the original bytes, plus a writer and editor round-trip checker | 40 | 2d ago |
| witness-mcdc-checker cargo | 0.45.0 | none | none | Pure-stdlib MC/DC independent-effect pair finder. The qualifiable kernel of witness — no I/O, no DWARF, no walrus, ~70 LoC of decision logic that… | 549 | 2d ago |
| grund-core cargo | 0.18.0 | none | none | Core engine for grund: scanner, checker, show, fmt, config, and shared data APIs. | 1.4K | 2d ago |
| kova-docs-lint cargo | 0.1.0 | none | none | Frontmatter linter, link checker, and write-boundary validator for docs/agent | 10 | 2d ago |
| nova-typeck cargo | 0.3.2 | none | none | The Nova language's type checker (internal to the nova toolchain) | 82 | 3d ago |
| bourbaki-engine cargo | 0.2.1 | none | none | A proof checker for Bourbaki's Theory of Sets: proofs are written the way the book writes them and checked down to the axioms | 23 | 3d ago |
| viability-gate cargo | 0.4.0 | none | none | Offline, deterministic pre-submission checker for smart-contract audit findings. Heuristic, in-sample calibrated. | 17 | 3d ago |
| near-schema-checker-macro cargo | 0.38.0-rc.4 | none | none | ProtocolSchema macro implementation to check integrity of the protocol structs | 609K | 3d ago |
| near-schema-checker-core cargo | 0.38.0-rc.4 | none | none | Helper for ProtocolSchema macro allowing to collect all protocol structs | 609K | 3d ago |
| near-schema-checker-lib cargo | 0.38.0-rc.4 | none | none | ProtocolSchema macro allowing to check sanity of all protocol structs | 609K | 3d ago |
| mago-semantics cargo | 1.57.0 | none | none | PHP Semantics Checker. | 44K | 4d ago |
| zmailok cargo | 0.1.2 | none | 2 | Email deliverability checker. One command, one score, one fix list. | 25 | 4d ago |
| arris-check cargo | 0.8.0 | none | none | Arris kernel: the invariant checker | 184 | 5d ago |
| cqlc-core cargo | 1.0.1 | none | none | CQL lexer, parser, schema resolver, type checker and typed IR for cqlc | 36 | 5d ago |
| tla-mc cargo | 0.1.2 | 1 | none | A fast TLA+ model checker: compiles a spec into a native, parallel checker; state counts measured exact against TLC | 20 | 5d ago |
| tla-checker cargo | 0.24.7 | none | 4 | A TLA+ model checker written in Rust | 2.8K | 5d ago |
| hshchk cargo | 0.2.0 | none | none | A command-line file tree hash checker | 1.7K | 5d ago |
| mimas-solve cargo | 0.4.0 | none | none | Type solver and checker for the mimas language. Internal to mimas; not intended for direct use. | 163 | 5d ago |
| mq-check cargo | 0.9.3 | none | none | Type checker for mq | 872 | 5d ago |
