antitypical / TesseractCore
Tesseract’s evaluation and type system.
☆30Updated 10 years ago
Alternatives and similar repositories for TesseractCore
Users that are interested in TesseractCore are comparing it to the libraries listed below
Sorting:
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 9 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 7 years ago
- Swift µframework of Memo, a lazily memoized value.☆45Updated 9 years ago
- ☆68Updated 2 years ago
- ☆15Updated 9 years ago
- ☆35Updated 9 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- Pure Swift 2.0 S-expression Parser☆17Updated 9 years ago
- Functional streaming abstractions in Swift☆72Updated 8 years ago
- Pretty much only a Lens☆45Updated 8 years ago
- Parsec implementation in Swift☆52Updated 8 years ago
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 7 years ago
- Enumeration & iteration of collections in Swift.☆58Updated 10 years ago
- Simple ParserCombinator framework for Swift☆13Updated 7 years ago
- Singly-linked lists in Swift.☆25Updated 9 years ago
- Swift libraries that enable "Reactive Relational Programming"☆72Updated 5 years ago
- A little tutorial written in Swift playgrounds to learn about transducers.☆80Updated 10 years ago
- ☆20Updated 9 years ago
- Append-only key-value database☆62Updated 9 years ago
- ☆110Updated 5 years ago
- Persistent data structures in Objective-C☆114Updated 10 years ago
- Track periodic goals — a sample iPhone app☆27Updated 6 years ago
- A binary operation meets an identity element, much fun ensues…☆45Updated 8 years ago
- Swift wrapper around LLVM☆35Updated 8 years ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 8 years ago
- Flexible XCTest assertions in Swift.☆40Updated 9 years ago
- Clang C API wrapper for Swift.☆50Updated 8 years ago
- ☆20Updated 7 years ago
- Tools for making it easier to integrate Haskell and Objective-C.☆92Updated 12 years ago
- Swift unification framework for logic programming☆30Updated 5 years ago