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: 4 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 (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2019-07-02T15:54:34.000Z (almost 6 years ago)
• Last Synced: 2024-10-19T01:41:23.379Z (8 months ago)
• Topics: compiler, dependent-types, functional-programming, swift
• Language: Swift
• Homepage:
• Size: 1020 KB
• Stars: 239
• Watchers: 12
• 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)