silt-lang / silt
An in-progress fast, dependently typed, functional programming language implemented in Swift.
☆241Updated 5 years ago
Alternatives and similar repositories for silt:
Users that are interested in silt are comparing it to the libraries listed below
- Functional streaming abstractions in Swift☆72Updated 7 years ago
- A type safe, compiled language inspired by (and written in) Swift☆275Updated 5 years ago
- Standard Operators for the working Swift Librarian.☆98Updated 3 years ago
- Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"☆93Updated 5 years ago
- Swift Parser Combinators☆58Updated 5 years ago
- Integrating Haskell with Swift Mac Apps☆151Updated 8 years ago
- Optics for Swift☆204Updated 7 years ago
- A simple parser combinator written in Swift☆63Updated 11 months ago
- Compiler for Swiftlet☆36Updated 10 months ago
- A parser combinator library written in the Swift programming language.☆227Updated 2 years ago
- ☆91Updated 7 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- Abstract Binding Trees☆16Updated 8 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 6 years ago
- Logic programming in Swift☆196Updated 4 years ago
- Reactive + Automaton + VTree in Swift, inspired by Elm.☆103Updated 6 years ago
- Practical Abstract Algebra in Swift☆47Updated 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
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 7 years ago
- Functional Concurrency Primitives☆209Updated 5 years ago
- An application for experimenting with Swift's Intermediate Language☆124Updated last year
- ☆69Updated 2 years ago
- A Swift implementation of the open Language Server Protocol.☆177Updated 6 years ago
- An expressive low level programming language☆72Updated 6 years ago
- An experimental Higher Kinded Types in Swift.☆44Updated 6 years ago
- An approximation of newtypes in Swift.☆13Updated 6 years ago
- An experimental functional programming language with dependent types, inspired by Swift and Idris.☆46Updated 2 years ago
- Swift rewrite of the ixy network driver☆29Updated last year
- Basic functions and combinators for functional programming in Swift.☆86Updated 3 months ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 9 years ago