| typos-lsp cargo | 0.1.57 | none | 2 | Language server for typos, a source-code spell checker | 188 | 6d ago |
| olean-export cargo | 0.3.0 | none | none | Optimized library for reading Lean .olean files directly emitting lean4export-compatible NDJSON for external kernel checkers. | 91 | 6d ago |
| relaxng-cli cargo | 0.1.0 | none | none | Command-line RELAX NG schema checker and XML validator | | 6d ago |
| topology-checker-io cargo | 0.1.0 | none | none | Vector GIS I/O for topology-checker: GeoPackage, Shapefile, GeoJSON, FlatGeobuf, GeoParquet, KML and GPX | | 6d ago |
| topology-checker-core cargo | 0.1.0 | none | none | GDAL-free planar topology validation for geo geometries | | 6d ago |
| topology-checker cargo | 0.1.0 | none | 4 | Check GIS vector data for topology errors such as overlaps, gaps and dangles | | 6d ago |
| moonlight-bridge-codegen cargo | 0.5.1 | none | none | Schema compatibility checker and Java/Rust binding generator for MoonLightBridge | 102 | 7d ago |
| mdgl cargo | 0.3.1 | none | none | MDGL 0.1 parser, checker, evaluator, terminal-cell renderer and terminal player. | 8 | 7d ago |
| shuck-linter cargo | 0.2.4 | none | none | Lint rule engine and checker for shell scripts | 17K | 7d ago |
| ulua-analyze-cli cargo | 0.1.7 | none | none | Standalone Luau type-checker CLI (Rust). | 79 | 8d ago |
| ulua cargo | 0.1.7 | none | none | Pure Rust Luau compiler, register VM, and type checker | 111 | 8d ago |
| typeck-lang cargo | 0.3.0 | none | none | Profile-driven type checking over HIR: dynamic, gradual, static (generics, traits, inference), and Hindley-Milner from one checker. | 26 | 8d ago |
| tsr_pseudochecker cargo | 0.4.0 | none | none | Syntax-based type builder support for tsr | 122 | 9d ago |
| tsr_project cargo | 0.4.0 | none | none | Checker ownership and project slot lifetimes for tsr | 52 | 9d ago |
| tsr_checker cargo | 0.4.0 | none | none | TypeScript type checking and type queries for tsr | 126 | 9d ago |
| graphwalker-model-checker cargo | 1.0.4 | none | none | Model validation and checking for GraphWalker model-based testing | 132 | 9d ago |
| ulua-analysis cargo | 0.1.7 | none | none | Luau type checker and type inference (Rust). | 196 | 9d ago |
| tyml_parser cargo | 0.1.10 | none | none | TYML: type checker for markup language | 4.3K | 9d ago |
| polkadot-node-core-pvf-checker cargo | | – 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 | 9d ago |
| jsoncompat cargo | 0.4.3 | none | none | JSON Schema and OpenAPI Compatibility Checker | 43K | 10d ago |
| go-types cargo | 0.1.5 | none | none | The type checker of the Goscript project. | 8.0K | 10d ago |
| vacant cargo | 0.4.18 | none | 5 | Fast domain availability checker. Asks authoritative TLD nameservers directly instead of WHOIS. | 470 | 10d ago |
| heklang cargo | 0.11.1 | none | none | The total, event-sourced module language for hekla: lexer, parser, checker and interpreter | 419 | 10d ago |
| adya cargo | 0.1.0 | none | none | Black-box transactional isolation checker: finds G0, G1, G-single, G2 and friends in database histories. A native, JVM-free take on Jepsen's Elle. | 7 | 11d ago |
| page_validation cargo | 0.10.0 | none | none | A fast PDF accessibility and conformance checker. | 692 | 12d ago |
