JadenGeller / Calcula
Swift lambda calculus functions supporting intensional equality
☆12Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for Calcula
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 8 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- Metal Charting☆13Updated 7 years ago
- Tesseract’s evaluation and type system.☆30Updated 9 years ago
- Logic programming in Swift☆12Updated 8 years ago
- An implementation of HAMT data-structure in Swift☆49Updated 5 years ago
- A command-line utility for tagging part of speech for words in text.☆40Updated 4 years ago
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 6 years ago
- Swift unification framework for logic programming☆29Updated 5 years ago
- A light-weight general-purpose library to help represent situations where the type of a value is one of a set of types. An alternative to…☆19Updated 7 months ago
- ☆19Updated 6 years ago
- Parser combinator framework written in Swift☆17Updated 7 years ago
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32Updated 2 years ago
- Experimental mutation testing tool for Swift and XCTest powered by mull☆45Updated 3 years ago
- Abstract Binding Trees☆16Updated 8 years ago
- A code generator for swift☆14Updated 8 years ago
- An expressive low level programming language☆72Updated 6 years ago
- Write Apache Modules in Swift!☆29Updated 2 years ago
- ☆20Updated 8 years ago
- Simple ParserCombinator framework for Swift☆13Updated 6 years ago
- A collection of persistent immutable trees.☆14Updated 7 years ago
- An attempt to reimplement a minimal version of the Swift standard library. Just for fun — I doubt this has practical applications.☆12Updated 3 years ago
- XPC simplified for Swift. Deal with Swift and NS* objects instead of xpc_object_t.☆63Updated 7 years ago
- Draw beautiful tables to your terminal.☆42Updated 7 years ago
- Build and utility scripts used for continuous integration builds for Swift Package Manager projects on the Travis CI environment☆35Updated 2 years ago
- Composable Core Animation Actions à la SceneKit☆67Updated 8 years ago
- Native Swift Runtime Libraries☆41Updated 5 years ago
- A Swift framework for dealing with physical units and dimensioned numbers.☆42Updated 3 years ago
- Functional streaming abstractions in Swift☆72Updated 7 years ago
- 📱Client-side code for the nef editor app☆20Updated 3 years ago