JadenGeller / Axiomatic
Swift unification framework for logic programming
☆30Updated 5 years ago
Alternatives and similar repositories for Axiomatic
Users that are interested in Axiomatic are comparing it to the libraries listed below
Sorting:
- Simple programming language written in Swift and compiled with LLVM☆22Updated 9 years ago
- A Swift framework for dealing with physical units and dimensioned numbers.☆42Updated 4 years ago
- Draw beautiful tables to your terminal.☆42Updated 8 years ago
- Parsec implementation in Swift☆52Updated 8 years ago
- Logic programming in Swift☆12Updated 8 years ago
- Pretty much only a Lens☆45Updated 8 years ago
- Xcode extension for hard wrapping comments.☆39Updated 5 years ago
- OS X plotting framework☆61Updated 3 years ago
- Binary trees in Swift.☆25Updated 5 years ago
- An implementation of Wagner-Fischer in pure Swift.☆16Updated 8 years ago
- Singly-linked lists in Swift.☆25Updated 9 years ago
- Timing and threading helpers for Interstellar☆40Updated 9 years ago
- ☆20Updated 9 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 7 years ago
- XPC simplified for Swift. Deal with Swift and NS* objects instead of xpc_object_t.☆63Updated 7 years ago
- Clang C API wrapper for Swift.☆50Updated 8 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- A proposal for adding diffing functionality to the Swift standard library☆25Updated 6 years ago
- yaml -> sourcekit -> json☆29Updated 2 years ago
- Signals across process boundaries☆37Updated 9 years ago
- Algebraic laws bundled into concrete data types.☆21Updated 4 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 9 years ago
- ☆68Updated 2 years ago
- ☆17Updated 9 years ago
- Apple's radar communication in Swift☆72Updated 6 years ago
- Flexible XCTest assertions in Swift.☆40Updated 9 years ago
- ☆19Updated 6 years ago
- Convert Swift Playgrounds to Markdown☆55Updated 8 years ago
- ☆35Updated 9 years ago
- Kaleidoscope is an LLVM language for writing tutorials.☆17Updated 8 years ago