antitypical / Manifold
An implementation of a dependently-typed intermediate language used by Tesseract.
☆30Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for Manifold
- Tesseract’s evaluation and type system.☆30Updated 9 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 6 years ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 7 years ago
- Tools for making it easier to integrate Haskell and Objective-C.☆92Updated 11 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- ☆20Updated 8 years ago
- ☆20Updated 6 years ago
- Simple ParserCombinator framework for Swift☆13Updated 6 years ago
- Pretty much only a Lens☆45Updated 8 years ago
- Swift µframework of Memo, a lazily memoized value.☆45Updated 9 years ago
- Functional streaming abstractions in Swift☆72Updated 7 years ago
- Pure Swift 2.0 S-expression Parser☆17Updated 9 years ago
- An unofficial registry of Swift packages☆11Updated 8 years ago
- ☆15Updated 8 years ago
- ☆35Updated 8 years ago
- Scrum, but with GitHub Issues (experimental)☆16Updated 9 years ago
- Singly-linked lists in Swift.☆25Updated 9 years ago
- Abstract Binding Trees☆16Updated 8 years ago
- A library for communicating with OpenRadar.☆21Updated 8 years ago
- Parser combinators, for Swift☆65Updated 9 years ago
- An approximation of newtypes in Swift.☆13Updated 6 years ago
- ☆69Updated 2 years ago
- Glues Quick & Nimble together. Makes sure you run an expectation on every test.☆15Updated 8 years ago
- Nest middleware to lockup your web application☆21Updated 9 years ago
- Swift wrapper around LLVM☆35Updated 7 years ago
- Slide decks rendered from mardown☆24Updated 2 months ago
- Xcode project templates, especially for µframework development.☆20Updated 9 years ago
- Database as a value.☆54Updated 10 years ago
- Clang C API wrapper for Swift.☆50Updated 7 years ago