antitypical / ManifoldLinks
An implementation of a dependently-typed intermediate language used by Tesseract.
☆30Updated 9 years ago
Alternatives and similar repositories for Manifold
Users that are interested in Manifold are comparing it to the libraries listed below
Sorting:
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- Tesseract’s evaluation and type system.☆30Updated 10 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 7 years ago
- ☆20Updated 7 years ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 8 years ago
- Tools for making it easier to integrate Haskell and Objective-C.☆93Updated 12 years ago
- Scrum, but with GitHub Issues (experimental)☆16Updated 10 years ago
- ☆20Updated 9 years ago
- Functional streaming abstractions in Swift☆72Updated 8 years ago
- Simple ParserCombinator framework for Swift☆13Updated 7 years ago
- ☆15Updated 9 years ago
- Parser combinators, for Swift☆65Updated 9 years ago
- Pure Swift 2.0 S-expression Parser☆17Updated 9 years ago
- Pretty much only a Lens☆45Updated 8 years ago
- Abstract Binding Trees☆16Updated 8 years ago
- A better way to handle errors in Swift.☆13Updated 10 years ago
- ☆68Updated 2 years ago
- An unofficial registry of Swift packages☆11Updated 9 years ago
- ☆35Updated 9 years ago
- Swift µframework of Memo, a lazily memoized value.☆45Updated 9 years ago
- A little tutorial written in Swift playgrounds to learn about transducers.☆80Updated 10 years ago
- Parsec implementation in Swift☆52Updated 8 years ago
- Liferaft parses Apple build numbers, like `6D1002`.☆11Updated 7 years ago
- A simple Functional Reactive Programming library for Swift☆13Updated 9 years ago
- [WIP] Automatically provision a clean Mac Mini/VM with the tools required for iOS CI and testing.☆21Updated 10 years ago
- XPC simplified for Swift. Deal with Swift and NS* objects instead of xpc_object_t.☆63Updated 7 years ago
- First attempt at Genetics Programming (in Swift)☆35Updated 10 years ago
- An implementation of Wagner-Fischer in pure Swift.☆16Updated 8 years ago
- Swift unification framework for logic programming☆30Updated 6 years ago
- Example for building an iOS application using SPM, avoiding Xcode as much as possible.☆27Updated 8 years ago