https://github.com/silt-lang/silt

An in-progress fast, dependently typed, functional programming language implemented in Swift.
https://github.com/silt-lang/silt

compiler dependent-types functional-programming swift

Last synced: about 2 months ago
JSON representation

An in-progress fast, dependently typed, functional programming language implemented in Swift.

• Host: GitHub
• URL: https://github.com/silt-lang/silt
• Owner: silt-lang
• License: mit
• Created: 2017-08-25T21:30:51.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-07-02T15:54:34.000Z (over 5 years ago)
• Last Synced: 2024-07-22T20:50:45.970Z (5 months ago)
• Topics: compiler, dependent-types, functional-programming, swift
• Language: Swift
• Homepage:
• Size: 1020 KB
• Stars: 238
• Watchers: 13
• Forks: 13
• Open Issues: 19

Awesome Lists containing this project

• programming-languages - Silt - An in-progress fast, dependently typed, functional programming language implemented in Swift. (Functional)