Sketch Constraints📏 A plugin that integrates constraints in Sketch to lay out layers.
Stars: ✭ 1,300 (+3723.53%)
TangramkitTangramKit 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
Stars: ✭ 984 (+2794.12%)
pycsp3A Python Library for modeling combinatorial constrained problems
Stars: ✭ 39 (+14.71%)
ClpfdConstraint Logic Programming over Finite Domains
Stars: ✭ 120 (+252.94%)
MylinearlayoutMyLayout 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 UITab…
Stars: ✭ 4,152 (+12111.76%)
ciaoCiao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Stars: ✭ 190 (+458.82%)
Go Dberrorparsing postgres errors
Stars: ✭ 78 (+129.41%)
cassoA Go implementation of the Cassowary constraint solving algorithm.
Stars: ✭ 75 (+120.59%)
ReinDatabase constraints made easy for ActiveRecord.
Stars: ✭ 657 (+1832.35%)
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.
Stars: ✭ 196 (+476.47%)
Reactive recordGenerate ActiveRecord models for a pre-existing Postgres db
Stars: ✭ 132 (+288.24%)
PysmtpySMT: A library for SMT formulae manipulation and solving
Stars: ✭ 352 (+935.29%)
PyMiniSolversA Python API for the MiniSat and MiniCard constraint solvers.
Stars: ✭ 18 (-47.06%)
SnapkitextendSnapKit的扩展,SnapKit类似于Masonry,但是其没有对Arry的设置和对等间距排列的布局等,此扩展是类似Masonry的写法对SnapKit的补充,同时补充九宫格布局方式
Stars: ✭ 110 (+223.53%)
VanillaConstraints🍦 Simplified and chainable AutoLayout constraints for iOS.
Stars: ✭ 42 (+23.53%)
SwiftautolayoutWrite constraints in a concise, expressive, Swifty way.
Stars: ✭ 83 (+144.12%)
StoryboardConstraintA simple way to use programmatically Autolayout Constraint created in Storyboard.
Stars: ✭ 25 (-26.47%)
IntellidroidA targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
Stars: ✭ 46 (+35.29%)
GHOSTGeneral meta-Heuristic Optimization Solving Toolkit
Stars: ✭ 28 (-17.65%)
Core LayoutFlexbox & CSS-style Layout in Swift.
Stars: ✭ 215 (+532.35%)
Choco SolverAn open-source Java library for Constraint Programming
Stars: ✭ 518 (+1423.53%)
jasperHaxe port of Kiwi's implementation of the cassowary algorithm.
Stars: ✭ 22 (-35.29%)
NerdyuiAn easy way to create and layout UI components for iOS.
Stars: ✭ 381 (+1020.59%)
LogicianLogic programming in Swift
Stars: ✭ 182 (+435.29%)
EasypeasyAuto Layout made easy
Stars: ✭ 1,877 (+5420.59%)
EasyswiftlayoutLightweight Swift framework for Apple's Auto-Layout
Stars: ✭ 345 (+914.71%)
FormidableThe PHP pragmatic forms library
Stars: ✭ 116 (+241.18%)
ElpiEmbeddable Lambda Prolog Interpreter
Stars: ✭ 126 (+270.59%)
DriftwoodDriftwood is a DSL to make Auto Layout easy on iOS, tvOS and macOS.
Stars: ✭ 14 (-58.82%)
mv-postgresqlPostgresql constraints in migrations similiar to ActiveRecord validations
Stars: ✭ 19 (-44.12%)
KvconstraintkitAn Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
Stars: ✭ 91 (+167.65%)
EmeusConstraint-based layout manager for GTK+
Stars: ✭ 84 (+147.06%)
conjureConjure: The Automated Constraint Modelling Tool
Stars: ✭ 84 (+147.06%)
Protoc Gen Validateprotoc plugin to generate polyglot message validators
Stars: ✭ 1,241 (+3550%)
sqlite.luaSQLite LuaJIT binding with a very simple api.
Stars: ✭ 291 (+755.88%)
PulpA python Linear Programming API
Stars: ✭ 1,080 (+3076.47%)
strictCheck for use of undeclared variables
Stars: ✭ 32 (-5.88%)
CosyanTransactional SQL based RDBMS with sophisticated multi table constraint logic.
Stars: ✭ 45 (+32.35%)
ljdnsA contemporary DNS library using LuaJIT FFI.
Stars: ✭ 26 (-23.53%)
Rbdl OrbRBDL - Rigid Body Dynamics Library - ORB Version - The two main differences to the original rbdl is that this version has error handling and uses polymorphism for constraints
Stars: ✭ 33 (-2.94%)
Fluid For Sketch[Sketch Plugin] Sketch-flavored Auto Layout-like Constraints
Stars: ✭ 2,408 (+6982.35%)
Dry TypesFlexible type system for Ruby with coercions and constraints
Stars: ✭ 678 (+1894.12%)
SuperPuperDuperLayoutSuper puper duper mega easy awesome wrapper over auto layout!!111!!1!!!1!!!11111!!!1!!
Stars: ✭ 14 (-58.82%)
SemverWork with Semantic Versions in Go
Stars: ✭ 608 (+1688.24%)
ArrangedOpen source replacement of UIStackView for iOS 8 (100% layouts supported)
Stars: ✭ 202 (+494.12%)
Easyanchor⚓️ Declarative, extensible, powerful Auto Layout
Stars: ✭ 432 (+1170.59%)
CassowaryHigh performance swift implement of constraint solving algorithm cassowary
Stars: ✭ 45 (+32.35%)
OptaplannerAI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Stars: ✭ 2,454 (+7117.65%)
django-db-constraintsAdd database table-level constraints to your Django model's Meta
Stars: ✭ 43 (+26.47%)
JoifulTypeScript Declarative Validation for Joi
Stars: ✭ 177 (+420.59%)
csbA cloth and soft body simulation library, using position based dynamics.
Stars: ✭ 29 (-14.71%)
loverocksLÖVE + Luarocks
Stars: ✭ 80 (+135.29%)
lcursesLua bindings for Curses
Stars: ✭ 60 (+76.47%)