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
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 9 years ago
- Logic programming in Swift☆12Updated 8 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 7 years ago
- Simple ParserCombinator framework for Swift☆13Updated 6 years ago
- Abstract Binding Trees☆16Updated 8 years ago
- Metal Charting☆13Updated 7 years ago
- A parser for the Intel Hexadecimal Object File Format (.hex), written in Swift.☆14Updated 3 years ago
- Drop-in replacement for xcodebuild/xctool☆17Updated 3 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 6 years ago
- Build web site from a project’s Swift sources.☆13Updated 5 years ago
- Tesseract’s evaluation and type system.☆30Updated 9 years ago
- 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
- Language Server Protocol (LSP) implementation for Cocoa ☕️☆38Updated 6 years ago
- Capture the shell environment of a Foundation app☆24Updated 10 months ago
- A code generator for swift☆14Updated 8 years ago
- Parses Swift documentation comments into structured entities☆56Updated 3 years ago
- A standalone Swift version of LLVM's flexible pattern matching file verifier☆66Updated 2 years ago
- Swift package to read and process "DocC" archives☆16Updated 7 months ago
- Easy way to work with files, directories and paths in swift on macOS and linux.☆33Updated 6 years ago
- ☆19Updated 6 years ago
- Composable Core Animation Actions à la SceneKit☆67Updated 8 years ago
- ☆20Updated 9 years ago
- A library for communicating with OpenRadar.☆21Updated 8 years ago
- Scripting in Swift☆23Updated 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 5 years ago
- Singly-linked lists in Swift.☆25Updated 9 years ago