constraint

There are 3 repositories under constraint topic.

• roberthein / TinyConstraints

  Nothing but sugar.

  animationarkitautocenterconstraintconstraintslayoutlibrarieslibrarynslayoutconstraintnslayoutconstraintsstacksugarsuperviewsweetswiftswift-5swift4swift5syntactic
  Language:Swift 3955

• 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

  autolayoutandroidswiftiosconstraintsuitableviewuicollectionviewxcodeuiviewcocoapodsconstraintlayoutsubviewstangramkitxibstoryboard
  Language:Swift 1202

• confuser / graphql-constraint-directive

  Validate GraphQL fields

  graphqlnodejsvalidationdirectiveconstraintvalidator
  Language:JavaScript 566

• 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.

  flutterautolayoutconstraintlayoutconstraintdartstacklayouthellnested
  Language:Dart 472

• keshavvishwkarma / KVConstraintKit

  An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.

  autolayoutconstraintskvconstraintkitautoconstraintkitviewiososxcarthagedsllayout-guidenslayoutconstraintswift-extensionsswift-libraryconstraintlayoutconstraint-solvertvosconstraint-extension
  Language:Swift 92

• SwiftKickMobile / SwiftAutoLayout

  Write constraints in a concise, expressive, Swifty way.

  autolayoutswiftswift4iosios12constraint-layoutconstraintsconstraintappleuikit
  Language:Swift 89

• microsoft / Zen

  Zen is a constraint solving library for .NET

  verificationconstraintsolvingzen
  Language:C# 83
• dynamic-motion

  pranavpandey / dynamic-motion

  Provide additional functionality to Android MotionLayout.

  androidlibrarymotionconstraintlayoutview-pageranimation
  Language:Java 38

• alexliubj / EZAnchor

  An easier and faster way to code Autolayout

  swiftautolayoutiosanchorsconstraintslayoutsuperviewcentersugarswift4constraintlibrarynslayoutconstraint
  Language:Swift 25

• PongoEngine / jasper

  Haxe port of Kiwi's implementation of the cassowary algorithm.

  haxecassowarykiwiuiconstraint
  Language:Haxe 23

• mottla / go-R1CS-Compiler

  A compiler to turn GO code into a zkSNARK

  r1csarithmetic-circuitgroth16zk-snarkssnarklanguagegolangconstraintgates
  Language:Go 16

• felixchenfy / API_for_Simulating_Multi-Link_System

  Mathematica API for simulating the dynamics and collision of planar multi-link objects (by Euler-Lagrange equation).

  collisionconstraintdifferential-equationsdynamicsel-eqslinkssimulation
  Language:Mathematica 14

• gocanto / relay

  Unify data transfer object that is framework agnostic.

  phpdtotypetransferconstraint
  Language:PHP 14

• imaginationtech / constrainedrandom

  A Python package for creating and solving constrained randomization problems.

  constrainedconstrained-randomconstraintrandomrandomizationverification
  Language:Python 14
• PEQNP

  maxtuno / PEQNP

  PEQNP Mathematical Solver

  diophantinesolverconstraintsatisfactioncsp
  Language:C++ 13

• rrreeeyyy / graphql-schema-directive-constraint

  Allows using @constraint as a directive to validate input data for graphql-ruby.

  graphqlrubygraphql-rubyconstraintvalidationvalidator
  Language:Ruby 13

• jauhl / mecEdit

  A lightweight editor for modeling and simulation of planar linkages

  linkagemechanismconstraintphysicssimulation2dprogressive-web-apppwakinematicsrobotics
  Language:JavaScript 12

• makao / lpsolve

  LPSolve extension as simple PHP library

  lpsolvephpsimplexlinearprogrammingconstraint
  Language:PHP 11

• raczben / tco_study

  Case study of synchronous FPGA signaling by adjusting the output timing

  fpgatimingconstraintxilinxvivadoultrascaletcoclock-to-outputsynchronous
  Language:Tcl 11

• typedbyte / finito

  A constraint solver for finite domains, written in Haskell.

  haskellconstraintsolver
  Language:Haskell 10

• PrinsFrank / composer-version-lock

  FUNCTIONALITY NOW PROVIDED BY COMPOSER ITSELF.

  composerplugincomposer-pluginlockversionconstrainthacktoberfestphp
  Language:PHP 9

• PongoEngine / hxPaint

  Limited paint program written in haxe

  haxepaintguiconstraintcassowarybresenham
  Language:Haxe 7

• eonist / Celestial

  A delightful weather app

  weatheriosswiftmetconstraintanimation
  Language:Swift 6

• KnowledgeForge / keymaker

  The most powerful and extensible way to control the output of large language models.

  chatgptconstraintgptgrammarlarkllmopenairegextransformers
  Language:Python 6

• twibiral / JavaCHR

  Object-oriented implementation of Constraint Handling Rules in modern Java

  chrchr-rulesconstraintconstraint-programming
  Language:Java 6

• 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.

  constraintconstraint-programmingconstraint-satisfaction-probleminteger-linear-programminginteger-programmingoptimizationsatisfiabilitysatisfiability-modulo-theories
  Language:Python 4

• ergebnis / phpunit-framework-constraint

  :eyeglasses: Provides additional constraints and assertions for phpunit/phpunit

  phpunitassertionconstraint
  Language:PHP 4

• Firozmemon / Calculator

  Creating Calculator UI using Constraint Layout

  androiduiconstraint-layoutconstraintlayoutcalculatorcalculator-application
  Language:Java 4

• 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'

  sat-encodingscase-studydsleclipsebrotfeatureideconstrainttu-braunschweig
  Language:HTML 4

• AlexisJehan / DsvMender

  A Java 11+ library to fix malformed DSV (Delimiter-Separated Values) data automatically.

  javajava11dsv-mendermenderdsv-parserdsvcsv-parsercsvdelimiterestimationconstraint
  Language:Java 3

• Gillfrost / AnchorChain

  A fluent API for constraint-based iOS layout.

  iosswiftautolayoutconstraintsautolayoutconstraintanchorchainabledsl
  Language:Swift 3

• metaborg / ministatix.hs

  A playground Statix implementation

  constraintsolverstatixtype-systemspecificationhaskell
  Language:Haskell 3
• tape

  s9a / tape

  remixable octopus opensource neon colors cascade empathy @s9a

  color-schemecolor-palettecolorcolorfulcolor-systemloficonstraintcsscontrastimaginationusabilitycreativityhummingbirdmusicneonretrooctopusaquarianlionopensource
  Language:HTML 3

• Tw1ddle / haxe-kiwi-demo

  :bird: Demo of a Haxe port of the Kiwi linear constraint solver

  kiwicassowaryhaxe-porthaxeconstraintconstraint-solverhaxeflixel
  Language:Haxe 3

• hanzopgp / ArchitectApp

  Architecture app, AI-Driven decision making, implementing several algorithms (BFS, DFS , Backtrack, Constraints, Djikstra, MAC, heuristics etc...).

  universitysolverconstraintastarbacktracklocal-consistencydijkstrabfsdfsartificial-intelligence
  Language:Java 2

• quangis / transforge

  Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

  typeinferencesubtypesubsumptionconstrainttransformationworkflowabstracttoolpolymorphismtypecheckingsemanticsemantic-webrdfsparqlgraphqueryconceptprocess-metadataprocedural-metadata
  Language:Python 2