-
comemo
Incremental computation through constrained memoization
-
llguidance
Super-fast Structured Outputs
-
pldag
A DAG-based combinatorial-model framework
-
shapes-cli
Shapes Specification CLI — structured intent, constraints, and boundaries for software projects
-
xgrammar
Rust bindings for XGrammar
-
propagators-chirho
propagator networks for constraint propagation and bidirectional computation
-
oxirs-shacl
SHACL Core + SHACL-SPARQL validator for RDF data validation
-
grb
API for Gurobi optimizer
-
mqdb-core
Core types, storage, schema, and protocol for MQDB
-
chronologic
Time constraint reasoning (scheduling...)
-
flux-lucid
Unified constraint theory ecosystem — CDCL, LLVM, AVX-512, GL(9) consensus, 9-channel intent
-
dodecet-encoder
A 12-bit dodecet encoding system optimized for geometric and calculus operations
-
flux-isa
FLUX Instruction Set Architecture — stack-based constraint compilation VM with bytecode encoding
-
aprender-present-core
Core types and traits for Presentar UI framework
-
intent
Static analysis tool for the Intent design constraint language — machine-verifiable architectural constraints for codebases
-
eisenstein
Zero-drift hexagonal lattice constraints via Eisenstein integers — exact arithmetic for safety-critical systems
-
constraint-crdt
CRDT-backed constraint states for distributed fleet consensus
-
fff-query-parser
Query parser for fff file finder - includes specific syntax for various constraints like globs, extensions, regex etc
-
guard2mask
GUARD DSL to GDSII mask compiler — compiles safety constraints to silicon via patterns
-
pldag-rust
A DAG-based framework where nodes encode arbitrary Boolean operations over literal leaves, with built-in support for assignment propagation and ILP export
-
solverforge-scoring
Incremental constraint scoring for SolverForge
-
flux-bridge
FLUX-X to FLUX-C TrustZone-style bridge protocol for constraint enforcement
-
tupa-core
Core types and pipeline definition macro for Tupã
-
marque-scheme
Domain-neutral trait surface for structured marking schemes (lattice + constraints + projection + local ambiguity)
-
ac3rm
An incremental AC-3rm propagator in Rust with dynamic assertion and retraction of constraints
-
ai-tournament
A modular Rust crate for running AI tournament
-
plato-instinct
Unified instinct engine for PLATO agents — flux-instinct + cuda-genepool merged, enforced by plato-constraints assertions
-
u24
An unsigned 24-bit integer type
-
dog-schema-validator
Advanced validation utilities for DogRS schemas - runtime validation, constraints, and error handling
-
autoeq-de
Non linear optimisation library with own DE solvers and interface to NLOpt and MetaHeuristics
-
flux-isa-mini
Minimal no_std FLUX ISA constraint VM for bare-metal microcontrollers — sensor gateway to intelligence
-
flux-ast
Universal Constraint AST — single source of truth for constraint semantics across all representations
-
plato-kernel
Plato Kernel - Event sourcing + Constraint-Theory + Git runtime
-
fleet-topology
Fleet network topology with constraint-aware routing and holonomy verification
-
qae-kernel
Domain-agnostic safety certification kernel for AI agents and autonomous systems
-
rbuf
A general purpose ring buffer implementation with some non-standard constraints
-
kizzasi-logic
TensorLogic bridge for Kizzasi - constraint enforcement and safety guardrails
-
paramodel-elements
Paramodel central algebra: parameters, domains, constraints, attributes, values, trials, elements, and the ElementRuntime trait
-
fukurow-shacl
SHACL Core and SHACL-SPARQL validation for Fukurow
-
tupa-typecheck
Static type checker for TupaLang
-
allen-intervals
An efficient implementation of Allen's interval relations for Rust's range types
-
ct-core-ext
Extended constraint theory core — adaptive deadband, multi-constraint intersection, snap diagnostics
-
valid
Validate custom types by composing primitive validation functions. Use one common API for validating all kind of business rules including aspects of the application state. One common error type for all…
-
route-engine-rs
Routing engine for directed graphs with extensible strategies and constraints
-
qt-version
selecting and resolving supported Qt versions at compile time using Cargo features (exact, minimum, and maximum constraints)
-
tupa-lints
Lint definitions for Tupã pipelines
-
cpsat-rs
Rust bindings for Google OR-Tools CP-SAT solver
-
ratcl
Create complex ratatui layouts with a simple API
-
django-rs-db
ORM layer for django-rs: Model definitions, QuerySet, Manager, and expressions
-
choco-solver-sys
FFI interface for the Choco Solver library DLL generated by GraalVM Native Image
-
cargo-bounds
Find and test dependency versions bounds
-
siapla
agile planning tool
-
gatesim
The base library for the Gate Project
-
schlandals
probabilistic inference by projected weighted model counting
-
plato-kernel-constraints
Constraint engine extracted from plato-kernel — first-person permission filtering with assertive markdown constraints
-
ark-relations-zypher
rank-one constraint systems
-
contrafact
A trait for highly composable constraints ("facts") which can be used both to verify data and to generate arbitrary data within those constraints
-
plato-i2i-dcs
PLATO cognitive architecture component
-
cslint-smt
Optional SMT-backed deep checking for cslint diagnostics
-
wave-function-collapse
Converts nodes and their restrictions into a collapsed node state based on the selected algorithm
-
capy-graph
A framework for constructing arithmetic circuits on-the-fly
-
fzn-rs
A FlatZinc parser written in Rust
-
hotdrink-rs
HotDrink in Rust
-
solverforge-cvrp
CVRP domain helpers for SolverForge
-
ashlang
A language for zero knowledge proofs
-
veripb-formula
VeriPB library to handle pseudo-Boolean constraints, formulas, and more data structures
-
spongefish-circuit
Circuits for proving relations over spongefish transcripts
-
p2d_opb
A representation of OPB formulas
-
faf-core
Fiduciary Agent Framework - Core protocol types and traits
-
asphere
Binary for simulating spherically symmetric critical phenomena
-
ark-relations
generalized rank-one constraint systems
-
webrtc-constraints
A pure Rust implementation of WebRTC Media Constraints API
-
zkinterface-libsnark
Wrapper for libsnark / gadgetlib through zkInterface
-
rem-constraint
Extraction Maestro
-
descent_ipopt
IPOPT interface for descent
-
effs
Effects based minimal std lib alternative
-
seer
symbolic execution engine for rust
-
fukurow-rules
Rule traits and constraint validation (SHACL equivalent) for Fukurow reasoning
-
cang
A coin based interpeter
-
ai_kit
Collection of classic AI algorithms with convenient interfaces
-
constrained-inputs
constrain io inputs
-
custom-constraints
Customizable Constraint Systems (CCS)
-
halo2-base
Embedded domain specific language (eDSL) for writing circuits with the
halo2API. It simplifies circuit programming to declaring constraints… -
orion-async
Eliminate this constraint for performance - the local variables of asynchronous functions must implement Send Trait
-
presentar-core
Core types and traits for Presentar UI framework
-
chsl
2D Game Physics Engine supporting Joints/Constraints
-
provekit-r1cs-compiler
R1CS compiler for ProveKit, translating Noir programs to R1CS constraints
-
aorist_constraint
Example constraint crate for the aorist project
-
winter-air
AIR components for the Winterfell STARK prover/verifier
-
nash-constrain
Responsible for building the set of constraints that are used during type inference of a program, and for gathering context needed for pleasant error messages when a type error occurs
-
len_constraints
Traits and types to implement type-pinned length constraints in your API
-
terraform-version
Parser and match calculator for terraform version constraint syntax
-
comemo-macros
Procedural macros for comemo
-
rust-constraint
constraint satisfaction problem (CSPs)
-
is_type
Equality constraints for types
-
pblib-rs
Rust safe bindings for pblib
-
varisat-utils
varisat, adding at-most one and exactly-one constraints
-
checklints
Check repositories against toml file(s) of constraints
-
triton-air
The Arithmetic Intermediate Representation (AIR) for Triton VM
-
resource-bound-core
Compile-time enforcement of struct size limits and heap allocation constraints
-
podded
Zero-copy types for constraint environments
-
vts
Macro to generate boiler plate to define new types with associated constraints
-
constraint
Easly create types with the guarantees you need
-
rectessellate
WIP — DO NOT USE!
-
casuarius
Cassowary linear constraint solving algorithm
-
pezsc-statement-store
Bizinikiwi statement store
-
ves-stark-air
AIR constraint definitions for VES STARK proofs
-
liquid-layout
A layout engine that solves UI constraints using the Z3 prover
-
tupa-core-macros
Tupã DSL procedural macro (pipeline!)
-
shackle
Compilation library for constraint based modelling languages
-
mpl-trifle
Metaplex Composability Program
-
nifty-asset-types
Types for Nifty Asset program
-
ark-relations-zkhub
rank-one constraint systems
-
p3-miden-lifted-stark
Lifted STARK prover and verifier (LMCS-based)
-
nakamoto-wallet
Very basic command-line Bitcoin wallet using nakamoto
Try searching with DuckDuckGo.