antitypical / TesseractCoreLinks
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:
- Declarative Binary Serialization for Swift Structures☆47Updated 7 years ago
- ☆15Updated 9 years ago
- Abstract Algebraic Structures in Swift☆53Updated 7 years ago
- Pretty much only a Lens☆45Updated 9 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 9 years ago
- Parsec implementation in Swift☆52Updated 8 years ago
- ☆68Updated 3 years ago
- Pure Swift 2.0 S-expression Parser☆17Updated 10 years ago
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 7 years ago
- ☆35Updated 9 years ago
- Swift µframework of Memo, a lazily memoized value.☆45Updated 10 years ago
- Timing and threading helpers for Interstellar☆40Updated 10 years ago
- A Constraint Satisfaction Problem Solver in Pure Swift☆82Updated 3 years ago
- A little tutorial written in Swift playgrounds to learn about transducers.☆80Updated 11 years ago
- ☆20Updated 9 years ago
- XPC simplified for Swift. Deal with Swift and NS* objects instead of xpc_object_t.☆63Updated 8 years ago
- Flexible XCTest assertions in Swift.☆40Updated 9 years ago
- Example for building an iOS application using SPM, avoiding Xcode as much as possible.☆27Updated 9 years ago
- Functional streaming abstractions in Swift☆71Updated 8 years ago
- Practical and efficient WatchKit tables☆72Updated 9 years ago
- Nimble matchers for Fox☆14Updated 10 years ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 8 years ago
- Experimental swift parser generator☆75Updated 3 years ago
- Implementation of a generic 2-3 finger tree in Swift based on the Haskell implementation demonstrated in http://andrew.gibiansky.com/blog…☆12Updated 6 years ago
- A binary operation meets an identity element, much fun ensues…☆45Updated 9 years ago
- A library for communicating with OpenRadar.☆21Updated 9 years ago
- Model framework using Argo☆44Updated 10 years ago
- A CocoaPods Plugin that stops☆25Updated 9 years ago
- Swift libraries that enable "Reactive Relational Programming"☆72Updated 5 years ago
- Overlay and gesture recognizers for seeing and using 3D Touch force properties☆60Updated 8 years ago