70 Open source projects that are alternatives of or similar to Elpi

Enable PostgreSQL's CHECK constraints on ActiveRecord migrations

CLP(SMT) on top of miniKanren

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

An easier and faster way to code Autolayout

A Python API for the MiniSat and MiniCard constraint solvers.

An open-source Java library for Constraint Programming

Python packages providing a library for Verification Stimulus and Coverage

A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.

🍦 Simplified and chainable AutoLayout constraints for iOS.

A Swift Autolayout DSL for iOS & OS X

Typed struct and value objects

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

Database constraints made easy for ActiveRecord.

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

parsing postgres errors

Migration Validators project core classes

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…

A Lua port of the cassowary constraint solver engine

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

Validator for SQLAlchemy Models

pySMT: A library for SMT formulae manipulation and solving

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

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

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

gophersat, a SAT solver in Go

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

A Python Library for modeling combinatorial constrained problems

Flexible type system for Ruby with coercions and constraints

Intuitive and powerful Auto Layout library

protoc plugin to generate polyglot message validators

Online SemVer Checker

Work with Semantic Versions in Go

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

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

Swifty DSL for programmatic Auto Layout in iOS

⚓️ Declarative, extensible, powerful Auto Layout

Constraint Logic Programming over Integers

A python Linear Programming API

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

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

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

Simple form validation for React

General meta-Heuristic Optimization Solving Toolkit

Nothing but sugar.

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

Transactional SQL based RDBMS with sophisticated multi table constraint logic.

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

Lightweight Swift framework for Apple's Auto-Layout

The PHP pragmatic forms library

Constraint-based layout manager for GTK+

Postgresql constraints in migrations similiar to ActiveRecord validations

🍃 Concise Autolayout code

Conjure: The Automated Constraint Modelling Tool

RBDL - 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

Beautiful, easy attributed strings in Swift

Constraint Logic Programming over Finite Domains

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

Write constraints in a concise, expressive, Swifty way.

Introduction to modern Prolog

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