There are 2 repositories under constraint topic.
Nothing but sugar.
TangramKit is a powerful iOS UI framework implemented by Swift. It integrates the functions with Android layout,iOS AutoLayout,SizeClass, HTML CSS float and flexbox and bootstrap. So you can use LinearLayout,RelativeLayout,FrameLayout,TableLayout,FlowLayout,FloatLayout,LayoutSizeClass to build your App 自动布局 UIView UITableView UICollectionView
Validate GraphQL fields
A super powerful Stack, build flexible layouts with constraints. Similar to ConstraintLayout for Android and AutoLayout for iOS. But the code implementation is much more efficient, it has O(n) layout time complexity and no linear equation solving is required.
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
Write constraints in a concise, expressive, Swifty way.
Provide additional functionality to Android MotionLayout.
Haxe port of Kiwi's implementation of the cassowary algorithm.
A compiler to turn GO code into a zkSNARK
Mathematica API for simulating the dynamics and collision of planar multi-link objects (by Euler-Lagrange equation).
Allows using @constraint as a directive to validate input data for graphql-ruby.
A Python package for creating and solving constrained randomization problems.
FUNCTIONALITY NOW PROVIDED BY COMPOSER ITSELF.
The most powerful and extensible way to control the output of large language models.
:eyeglasses: Provides additional constraints and assertions for phpunit/phpunit
Creating Calculator UI using Constraint Layout
A Java 11+ library to fix malformed DSV (Delimiter-Separated Values) data automatically.
Solving the two-dimensional strip packing problem, using several combinatorial decision making and optimization approaches: Constraint Programming, Boolean SATisfiability, Satisfiability Modulo Theory; Integer Linear Programming.
A fluent API for constraint-based iOS layout.
A playground Statix implementation
Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'
:bird: Demo of a Haxe port of the Kiwi linear constraint solver
Architecture app, AI-Driven decision making, implementing several algorithms (BFS, DFS , Backtrack, Constraints, Djikstra, MAC, heuristics etc...).
Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.