Logic programming in Swift
☆200May 17, 2020Updated 6 years ago
Alternatives and similar repositories for Logician
Users that are interested in Logician are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Swift framework for the GitHub API☆251Jun 21, 2023Updated 3 years ago
- Projection-based Database Persistence in Swift☆443Feb 22, 2022Updated 4 years ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆64Aug 12, 2021Updated 5 years ago
- A Swift μ-Library for Somewhat Dependent Types☆603Apr 17, 2017Updated 9 years ago
- "a general relationship, principle, or rule stated, often as an equation, in the form of symbols"☆12Jan 8, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Curated list of ReactiveCocoa projects.☆11Sep 30, 2017Updated 9 years ago
- Projection-based GraphQL Clients and Servers in Swift☆76Jan 25, 2018Updated 8 years ago
- Automatically inject new test classes into your iOS simulator without restarts.☆26Aug 10, 2016Updated 10 years ago
- Logic programming in Swift☆12Sep 10, 2016Updated 10 years ago
- A simple tool to make it easy to introduce SwiftLint from zero especially for a new project.☆13Oct 5, 2019Updated 7 years ago
- A Swift library for dynamically loading shared objects☆69Nov 26, 2017Updated 8 years ago
- Optics for Swift☆205Sep 23, 2017Updated 9 years ago
- ReactiveCocoa Extensions☆225Jul 23, 2017Updated 9 years ago
- QuickCheck for Swift☆1,427Apr 3, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Experimental implementation of Poker (Texas Hold'em) rules in Swift Lang☆39Oct 6, 2018Updated 8 years ago
- Swift unification framework for logic programming☆30May 24, 2019Updated 7 years ago
- A parser combinator library written in the Swift programming language.☆230Jun 12, 2022Updated 4 years ago
- Minimal edits from one collection to another☆800Jul 28, 2020Updated 6 years ago
- Binary trees in Swift.☆25Oct 15, 2019Updated 7 years ago
- Swift library for building component-based interfaces on top of UITableView and UICollectionView 🍱☆370Sep 1, 2020Updated 6 years ago
- Functional Concurrency Primitives☆208Oct 5, 2019Updated 7 years ago
- The Composition and Decomposition of Software☆13Jul 12, 2015Updated 11 years ago
- Unidirectional reactive architecture☆158May 4, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Scripting in Swift☆24Nov 11, 2016Updated 9 years ago
- Mac status item for searching Asana; an experiment with MVVM in ReactiveCocoa 3☆31Apr 15, 2015Updated 11 years ago
- Type-safe command line argument handling☆419May 8, 2021Updated 5 years ago
- Badly emulates the Travis workflow from a .travis.yml☆34Mar 18, 2017Updated 9 years ago
- Wadler's "A prettier printer" embedded pretty-printer DSL for Swift☆189Oct 14, 2021Updated 5 years ago
- Lazy streams in Swift.☆82Nov 2, 2015Updated 11 years ago
- Simple ParserCombinator framework for Swift☆13May 2, 2018Updated 8 years ago
- Microbenchmarking app for Swift with nice log-log plots☆1,271Feb 23, 2022Updated 4 years ago
- ☆90Feb 6, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Swift type modelling the success/failure of arbitrary operations.☆2,482Apr 22, 2021Updated 5 years ago
- A Swift collection diffing μframework.☆106Mar 8, 2021Updated 5 years ago
- 🎁 A compile-time guarantee that a collection contains a value.☆883Apr 25, 2025Updated last year
- An interactive introduction to function composition in Swift 3.☆58Jan 21, 2017Updated 9 years ago
- Prototype chess engine written in Swift with https://github.com/nvzqz/Sage☆22Aug 5, 2016Updated 10 years ago
- Recursive Descent Into Madness☆291Oct 31, 2017Updated 9 years ago
- A type-safe Core Data query API using Swift 4's Smart KeyPaths☆610Oct 7, 2018Updated 8 years ago