GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → silt-lang → Silt

silt-lang / Silt

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

Programming Languages

swift
15916 projects

Labels

compilerfunctional-programming

Projects that are alternatives of or similar to Silt

Ring
Innovative and practical general-purpose multi-paradigm language
Stars: ✭ 716 (+229.95%)
Mutual labels:  compiler, functional-programming
Idiolisp
A statically typed functional programming language
Stars: ✭ 78 (-64.06%)
Mutual labels:  compiler, functional-programming
Grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Stars: ✭ 834 (+284.33%)
Mutual labels:  compiler, functional-programming
Felix
The Felix Programming Language
Stars: ✭ 609 (+180.65%)
Mutual labels:  compiler, functional-programming
Grain
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
Stars: ✭ 2,199 (+913.36%)
Mutual labels:  compiler, functional-programming
Clio
Clio is a functional, parallel, distributed programming language.
Stars: ✭ 555 (+155.76%)
Mutual labels:  compiler, functional-programming
Jhc Components
JHC Haskell compiler split into reusable components
Stars: ✭ 55 (-74.65%)
Mutual labels:  compiler, functional-programming
Fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
Stars: ✭ 2,966 (+1266.82%)
Mutual labels:  compiler, functional-programming
Ghc Grin
GRIN backend for GHC
Stars: ✭ 123 (-43.32%)
Mutual labels:  compiler, functional-programming
Bqn
An APL-like programming language. Self-hosted!
Stars: ✭ 100 (-53.92%)
Mutual labels:  compiler, functional-programming
Groovy
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Stars: ✭ 4,359 (+1908.76%)
Mutual labels:  compiler, functional-programming
Potigol
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Stars: ✭ 179 (-17.51%)
Mutual labels:  compiler, functional-programming
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+1311.98%)
Mutual labels:  compiler, functional-programming
Mlton
The MLton repository
Stars: ✭ 683 (+214.75%)
Mutual labels:  compiler, functional-programming
Never
Never: statically typed, embeddable functional programming language.
Stars: ✭ 248 (+14.29%)
Mutual labels:  compiler, functional-programming
Cfl
a Compileable statically typed Functional programming Language
Stars: ✭ 7 (-96.77%)
Mutual labels:  compiler, functional-programming
Faust
Functional programming language for signal processing and sound synthesis
Stars: ✭ 1,360 (+526.73%)
Mutual labels:  compiler, functional-programming
Typelang
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
Stars: ✭ 149 (-31.34%)
Mutual labels:  compiler, functional-programming
Mlkit
Standard ML Compiler and Toolkit
Stars: ✭ 183 (-15.67%)
Mutual labels:  compiler, functional-programming
Bitcoin S
Bitcoin Implementation in Scala
Stars: ✭ 206 (-5.07%)
Mutual labels:  functional-programming
View All Similar Projects ➔

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)

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].