JadenGeller / Calcula
Swift lambda calculus functions supporting intensional equality
☆12Updated 8 years ago
Alternatives and similar repositories for Calcula:
Users that are interested in Calcula are comparing it to the libraries listed below
- Swift unification framework for logic programming☆30Updated 5 years ago
- ☆19Updated 6 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 9 years ago
- Metal Charting☆13Updated 7 years ago
- Build web site from a project’s Swift sources.☆13Updated 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 last year
- Vim plugin to generate markup for swift functions☆12Updated 8 years ago
- An assembler for the Microchip PIC instruction set, written in Swift.☆13Updated 3 years ago
- A parser for the Intel Hexadecimal Object File Format (.hex), written in Swift.☆14Updated 3 years ago
- An implementation of HAMT data-structure in Swift☆49Updated 5 years ago
- Abstract Binding Trees☆16Updated 8 years ago
- ☆36Updated last year
- Composable Core Animation Actions à la SceneKit☆67Updated 9 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 6 years ago
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 7 years ago
- Native Swift Runtime Libraries☆41Updated 5 years ago
- Logic programming in Swift☆12Updated 8 years ago
- A proposal for adding diffing functionality to the Swift standard library☆25Updated 6 years ago
- Past and future talks☆12Updated 4 years ago
- Language Server Protocol (LSP) implementation for Cocoa ☕️☆38Updated 6 years ago
- Scripting in Swift☆23Updated 8 years ago
- A standalone Swift version of LLVM's flexible pattern matching file verifier☆66Updated 3 years ago
- playing around with an FP interface to animations☆22Updated 7 years ago
- Fork of apple/swift with modifications to the stdlib to use in a bare metal kernel for use with swift-project1☆15Updated 5 years ago
- XPC simplified for Swift. Deal with Swift and NS* objects instead of xpc_object_t.☆63Updated 7 years ago
- A code generator for swift☆14Updated 8 years ago
- Simple ParserCombinator framework for Swift☆13Updated 6 years ago
- An interpreted, strongly typed, and functional programming language written in Swift☆29Updated 5 years ago
- ☆69Updated 2 years ago