70 Open source projects that are alternatives of or similar to Dry Types

A Python API for the MiniSat and MiniCard constraint solvers.

Open source replacement of UIStackView for iOS 8 (100% layouts supported)

Enable PostgreSQL's CHECK constraints on ActiveRecord migrations

🍦 Simplified and chainable AutoLayout constraints for iOS.

Embeddable Lambda Prolog Interpreter

An easier and faster way to code Autolayout

A simple way to use programmatically Autolayout Constraint created in Storyboard.

A Swift Autolayout DSL for iOS & OS X

TypeScript Declarative Validation for Joi

Python packages providing a library for Verification Stimulus and Coverage

Validator for SQLAlchemy Models

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

Typed struct and value objects

Add database table-level constraints to your Django model's Meta

pySMT: A library for SMT formulae manipulation and solving

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

It's a smart KeyBoard manager with active text field using Scroll View along with Constraints in Objective C & Swift 4

[Sketch Plugin] Sketch-flavored Auto Layout-like Constraints

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 UITab…

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

Migration Validators project core classes

Auto Layout made easy

gophersat, a SAT solver in Go

Simple form validation for React

A Lua port of the cassowary constraint solver engine

General meta-Heuristic Optimization Solving Toolkit

📏 A plugin that integrates constraints in Sketch to lay out layers.

An easy way to create and layout UI components for iOS (Swift version).

Driftwood is a DSL to make Auto Layout easy on iOS, tvOS and macOS.

Nothing but sugar.

Super puper duper mega easy awesome wrapper over auto layout!!111!!1!!!1!!!11111!!!1!!

Intuitive and powerful Auto Layout library

The PHP pragmatic forms library

⚓️ Declarative, extensible, powerful Auto Layout

Postgresql constraints in migrations similiar to ActiveRecord validations

Online SemVer Checker

Conjure: The Automated Constraint Modelling Tool

Lightweight Swift framework for Apple's Auto-Layout

A Python Library for modeling combinatorial constrained problems

📏 A plugin that integrates constraints in Sketch to lay out layers.

Flexbox & CSS-style Layout in Swift.

Work with Semantic Versions in Go

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.

Swifty DSL for programmatic Auto Layout in iOS

Logic programming in Swift

🍃 Concise Autolayout code

Feature flags on steroids!

Constraint Logic Programming over Integers

Generate ActiveRecord models for a pre-existing Postgres db

📐 A set of custom layouts for UICollectionView with examples [Swift 5.3, iOS 12].

Constraint Logic Programming over Finite Domains

Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc

SnapKit的扩展,SnapKit类似于Masonry,但是其没有对Arry的设置和对等间距排列的布局等,此扩展是类似Masonry的写法对SnapKit的补充,同时补充九宫格布局方式

Beautiful, easy attributed strings in Swift

A cloth and soft body simulation library, using position based dynamics.

Database constraints made easy for ActiveRecord.

An open-source Java library for Constraint Programming

An easy way to create and layout UI components for iOS.

Job Scheduler for IOS with Concurrent run, failure/retry, persistence, repeat, delay and more

CLP(SMT) on top of miniKanren