Skip to content

silt-lang/silt

master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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.

Building

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

swift build

and an executable will be produced at .build/debug/silt.

License

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

Contributing

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.

Authors

Robert Widmann (@CodaFi)

Harlan Haskins (@harlanhaskins)

About

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

Topics

Resources

License

Code of conduct

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages