Skip to content
Open-Source Registry

Search 7 packages

Found
Build behaviour
Packages1–7 of 7VersionFindingsDescriptionDownloadsWhen
backtrack cargo0.3.0clean Solve hard constraints easily6.4K2h ago
rudb-catalog cargo0.8.43clean Schemas, tables, views, constraints, dependency tracking, dictionaries and symbol tables.4.4K5h ago
hekate-program cargo0.37.0clean AIR program and chiplet definition API for the Hekate ZK proving system: constraint DSL, typed column schema, virtual expansion, LogUp bus wiring.1.2K18h ago
dog-schema-validator cargo0.2.0clean Advanced validation utilities for DogRS schemas - runtime validation, constraints, and error handling15717h ago
specodelic cargo0.5.22 notes 2Specodelic — a markdown specification format (Intent / Constraints / Model / Properties) and the `spk` CLI that lints, compiles, verifies, and refactors it1172d ago
backbone-website cargonot built 0.3.38 did not buildHeadless website engine — per-website pages/menus with ONE generic-vs-specific resolver backed by real COALESCE-sentinel unique constraints, explicit…231d ago
wint cargo0.1.0clean Deterministic, explainable engine that finds the time windows when a job can run within the limits you set71d ago