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
- A type safe, compiled language inspired by (and written in) Swift☆275Updated 6 years ago
- Integrating Haskell with Swift Mac Apps☆150Updated 8 years ago
- Compiler for Swiftlet☆36Updated last year
- A parser combinator library written in the Swift programming language.☆228Updated 2 years ago
- Optics for Swift☆205Updated 7 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
- Swift Parser Combinators☆58Updated 5 years ago
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 7 years ago
- Standard Operators for the working Swift Librarian.☆98Updated 3 years ago
- ☆91Updated 7 years ago
- Practical Abstract Algebra in Swift☆47Updated 3 years ago
- ☆68Updated 2 years ago
- A Swift implementation of the open Language Server Protocol.☆177Updated 6 years ago
- An approximation of newtypes in Swift.☆13Updated 6 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 7 years ago
- An expressive low level programming language☆72Updated 7 years ago
- Logic programming in Swift☆196Updated 5 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
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- Abstract Binding Trees☆16Updated 8 years ago
- Reactive + Automaton + VTree in Swift, inspired by Elm.☆102Updated 6 years ago
- An application for experimenting with Swift's Intermediate Language☆125Updated last year
- Basic functions and combinators for functional programming in Swift.☆86Updated 5 months ago
- An experimental Higher Kinded Types in Swift.☆44Updated 6 years ago
- Swift implementation of a Lox interpreter☆50Updated 7 years ago
- Bitsy: The best language to implement when writing your first compiler or interpreter☆95Updated 3 years ago
- An experimental functional programming language with dependent types, inspired by Swift and Idris.☆45Updated 2 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 9 years ago