by silt-lang

silt-lang / silt

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

211 Stars 12 Forks Last release: Not found MIT License 359 Commits 0 Releases

Available items

No Items, yet!

The developer of this repository has not created any items for sale yet. Need a bug fixed? Help with integration? A different license? Create a request here:

silt Build Status

Silt is an work-in-progress dependently typed functional programming language. Its syntax and type system are reminiscent of Idris and Agda, but it compiles directly to native code through LLVM. We aim for silt to be GC-free by lowering to an intermediate representation that tracks object lifetimes.


Silt builds with the Swift Package Manager. Clone the repository and run

swift build
and an executable will be produced at


Silt is released under the MIT License, a copy of which is available in this repository.


We welcome contributions from programmers of all backgrounds and experience levels. We've strived to create an environment that encourages learning through contribution, and we pledge to always treat contributors with the respect they deserve. We have adopted the Contributor Covenant as our code of conduct, which can be read in this repository.

For more info, and steps for a successful contribution, see the Contribution Guide.


Robert Widmann (@CodaFi)

Harlan Haskins (@harlanhaskins)

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.