Flexible type system for Ruby with coercions and constraints
📐Custom layouts for UICollectionView with examples [iOS 12+].
Database constraints made easy for ActiveRecord.
An open-source Java library for Constraint Programming
pySMT: A library for SMT formulae manipulation and solving
⚓️ Declarative, extensible, powerful Auto Layout
Job Scheduler for IOS with Concurrent run, failure/retry, persistence, r...
An easy way to create and layout UI components for iOS.
Typed struct and value objects
gophersat, a SAT solver in Go
Lightweight Swift framework for Apple's Auto-Layout
Intuitive and powerful Auto Layout library
An easy way to create and layout UI components for iOS (Swift version).
Applies a patch from a local or remote file to any package that is part...
Embeddable Lambda Prolog Interpreter