brepkit-sketch cargo 4.1.37 clean 2D parametric constraint solver (GCS) for brepkit sketch mode 7.0K 1d ago backtrack cargo 0.3.0 clean Solve hard constraints easily 6.4K 2h ago terraform-version cargo 0.5.0 clean Parser and match calculator for terraform version constraint syntax 5.6K 2d ago rudb-catalog cargo 0.8.43 clean Schemas, tables, views, constraints, dependency tracking, dictionaries and symbol tables. 4.4K 5h ago makeover-tui cargo 0.55.0 clean The terminal renderer for makeover-layout, on ratatui. Colour stops being the constraint above 256 entries; geometry never does, because an edge occupies a… 1.4K 2d ago hekate-program cargo 0.37.0 clean AIR program and chiplet definition API for the Hekate ZK proving system: constraint DSL, typed column schema, virtual expansion, LogUp bus wiring. 1.2K 18h ago u-schedule cargo 0.14.0 clean Domain-agnostic scheduling framework: job-shop models, dispatching rules, GA encoding, constraint programming. 407 22h ago dog-schema-validator cargo 0.2.0 clean Advanced validation utilities for DogRS schemas - runtime validation, constraints, and error handling 157 17h ago frust-core cargo 0.5.2 clean Frust's declarative View API, retained Widget tree, box-constraint layout and rebuild/layout/paint pass. 128 3d ago icon-rs cargo 0.3.12 clean SVG icons for CAD apps: isometric features and mates, sketch tools, constraint glyphs and UI icons 127 1d ago specodelic cargo 0.5.2 2 notes 2 Specodelic — a markdown specification format (Intent / Constraints / Model / Properties) and the `spk` CLI that lints, compiles, verifies, and refactors it 117 2d ago acs-solver cargo 0.1.12 clean A geometric constraint solver written in Rust with WebAssembly bindings for web applications. 57 7h ago sketch-solver cargo 0.1.0 clean A deterministic 2D geometric constraint solver for CAD sketches: points, lines, arcs and circles, with degree-of-freedom, redundancy and conflict diagnosis,… 25 3h ago backbone-website cargo not built 0.3.38 did not build Headless website engine — per-website pages/menus with ONE generic-vs-specific resolver backed by real COALESCE-sentinel unique constraints, explicit… 23 1d ago wint cargo 0.1.0 clean Deterministic, explainable engine that finds the time windows when a job can run within the limits you set 7 1d ago 