antitypical / TesseractCore
Tesseract’s evaluation and type system.
☆30Updated 9 years ago
Related projects: ⓘ
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 8 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 6 years ago
- Pretty much only a Lens☆45Updated 7 years ago
- Swift µframework of Memo, a lazily memoized value.☆45Updated 8 years ago
- ☆15Updated 8 years ago
- Abstract Algebraic Structures in Swift☆53Updated 5 years ago
- Parsec implementation in Swift☆52Updated 7 years ago
- ☆17Updated this week
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 6 years ago
- ☆69Updated last year
- ☆35Updated 8 years ago
- Enumeration & iteration of collections in Swift.☆58Updated 9 years ago
- Functional streaming abstractions in Swift☆72Updated 7 years ago
- ☆20Updated 8 years ago
- Swift persistent vectors à la Clojure☆36Updated 4 years ago
- Singly-linked lists in Swift.☆25Updated 9 years ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 7 years ago
- Persistent data structures in Objective-C☆114Updated 9 years ago
- An unofficial registry of Swift packages☆11Updated 8 years ago
- Pure Swift 2.0 S-expression Parser☆17Updated 9 years ago
- Kaleidoscope is an LLVM language for writing tutorials.☆17Updated 7 years ago
- yaml -> sourcekit -> json☆29Updated last year
- ☆10Updated 8 years ago
- A parallel object cache for Swift 2.0☆23Updated 4 years ago
- Flexible XCTest assertions in Swift.☆40Updated 8 years ago
- Collection of FPish exercises in Swift☆20Updated 6 years ago
- Swift libraries that enable "Reactive Relational Programming"☆72Updated 4 years ago
- NSString and libdispatch compatibility code for Swift on Linux☆47Updated 8 years ago
- A little tutorial written in Swift playgrounds to learn about transducers.☆80Updated 9 years ago
- Timing and threading helpers for Interstellar☆40Updated 8 years ago