JadenGeller / AxiomaticLinks
Swift unification framework for logic programming
☆30Updated 6 years ago
Alternatives and similar repositories for Axiomatic
Users that are interested in Axiomatic are comparing it to the libraries listed below
Sorting:
- Parsec implementation in Swift☆52Updated 8 years ago
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 7 years ago
- Simple programming language written in Swift and compiled with LLVM☆22Updated 9 years ago
- Draw beautiful tables to your terminal.☆42Updated 8 years ago
- Pretty much only a Lens☆45Updated 8 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 7 years ago
- A Swift framework for dealing with physical units and dimensioned numbers.☆42Updated 4 years ago
- ☆68Updated 2 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- Cathode makes it easy to run Swift scripts.☆15Updated 8 years ago
- Timing and threading helpers for Interstellar☆40Updated 9 years ago
- ☆35Updated 9 years ago
- A proposal for adding diffing functionality to the Swift standard library☆25Updated 6 years ago
- Algebraic laws bundled into concrete data types.☆21Updated 4 years ago
- OS X plotting framework☆61Updated 3 years ago
- Convert Swift Playgrounds to Markdown☆55Updated 8 years ago
- CGHeck☆30Updated 6 years ago
- A collection of persistent immutable trees.☆14Updated 8 years ago
- ☆20Updated 9 years ago
- Singly-linked lists in Swift.☆25Updated 9 years ago
- Clang C API wrapper for Swift.☆50Updated 8 years ago
- yaml -> sourcekit -> json☆29Updated 2 years ago
- NS_OPTIONS for Swift (type-checked bitmask container). Basically an easier-to-implement RawOptionSet.☆36Updated 8 years ago
- ☆29Updated 7 years ago
- Swift wrapper around LLVM☆35Updated 8 years ago
- Solar System calculations☆17Updated 2 years ago
- Xcode extension for hard wrapping comments.☆39Updated 5 years ago
- Logic programming in Swift☆12Updated 8 years ago
- A library for communicating with OpenRadar.☆21Updated 8 years ago
- Native Swift 3 SDK for AWS (Amazon Web Services)☆19Updated 7 years ago