#constraints (30 Repositories)
Ranked open-source repositories tagged with #constraints, scored by pull request acceptance likelihood and maintainer engagement velocity.
19.3%
19.9h
30 repositories tagged #constraints
chocoteam/choco-solver
An open-source Java library for Constraint Programming
pysmt/pysmt
pySMT: A library for SMT formulae manipulation and solving
OCamlPro/owi
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
samber/lo
💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
conjure-cp/conjure
Conjure: The Automated Constraint Modelling Tool
fvutils/pyvsc
Python packages providing a library for Verification Stimulus and Coverage
dry-rb/dry-struct
Typed struct and value objects
Masterminds/semver
Work with Semantic Versions in Go
RDFLib/pySHACL
A Python validator for SHACL
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.
coin-or/pulp
A python Linear Programming API
nerdycat/NerdyUI
An easy way to create and layout UI components for iOS.
nerdycat/Cupcake
An easy way to create and layout UI components for iOS (Swift version).
nesk/akkurate
The expressive validation library for Kotlin
SnapKit/SnapKit
A Swift Autolayout DSL for iOS & OS X
kean/Align
Intuitive and powerful Auto Layout library
onmyway133/EasyAnchor
⚓️ Declarative, extensible, powerful Auto Layout
Pimine/EasySwiftLayout
Lightweight Swift framework for Apple's Auto-Layout
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
freshOS/Stevia
:leaves: Concise Autolayout code
Rightpoint/BonMot
Beautiful, easy attributed strings in Swift
roberthein/TinyConstraints
Nothing but sugar.
matt-curtis/Fluid-for-Sketch
[Sketch Plugin] Sketch-flavored Auto Layout-like Constraints
triska/the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
cmudig/draco2
🐉 Modular version of Draco visualization recommendation engine
nakiostudio/EasyPeasy
Auto Layout made easy
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
mdiep/Logician
Logic programming in Swift
eleev/uicollectionview-layouts-kit
📐Custom layouts for UICollectionView with examples [iOS 12+].
andrewcmyers/constrain
Responsive, animated figures in JavaScript/HTML canvases