JadenGeller / Calcula
Swift lambda calculus functions supporting intensional equality
☆12Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for Calcula
- Metal Charting☆13Updated 7 years ago
- Swift unification framework for logic programming☆29Updated 5 years ago
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 6 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 8 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- Build web site from a project’s Swift sources.☆13Updated 4 years ago
- ☆19Updated 6 years ago
- Simple ParserCombinator framework for Swift☆13Updated 6 years ago
- Create complex parsers by combining simple ones with Parsel!☆22Updated 5 years ago
- Logic programming in Swift☆12Updated 8 years ago
- An implementation of HAMT data-structure in Swift☆49Updated 5 years ago
- Rules system for live typing completions☆47Updated 4 months ago
- Vim plugin to generate markup for swift functions☆12Updated 8 years ago
- A code generator for swift☆14Updated 8 years ago
- Tesseract’s evaluation and type system.☆30Updated 9 years ago
- The Swift Compiler As a Package☆67Updated 2 months ago
- Declarative Binary Serialization for Swift Structures☆47Updated 6 years ago
- A simple LISP interpreter written in Swift☆37Updated 5 years ago
- A word game created with Tokamak☆17Updated 2 years ago
- A proposal for adding diffing functionality to the Swift standard library☆25Updated 5 years ago
- Scripting in Swift☆23Updated 8 years ago
- playing around with an FP interface to animations☆22Updated 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
- 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
- iOS Demo app for Flint tools☆16Updated 4 years ago
- Figuring out how to write a typewriter mode macOS text view☆20Updated 7 years ago
- Capture the shell environment of a Foundation app☆24Updated 7 months ago
- Composable Core Animation Actions à la SceneKit☆67Updated 8 years ago
- A command-line utility for tagging part of speech for words in text.☆40Updated 5 years ago
- Swift Package client for the GitHub GraphQL API V4☆13Updated 3 years ago