silt-lang / siltLinks
An in-progress fast, dependently typed, functional programming language implemented in Swift.
☆242Updated 5 years ago
Alternatives and similar repositories for silt
Users that are interested in silt are comparing it to the libraries listed below
Sorting:
- Functional streaming abstractions in Swift☆72Updated 8 years ago
- Integrating Haskell with Swift Mac Apps☆150Updated 8 years ago
- Optics for Swift☆206Updated 7 years ago
- Compiler for Swiftlet☆36Updated last year
- Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"☆93Updated 5 years ago
- Standard Operators for the working Swift Librarian.☆98Updated 3 years ago
- A simple parser combinator written in Swift☆63Updated last year
- A type safe, compiled language inspired by (and written in) Swift☆275Updated 6 years ago
- ☆91Updated 7 years ago
- A parser combinator library written in the Swift programming language.☆228Updated 3 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 7 years ago
- Swift Parser Combinators☆58Updated 5 years ago
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 7 years ago
- Logic programming in Swift☆197Updated 5 years ago
- ☆68Updated 2 years ago
- Reactive + Automaton + VTree in Swift, inspired by Elm.☆102Updated 6 years ago
- Abstract Binding Trees☆16Updated 8 years ago
- An experimental functional programming language with dependent types, inspired by Swift and Idris.☆45Updated 2 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- An approximation of newtypes in Swift.☆13Updated 7 years ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆61Updated 3 years ago
- A Swift implementation of the open Language Server Protocol.☆177Updated 6 years ago
- Basic functions and combinators for functional programming in Swift.☆86Updated 6 months ago
- ☆110Updated 5 years ago
- An experimental Higher Kinded Types in Swift.☆44Updated 6 years ago
- An expressive low level programming language☆72Updated 7 years ago
- Functional Concurrency Primitives☆209Updated 5 years ago
- A standalone Swift version of LLVM's flexible pattern matching file verifier☆66Updated 3 years ago
- Learn how to build a compiler by interacting with Let's Build a Compiler by Jack Crenshaw in Swift Playgrounds☆163Updated 7 years ago
- Practical Abstract Algebra in Swift☆47Updated 3 years ago