typelift / ValenceLinks
Abstract Binding Trees
☆16Updated 8 years ago
Alternatives and similar repositories for Valence
Users that are interested in Valence are comparing it to the libraries listed below
Sorting:
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 9 years ago
- Functional streaming abstractions in Swift☆72Updated 8 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 7 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- Tesseract’s evaluation and type system.☆30Updated 10 years ago
- An approximation of newtypes in Swift.☆13Updated 7 years ago
- ☆20Updated 7 years ago
- Tools for making it easier to integrate Haskell and Objective-C.☆93Updated 12 years ago
- Slide decks rendered from mardown☆24Updated 10 months ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 8 years ago
- Parsec implementation in Swift☆52Updated 8 years ago
- Standard Operators for the working Swift Librarian.☆98Updated 3 years ago
- A simple parser combinator written in Swift☆63Updated last year
- ☆68Updated 2 years ago
- Logic programming in Swift☆12Updated 8 years ago
- Parser combinators, for Swift☆65Updated 9 years ago
- An in-progress fast, dependently typed, functional programming language implemented in Swift.☆244Updated 6 years ago
- A simple Functional Reactive Programming library for Swift☆13Updated 9 years ago
- ☆20Updated 9 years ago
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 7 years ago
- ☆110Updated 5 years ago
- Swift µframework of Memo, a lazily memoized value.☆45Updated 9 years ago
- Scrum, but with GitHub Issues (experimental)☆16Updated 10 years ago
- Simple ParserCombinator framework for Swift☆13Updated 7 years ago
- Kaleidoscope is an LLVM language for writing tutorials.☆17Updated 8 years ago
- ☆15Updated 9 years ago
- Algebraic laws bundled into concrete data types.☆21Updated 5 years ago
- Swift lambda calculus functions supporting intensional equality☆12Updated 9 years ago
- Swift unification framework for logic programming☆30Updated 6 years ago
- Example of using your own packages in the Swift REPL☆19Updated 5 years ago