Logic programming in Swift
- swift
- kanren
- logic-programming
- solver
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
A Swift port of the Cassowary linear constraint solver
- cassowary
- constraint-solver
- swift
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
- autolayout
- constraints
- kvconstraintkit
- auto
Implementing basic model and behavior of Rubic's Cube in Swift, no UI nor Solver.
Programmatic maze generator and solver, built with Swift 3. Apple's WWDC17 scholarship winner.
- wwdc-scholarship
- wwdc17
- playground
- ios