JadenGeller / CalculaLinks
Swift lambda calculus functions supporting intensional equality
☆12Updated 9 years ago
Alternatives and similar repositories for Calcula
Users that are interested in Calcula are comparing it to the libraries listed below
Sorting:
- Swift unification framework for logic programming☆30Updated 6 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 9 years ago
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 7 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- An implementation of HAMT data-structure in Swift☆49Updated 5 years ago
- Logic programming in Swift☆12Updated 9 years ago
- XPC simplified for Swift. Deal with Swift and NS* objects instead of xpc_object_t.☆63Updated 8 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 7 years ago
- Tesseract’s evaluation and type system.☆30Updated 10 years ago
- An expressive low level programming language☆72Updated 7 years ago
- Metal Charting☆13Updated 8 years ago
- A proposal for adding diffing functionality to the Swift standard library☆25Updated 6 years ago
- A simple Scheme (Lisp dialect) interpreter written in Swift.☆46Updated 6 years ago
- Composable Core Animation Actions à la SceneKit☆67Updated 9 years ago
- Simple ParserCombinator framework for Swift☆13Updated 7 years ago
- Abstract Binding Trees☆16Updated 9 years ago
- playing around with an FP interface to animations☆23Updated 7 years ago
- Statistics for swift☆42Updated 6 years ago
- ☆68Updated 2 years ago
- ☆19Updated 7 years ago
- A library for communicating with OpenRadar.☆21Updated 9 years ago
- A standalone Swift version of LLVM's flexible pattern matching file verifier☆67Updated 3 years ago
- A code generator for swift☆14Updated 8 years ago
- An exhaustive list of Emoji's represented as Swift string constants.☆11Updated 9 years ago
- Simple programming language written in Swift and compiled with LLVM☆22Updated 9 years ago
- ☆20Updated 7 years ago
- A collection of persistent immutable trees.☆14Updated 8 years ago
- Scripting in Swift☆24Updated 8 years ago
- 📱Client-side code for the nef editor app☆20Updated 3 years ago
- A simple to use yet versatile API for dealing with sandboxed file access.☆30Updated 5 years ago