qail-core cargo 3.0.0 clean QAIL AST Kernel - typed query AST, schema validation, RLS context, and native access policy 3.6K 1d ago sz-orm-sql-validator cargo 9.4.0 clean Runtime SQL validation: SELECT-only, injection detection, type checking 3.5K 1d ago kaiv cargo 0.15.0 clean Reference implementation of the kaiv format (Levels 0-3): lexer, compiler, denormalizer, schema compiler, validator 3.3K 1d ago node-app-manifest cargo 7.5.20 clean Canonical manifest schema and validation contract for Node apps 3.3K 16h ago meerkat-mob-pack cargo 0.8.51 clean Mobpack format types and validation primitives 3.2K 2d ago formualizer-sheetport cargo 0.11.0 clean SheetPort runtime: bind manifests to workbooks, validate IO, and run sessions deterministically 2.9K 16h ago synth-verify cargo 0.81.0 clean SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle) 2.7K 8h ago greentic-sorla-lib cargo 1.2.0-dev.37710159493 clean Reusable library facade for Greentic SoRLa authoring, validation, and handoff artifacts. 2.6K 1h ago sheetport-spec cargo 0.3.2 clean SheetPort spec: schema, validation, and fio-lint CLI for portable spreadsheet IO 2.5K 16h ago greentic-x cargo 1.2.0-dev.37709708607 6 vulnerabilities 6 Greentic-X CLI for catalog-driven composition, scaffolding, validation, and simulation. 2.0K 1h ago dbmd-core cargo 0.14.6 clean Reference library for db.md, the open standard for databases in plain files. Parsing, store walk, wiki-link graph, validation, query, and write-through… 1.9K 1d ago openehr-sdt cargo 0.0.86 clean openEHR Simplified Data Template formats (FLAT / STRUCTURED / Web Template / TDD), template-independent RM-instance validation, and the SMART on openEHR scope… 1.8K 1d ago trojan-config cargo 0.15.0 clean Configuration loading and validation for trojan-rs 1.7K 10h ago monochange_lint cargo 0.17.1 clean Ecosystem-agnostic manifest lint engine for monochange 1.7K 14h ago greentic-x-dev cargo 1.2.37709708607 2 vulnerabilities 2 Greentic-X CLI for catalog-driven composition, scaffolding, validation, and simulation. 1.6K 1h ago openehr-adl cargo 0.0.86 clean openEHR ADL 2.4.0: hand-written ADL2/cADL/ODIN parser, AOM2 validation catalogue, specialisation flattener, OPT2 generator, and ADL 1.4→2 conversion over the… 1.6K 1d ago type-bridge-core-lib cargo 2.2.3 clean TypeQL AST, schema parser, query compiler, and validation engine for type-bridge 1.6K 19h ago huskarl-resource-server cargo 0.11.8 clean Resource server (JWT validation) support for the huskarl OAuth2 ecosystem. 1.6K 17h ago ahb-types cargo 0.30.0 clean Serializable AHB rulebook data types (AhbWorkflow, condition expression AST) shared by the mapping and validation engines. 1.5K 6h ago cobre-io cargo 0.18.0 clean Case directory loading and validation for the Cobre power systems ecosystem 1.4K 1d ago monochange_linting cargo 0.17.1 clean Authoring helpers and macros for monochange lint suites 1.4K 14h ago structured-public-domains cargo 0.0.39 clean Compact Public Suffix List (PSL) for Rust. no_std + alloc, ~108KB embedded binary trie, O(depth * log k) lookup. Checked daily against publicsuffix.org. 1.2K 15h ago monochange_config cargo 0.17.1 clean Configuration parsing and validation for monochange 1.1K 14h ago apimock-config cargo 6.4.0 clean Configuration model for apimock: loading, validation, editing, saving. 971 1d ago antecedent-state cargo 2.2.0 clean Incremental causal state, invalidation, and sufficient statistics for online analysis in the Antecedent engine; start with the `antecedent` crate 910 1d ago dekopon-config cargo 0.35.0 clean Local YAML and JSON configuration discovery, loading, and validation for Dekopon 839 1d ago inillucent-catalog cargo 2.3.4 clean Schema objects, the schema loader, DDL catalog mutation, cookies, invalidation, and statistics. 748 11h ago dag-ml-cli cargo 0.3.40 clean Validation CLI for DAG-ML specs and fixtures. 713 21h ago antecedent-validate cargo 2.2.0 clean Effect refuters, sensitivity analysis, and validation diagnostics for the Antecedent engine; start with the `antecedent` crate 704 1d ago rift-lint cargo 0.20.0 clean Configuration linter library and CLI for Rift imposter files 663 5h ago 