Projects in Awesome Lists tagged with constraints
A curated list of projects in awesome lists tagged with constraints .
https://github.com/snapkit/snapkit
A Swift Autolayout DSL for iOS & OS X
auto autolayout cocoapods constraints dsl layout snapkit swift ui xcode
Last synced: 16 Dec 2025
https://github.com/SnapKit/SnapKit
A Swift Autolayout DSL for iOS & OS X
auto autolayout cocoapods constraints dsl layout snapkit swift ui xcode
Last synced: 06 Aug 2025
https://github.com/samber/lo
đ„ A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
constraints contract filterable foldable functional generics go golang lodash programming typesafe
Last synced: 12 May 2025
https://github.com/youngsoft/mylinearlayout
MyLayout is a powerful iOS UI framework implemented by Objective-C. 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,PathLayout,GridLayout,LayoutSizeClass to build your App èȘćšćžć± UIView UITableView UICollectionView RTL
android autolayout cocoapods constraints css3 flexbox-layout grid-layout ios layout layoutsubviews rtl sizeclasses storyboard ui uicollectionview uiscrollview uitableview view xcode xib
Last synced: 14 May 2025
https://github.com/youngsoft/MyLinearLayout
MyLayout is a powerful iOS UI framework implemented by Objective-C. 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,PathLayout,GridLayout,LayoutSizeClass to build your App èȘćšćžć± UIView UITableView UICollectionView RTL
android autolayout cocoapods constraints css3 flexbox-layout grid-layout ios layout layoutsubviews rtl sizeclasses storyboard ui uicollectionview uiscrollview uitableview view xcode xib
Last synced: 02 Aug 2025
https://github.com/roberthein/tinyconstraints
Nothing but sugar.
animation arkit auto center constraint constraints layout libraries library nslayoutconstraint nslayoutconstraints stack sugar superview sweet swift swift-5 swift4 swift5 syntactic
Last synced: 14 May 2025
https://github.com/roberthein/TinyConstraints
Nothing but sugar.
animation arkit auto center constraint constraints layout libraries library nslayoutconstraint nslayoutconstraints stack sugar superview sweet swift swift-5 swift4 swift5 syntactic
Last synced: 06 Aug 2025
https://github.com/bufbuild/protoc-gen-validate
Protocol Buffer Validation - replaced by https://github.com/bufbuild/protovalidate
constraints protoc protoc-plugin protocol-buffers validation
Last synced: 08 Jul 2025
https://github.com/rightpoint/bonmot
Beautiful, easy attributed strings in Swift
auto-layout constraints design dynamic-type special-characters swift text text-formatting typography xml-parsing
Last synced: 14 May 2025
https://github.com/Rightpoint/BonMot
Beautiful, easy attributed strings in Swift
auto-layout constraints design dynamic-type special-characters swift text text-formatting typography xml-parsing
Last synced: 06 Aug 2025
https://github.com/freshOS/Stevia
:leaves: Concise Autolayout code
auto autolayout carthage cocoapods constraints dsl freshos interface ios layout layouts nslayoutconstraints stevia storyboard swift ui view visual-format-language xcode xib
Last synced: 06 Aug 2025
https://github.com/freshos/stevia
:leaves: Concise Autolayout code
auto autolayout carthage cocoapods constraints dsl freshos interface ios layout layouts nslayoutconstraints stevia storyboard swift ui view visual-format-language xcode xib
Last synced: 13 May 2025
https://github.com/apache/incubator-kie-optaplanner
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
artificial-intelligence branch-and-bound constraint-programming constraint-solver constraints employee-rostering java local-search mathematical-optimization metaheuristics optimization rostering scheduling simulated-annealing solver tabu-search traveling-salesman
Last synced: 22 Dec 2025
https://github.com/whylabs/whylogs
An open-source data logging library for machine learning models and data pipelines. đ Provides visibility into data quality & model performance over time. đĄïž Supports privacy-preserving data collection, ensuring safety & robustness. đ
ai-pipelines analytics approximate-statistics calculate-statistics constraints data-constraints data-pipeline data-quality data-science dataops dataset logging machine-learning ml-pipelines mlops model-performance python statistical-properties
Last synced: 13 May 2025
https://github.com/matt-curtis/fluid-for-sketch
[Sketch Plugin] Sketch-flavored Auto Layout-like Constraints
artboards autolayout constraints sketch sketch-plugin
Last synced: 15 May 2025
https://github.com/matt-curtis/Fluid-for-Sketch
[Sketch Plugin] Sketch-flavored Auto Layout-like Constraints
artboards autolayout constraints sketch sketch-plugin
Last synced: 15 Mar 2025
https://github.com/coin-or/pulp
A python Linear Programming API
constraints mip pulp python solver
Last synced: 16 May 2025
https://coin-or.github.io/pulp/
A python Linear Programming API
constraints mip pulp python solver
Last synced: 07 May 2025
https://github.com/nakiostudio/easypeasy
Auto Layout made easy
auto auto-layout constraints easypeasy ios layout swift
Last synced: 24 Oct 2025
https://github.com/nakiostudio/EasyPeasy
Auto Layout made easy
auto auto-layout constraints easypeasy ios layout swift
Last synced: 06 Aug 2025
https://github.com/masterminds/semver
Work with Semantic Versions in Go
caret comparison constraints go golang semantic-versions semver tilde
Last synced: 14 May 2025
https://github.com/marcbouchenoire/sketch-constraints
đ A plugin that integrates constraints in Sketch to lay out layers.
artboards constraints sketch-plugin
Last synced: 09 Oct 2025
https://github.com/triska/the-power-of-prolog
Introduction to modern Prolog
book constraints logic-programming prolog teaching-materials
Last synced: 26 Mar 2025
https://github.com/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
android autolayout cocoapods constraint constraints ios layoutsubviews storyboard swift tangramkit ui uicollectionview uitableview view xcode xib
Last synced: 16 May 2025
https://github.com/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
android autolayout cocoapods constraint constraints ios layoutsubviews storyboard swift tangramkit ui uicollectionview uitableview view xcode xib
Last synced: 13 Jul 2025
https://github.com/Masterminds/semver
Work with Semantic Versions in Go
caret comparison constraints go golang semantic-versions semver tilde
Last synced: 28 Mar 2025
https://github.com/dry-rb/dry-types
Flexible type system for Ruby with coercions and constraints
coercion constraints dry-rb ruby types
Last synced: 12 May 2025
https://github.com/eleev/uicollectionview-layouts-kit
đCustom layouts for UICollectionView with examples [iOS 12+].
autolayout constraints custom-ui custom-view ios layout safari swift ui uicollectionview uicollectionview-animation uicollectionview-cell uicollectionview-swift uicollectionviewflowlayout uicollectionviewlayout uikit
Last synced: 04 Apr 2025
https://github.com/chocoteam/choco-solver
An open-source Java library for Constraint Programming
constraint-optimisation-problem constraint-programming constraint-satisfaction-problem constraint-solver constraints copr csp java solver
Last synced: 06 May 2025
https://github.com/nullobject/rein
Database constraints made easy for ActiveRecord.
activerecord constraints database library postgres rails ruby
Last synced: 15 May 2025
https://github.com/pysmt/pysmt
pySMT: A library for SMT formulae manipulation and solving
constraints formula python python-3 satisfiability-modulo-theories smt verification
Last synced: 15 May 2025
https://github.com/typst/comemo
Incremental computation through constrained memoization.
constraints incremental memoization tracked
Last synced: 15 May 2025
https://github.com/onmyway133/EasyAnchor
âïž Declarative, extensible, powerful Auto Layout
anchor autolayout constraints ios macos
Last synced: 02 Aug 2025
https://github.com/onmyway133/easyanchor
âïž Declarative, extensible, powerful Auto Layout
anchor autolayout constraints ios macos
Last synced: 05 Apr 2025
https://github.com/dry-rb/dry-struct
Typed struct and value objects
constraints data data-modeling dry-rb ruby struct type-safety types value-object
Last synced: 10 Apr 2025
https://github.com/lucas34/SwiftQueue
Job Scheduler for IOS with Concurrent run, failure/retry, persistence, repeat, delay and more
constraints delay job job-scheduler operation operationqueue persist persistence queue scheduler swift
Last synced: 30 Jul 2025
https://github.com/nerdycat/nerdyui
An easy way to create and layout UI components for iOS.
constraints layout nsattributedstring objective-c stackview static-tableview ui uilabel-link
Last synced: 04 Apr 2025
https://github.com/nesk/akkurate
The expressive validation library for Kotlin
constraints dsl kotlin kotlin-library multiplatform validation validation-library
Last synced: 10 Apr 2025
https://github.com/crillab/gophersat
gophersat, a SAT solver in Go
artificial-intelligence boolean-formulas constraint-satisfaction-problem constraints pseudo-boolean-solver sat-solver
Last synced: 21 Apr 2025
https://github.com/kean/Align
Intuitive and powerful Auto Layout library
anchors autolayout constraints
Last synced: 02 Aug 2025
https://github.com/kean/align
Intuitive and powerful Auto Layout library
anchors autolayout constraints
Last synced: 24 Apr 2025
https://github.com/Pimine/EasySwiftLayout
Lightweight Swift framework for Apple's Auto-Layout
autolayout constraints easyswiftlayout layout purelayout snapkit swift ui uiview xcode
Last synced: 25 Mar 2025
https://github.com/vaimo/composer-patches
Applies a patch from a local or remote file to any package that is part of a given composer project. Patches can be defined both on project and on package level. Optional support for patch versioning, sequencing, custom patch applier configuration and composer command for testing/troubleshooting patches.
applier composer composer-commands composer-extension composer-packages composer-plugin constraints maintenance patch-extension patcher patches patching plugin
Last synced: 14 May 2025
https://github.com/RDFLib/pySHACL
A Python validator for SHACL
constraints owl rdf shacl validator
Last synced: 16 Nov 2025
https://github.com/nerdycat/Cupcake
An easy way to create and layout UI components for iOS (Swift version).
constraints layout nsattributedstring stackview static-tableview swift ui uilabel-link
Last synced: 06 Aug 2025
https://github.com/lpcic/elpi
Embeddable Lambda Prolog Interpreter
constraints extension-language lambda-prolog ocaml-library
Last synced: 01 Mar 2025
https://github.com/LPCIC/elpi
Embeddable Lambda Prolog Interpreter
constraints extension-language lambda-prolog ocaml-library
Last synced: 03 Aug 2025
https://github.com/rdflib/pyshacl
A Python validator for SHACL
constraints owl rdf shacl validator
Last synced: 14 May 2025
https://github.com/joiful-ts/joiful
TypeScript Declarative Validation for Joi
constraints declarative-validation decorators javascript joi joi-constraints nodejs schema typescript validation validator
Last synced: 04 Apr 2025
https://github.com/ciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine
Last synced: 29 Oct 2025
https://github.com/ocamlpro/owi
Symbolic execution for Wasm, C, C++, Rust and Zig
afl c concolic-execution constraints formatter fuzzer interpreter nlnet ocaml optimizer owi parallel rust smt solver symbolic-execution wasm wasm2wat wat2wasm webassembly
Last synced: 12 Jun 2025
https://github.com/jakemarsh/core-layout
Flexbox & CSS-style Layout in Swift.
alignment arrangement autolayout axis-distribution carthage constraints core css display dsl flex flexbox ios ios-lib justification layout layout-engine padding swift ui
Last synced: 07 May 2025
https://github.com/kean/Arranged
Open source replacement of UIStackView for iOS 8 (100% layouts supported)
constraints layout uistackview
Last synced: 01 May 2025
https://github.com/mdiep/logician
Logic programming in Swift
constraints kanren logic-programming solver swift
Last synced: 03 Jul 2025
https://github.com/mdiep/Logician
Logic programming in Swift
constraints kanren logic-programming solver swift
Last synced: 13 May 2025
https://github.com/triska/clpfd
Constraint Logic Programming over Finite Domains
clp constraint-programming constraints integer-arithmetic prolog teaching
Last synced: 04 Jan 2026
https://github.com/triska/clpz
Constraint Logic Programming over Integers
clp constraint-programming constraints integer-arithmetic prolog sicstus-prolog
Last synced: 04 Jan 2026
https://github.com/OCamlPro/owi
WebAssembly Swissknife & cross-language bugfinder
afl c concolic-execution constraints formatter fuzzer interpreter nlnet ocaml optimizer owi parallel rust smt solver symbolic-execution wasm wasm2wat wat2wasm webassembly
Last synced: 26 Sep 2025
https://github.com/twopoint718/reactive_record
Generate ActiveRecord models for a pre-existing Postgres db
activerecord-models constraints database postgres postgres-db rails ruby sql
Last synced: 30 Dec 2025
https://github.com/lume/kiwi
Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
assemblyscript autolayout autolayout-constraints cassowary constraint-layout constraint-programming constraint-solver constraints javascript kiwi typescript webassembly
Last synced: 05 Apr 2025
https://github.com/tkrotoff/react-form-with-constraints
Simple form validation for React
constraints form form-validation html5 input-validation react validation
Last synced: 29 Jun 2025
https://github.com/fvutils/pyvsc
Python packages providing a library for Verification Stimulus and Coverage
cocotb constrained-random constraints coverage functional-coverage python random-stimulus randomization verification-stimulus
Last synced: 30 Dec 2025
https://github.com/realkushagrakhare/3d_path_planning
AI project for 3D Path Planning. Other details and running instructions can be found on the Readme.md file
3d-path-planning 3d-pathfinding artificial-intelligence artificial-intelligence-algorithms collision-detection constraint-satisfaction-problem constraints dubins dubins-rrt motion node-prune path-planning planning-algorithms rapidly-exploring-random-tree reeds-shepp-planner rrt rrt-star satisfaction spline-fit spline-interpolation
Last synced: 24 Oct 2025
https://github.com/ebassi/emeus
Constraint-based layout manager for GTK+
cassowary constraints gtk layout-engine widget
Last synced: 16 Mar 2025
https://github.com/YJiangcm/FollowBench?tab=readme-ov-file
[ACL 2024] FollowBench: A Multi-level Fine-grained Constraints Following Benchmark for Large Language Models
benchmark constraints instruction-following large-language-models multi-level
Last synced: 29 Mar 2025
https://github.com/keshavvishwkarma/KVConstraintKit
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
auto autolayout carthage constraint constraint-extension constraint-solver constraintkit constraints dsl ios kvconstraintkit layout layout-guide nslayoutconstraint osx swift-extensions swift-library tvos view
Last synced: 25 Mar 2025
https://github.com/keshavvishwkarma/kvconstraintkit
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
auto autolayout carthage constraint constraint-extension constraint-solver constraintkit constraints dsl ios kvconstraintkit layout layout-guide nslayoutconstraint osx swift-extensions swift-library tvos view
Last synced: 06 Oct 2025
https://github.com/swiftkickmobile/swiftautolayout
Write constraints in a concise, expressive, Swifty way.
apple autolayout constraint constraint-layout constraints ios ios12 swift swift4 uikit
Last synced: 23 Apr 2025
https://github.com/YJiangcm/FollowBench
Code for "FollowBench: A Multi-level Fine-grained Constraints Following Benchmark for Large Language Models (ACL 2024)"
benchmark constraints instruction-following large-language-models multi-level
Last synced: 25 Oct 2025
https://github.com/cmudig/draco2
đ Modular version of Draco visualization recommendation engine
asp constraints draco recomendation visualization
Last synced: 04 Apr 2025
https://github.com/barbieswimcrew/zip-code-validator
Constraint Class for international Zipcode Validation
constraints country international-zipcode-validation postal-code postal-codes postalcode validation zipcode zipcodes
Last synced: 08 Apr 2025
https://github.com/pathak22/ccnn
[ICCV 2015] Framework for optimizing CNNs with linear constraints for Semantic Segmentation
computer-vision constraints deep-learning fcn fully-convolutional-networks linear-constraints machine-learning segmentation
Last synced: 17 Jun 2025
https://github.com/rindphi/isla
The ISLa (Input Specification Language) language & solver.
constraints fuzzing grammars python smt strings
Last synced: 17 Jun 2025
https://github.com/SteKoe/ocl.js
The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL is a text based language that provides constraint and object query expressions that cannot be expressed by a meta modelling language.
constraint-language constraints javascript language ocl ocl-expression
Last synced: 18 Jul 2025
https://github.com/pedrommcarrasco/constrictor
đ Constrict your layout in Swift
autolayout autolayout-framework cocoapods constraints constrictor nslayoutanchor nslayoutconstraint swift swift4
Last synced: 11 Jun 2025
https://github.com/ww-tech/wwlayout
Swifty DSL for programmatic Auto Layout in iOS
auto-layout auto-layout-code auto-layout-programmatically autolayout autolayout-constraints autolayout-framework constraints ios layout swift
Last synced: 30 Apr 2025
https://github.com/eric-bradford/sdd-gp-mpc
This repository contains the source code for "Stochastic data-driven model predictive control using Gaussian processes" (SDD-GP-MPC).
casadi chemical-engineering constraints differential-equations gaussian-processes machine-learning model-predictive-control monte-carlo-simulation optimization-algorithms python3 state-space-model stochastic-processes
Last synced: 16 Jun 2025
https://github.com/ernest0-production/declarativelayoutkit
UIKit declarative layout helpers
autolayout constraints nslayoutconstraints snapkit swiftui uikit uistackview
Last synced: 27 Sep 2025
https://github.com/shangxiao/django-db-constraints
Add database table-level constraints to your Django model's Meta
Last synced: 13 Dec 2025
https://github.com/k-o-d-e-n/CGLayout
Powerful autolayout framework, that can manage UIView(NSView), CALayer and not rendered views. Not Apple Autolayout wrapper. Provides placeholders. Linux support.
anchor autolayout-framework calayer constraints frame ios layout layout-engine linux macos nsview placeholder snapshot swift swiftui tvos ui uikit uiview uiview-extension
Last synced: 06 Aug 2025
https://github.com/k-o-d-e-n/cglayout
Powerful autolayout framework, that can manage UIView(NSView), CALayer and not rendered views. Not Apple Autolayout wrapper. Provides placeholders. Linux support.
anchor autolayout-framework calayer constraints frame ios layout layout-engine linux macos nsview placeholder snapshot swift swiftui tvos ui uikit uiview uiview-extension
Last synced: 11 Apr 2025
https://github.com/jdisho/vanillaconstraints
đŠ Simplified and chainable AutoLayout constraints for iOS.
autolayout constraints layout swift ui
Last synced: 31 Aug 2025
https://github.com/konstantinpavlikhin/kspautomaticheightcalculationtablecellview
A useful superclass for a custom view-based NSTableView's cell.
cell constraints macos nstablecellview nstableview
Last synced: 14 Jul 2025
https://github.com/triska/clpb
Boolean Constraint Solving in Prolog
bdd clp constraint-programming constraints independent-sets matchsticks-puzzle prolog sat satisfiability
Last synced: 04 Jan 2026
https://github.com/namin/clpsmt-minikanren
CLP(SMT) on top of miniKanren
constraints logic-programming minikanren scheme smt
Last synced: 09 Oct 2025
https://github.com/mark-kubacki/semver
:100: parse semantic version numbers, and ranges (the most often imitated original)
constraints go golang range semantic-versioning semantic-versions semver zero-alloc
Last synced: 24 Mar 2025
https://github.com/antonior92/ip-nonlinear-solver
A trust-region interior-point method for general nonlinear programing problems (GSoC 2017).
constraints gsoc gsoc-2017 interior-point-method nonlinear-programming-algorithms optimization scipy sequential-quadratic-programming
Last synced: 24 Jun 2025
https://github.com/sile-typesetter/cassowary.lua
A Lua port of the cassowary constraint solver engine
cassowary constraints lua luarocks
Last synced: 15 Apr 2025
https://github.com/yuvraj24/swiftnotes
Creating notes was never so smooth, just check out this demo developed in XCode 9 & Swift 4.
cocoapods constraints coredata corelocation ios ios-app ios-demo ios-sdk ios-swift ios11 mapkit navigation-controller segue simulator swift swift-language swift-library swift4 xcode xcode9
Last synced: 09 Apr 2025
https://github.com/michael-rapp/androidmaterialvalidation
Provides views, which can be validated according to the Material Design guidelines
android constraints edittext material-design password validation validators
Last synced: 22 Aug 2025
https://github.com/marrow16/valix
Go package for validating requests
constraints go golang request requests validation validator validators
Last synced: 12 Apr 2025
https://github.com/amirmasoudabdol/nsga2
Refactored NSGA2, Non-dominated sorting genetic algorithm, implementation in C based on the code written by Dr. Kalyanmoy Deb.
constraints multiobjective-optimization nsga-ii nsga2
Last synced: 23 Mar 2025
https://github.com/dimix/storyboardconstraint
A simple way to use programmatically Autolayout Constraint created in Storyboard.
autolayout autolayout-constraints constraints swift swift-3
Last synced: 13 Apr 2025
https://github.com/alexliubj/EZAnchor
An easier and faster way to code Autolayout
anchors autolayout center constraint constraints ios layout library nslayoutconstraint sugar superview swift swift4
Last synced: 25 Mar 2025
https://github.com/alexliubj/ezanchor
An easier and faster way to code Autolayout
anchors autolayout center constraint constraints ios layout library nslayoutconstraint sugar superview swift swift4
Last synced: 23 Apr 2025
https://github.com/jonasbreuling/scipy_dae
Python implementation of solvers for differential algebraic equation's (DAE's) that should be added to scipy one day.
bdf constraints dae differential-algebraic-equations differential-equations ida implicit implicit-differential-equations navier-stokes-equations ode python radau scipy step-size sundials
Last synced: 12 Apr 2025
https://github.com/vprokopchuk256/mv-core
Migration Validators project core classes
activerecord constraints db-constraints ror
Last synced: 11 Jun 2025
https://github.com/eleev/constraints-kit
đ Declarative, Chainable & Lightweight Auto Layout constraints framework for iOS.
anchor autolayout autolayout-constraints autolayout-extension autolayout-framework constraints domain-specific-language dsl ios ios-swift layout-constraints spm swift swift-package uikit
Last synced: 12 May 2025
https://github.com/namin/clpset-minikanren
CLP(Set) in miniKanren
constraints logic-programming minikanren paper-implementations prolog scheme
Last synced: 22 Apr 2025