silt-lang / siltLinks
An in-progress fast, dependently typed, functional programming language implemented in Swift.
☆243Updated 6 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☆71Updated 8 years ago
- An expressive low level programming language☆72Updated 7 years ago
- Integrating Haskell with Swift Mac Apps☆150Updated 8 years ago
- A type safe, compiled language inspired by (and written in) Swift☆275Updated 6 years ago
- Standard Operators for the working Swift Librarian.☆98Updated 3 years ago
- A simple parser combinator written in Swift☆63Updated last year
- Optics for Swift☆206Updated 7 years ago
- An approximation of newtypes in Swift.☆13Updated 7 years ago
- Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"☆93Updated 5 years ago
- A parser combinator library written in the Swift programming language.☆229Updated 3 years ago
- Logic programming in Swift☆197Updated 5 years ago
- Swift Parser Combinators☆58Updated 5 years ago
- Abstract Algebraic Structures in Swift☆53Updated 6 years ago
- ☆91Updated 7 years ago
- Abstract Binding Trees☆16Updated 8 years ago
- A Swift implementation of the open Language Server Protocol.☆177Updated 7 years ago
- Compiler for Swiftlet☆36Updated last year
- Practical Abstract Algebra in Swift☆47Updated 4 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 7 years ago
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 7 years ago
- An application for experimenting with Swift's Intermediate Language☆125Updated last year
- ☆68Updated 2 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 9 years ago
- An experimental Higher Kinded Types in Swift.☆44Updated 6 years ago
- Functional Concurrency Primitives☆209Updated 5 years ago
- An experimental functional programming language with dependent types, inspired by Swift and Idris.☆46Updated 3 years ago
- ☆110Updated 5 years ago
- Reactive + Automaton + VTree in Swift, inspired by Elm.☆102Updated 6 years ago
- A pure Swift replacement for readline☆151Updated 2 years ago
- An experiment towards a UI programming model inspired by algebraic effects.☆30Updated 8 years ago