constraint
There are 73 repositories under constraint topic.
roberthein/TinyConstraints
Nothing but sugar.
youngsoft/TangramKit
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
confuser/graphql-constraint-directive
Validate GraphQL fields
hackware1993/Flutter_ConstraintLayout
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.
microsoft/Zen
Zen is a constraint solving library for .NET
keshavvishwkarma/KVConstraintKit
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
SwiftKickMobile/SwiftAutoLayout
Write constraints in a concise, expressive, Swifty way.
pranavpandey/dynamic-motion
Provide additional functionality to Android MotionLayout.
alexliubj/EZAnchor
An easier and faster way to code Autolayout
PongoEngine/jasper
Haxe port of Kiwi's implementation of the cassowary algorithm.
imaginationtech/constrainedrandom
A Python package for creating and solving constrained randomization problems.
mottla/go-R1CS-Compiler
A compiler to turn GO code into a zkSNARK
jauhl/mecEdit
A lightweight editor for modeling and simulation of planar linkages
felixchenfy/API_for_Simulating_Multi-Link_System
Mathematica API for simulating the dynamics and collision of planar multi-link objects (by Euler-Lagrange equation).
maxtuno/PEQNP
PEQNP Mathematical Solver
rrreeeyyy/graphql-schema-directive-constraint
Allows using @constraint as a directive to validate input data for graphql-ruby.
makao/lpsolve
LPSolve extension as simple PHP library
raczben/tco_study
Case study of synchronous FPGA signaling by adjusting the output timing
typedbyte/finito
A constraint solver for finite domains, written in Haskell.
PrinsFrank/composer-version-lock
FUNCTIONALITY NOW PROVIDED BY COMPOSER ITSELF.
PongoEngine/hxPaint
Limited paint program written in haxe
twibiral/JavaCHR
Object-oriented implementation of Constraint Handling Rules in modern Java
eonist/Celestial
A delightful weather app
KnowledgeForge/keymaker
The most powerful and extensible way to control the output of large language models.
EnricoPittini/Two-dimensional-strip-packing-problem
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.
SoftVarE-Group/BroT
Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'
AlexisJehan/DsvMender
A Java 11+ library to fix malformed DSV (Delimiter-Separated Values) data automatically.
ergebnis/phpunit-framework-constraint
:eyeglasses: Provides additional constraints and assertions for phpunit/phpunit
Firozmemon/Calculator
Creating Calculator UI using Constraint Layout
s9a/tape
remixable octopus opensource neon colors cascade empathy @s9a
Gillfrost/AnchorChain
A fluent API for constraint-based iOS layout.
metaborg/ministatix.hs
A playground Statix implementation
Tw1ddle/haxe-kiwi-demo
:bird: Demo of a Haxe port of the Kiwi linear constraint solver
hanzopgp/ArchitectApp
Architecture app, AI-Driven decision making, implementing several algorithms (BFS, DFS , Backtrack, Constraints, Djikstra, MAC, heuristics etc...).
kevindamm/practical-logic
constraint-logic programming environment written in OCaml and runnable in JavaScript
quangis/transforge
Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.