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
Sorting:
- Functional streaming abstractions in Swift☆72Updated 8 years ago
- Integrating Haskell with Swift Mac Apps☆151Updated 8 years ago
- Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"☆93Updated 5 years ago
- A simple parser combinator written in Swift☆63Updated last year
- Standard Operators for the working Swift Librarian.☆98Updated 3 years ago
- Optics for Swift☆205Updated 7 years ago
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 7 years ago
- A type safe, compiled language inspired by (and written in) Swift☆275Updated 6 years ago
- Compiler for Swiftlet☆36Updated last year
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- An expressive low level programming language☆72Updated 7 years ago
- A parser combinator library written in the Swift programming language.☆228Updated 2 years ago
- Swift Parser Combinators☆58Updated 5 years ago
- ☆91Updated 7 years ago
- ☆68Updated 2 years ago
- Abstract Binding Trees☆16Updated 8 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 7 years ago
- Logic programming in Swift☆196Updated 4 years ago
- An approximation of newtypes in Swift.☆13Updated 6 years ago
- A minimal LISP implemented in Swift☆137Updated 6 years ago
- An application for experimenting with Swift's Intermediate Language☆125Updated last year
- Learn how to build a compiler by interacting with Let's Build a Compiler by Jack Crenshaw in Swift Playgrounds☆163Updated 7 years ago
- Reactive + Automaton + VTree in Swift, inspired by Elm.☆102Updated 6 years ago
- Practical Abstract Algebra in Swift☆47Updated 3 years ago
- An experimental functional programming language with dependent types, inspired by Swift and Idris.☆46Updated 2 years ago
- Functional Concurrency Primitives☆209Updated 5 years ago
- A Swift implementation of the open Language Server Protocol.☆177Updated 6 years ago
- An experiment towards a UI programming model inspired by algebraic effects.☆30Updated 7 years ago
- Wadler's "A prettier printer" embedded pretty-printer DSL for Swift☆192Updated 3 years ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆61Updated 3 years ago