Shadowgraph
TrendingAbout
Sign in

linkdd/letlang

Functional language with a powerful type system.

Rust

175

31 commits

updated Feb 7, 2024

letlang.dev

See the code

README

Letlang

status: WIP version: 0.0.0 license: MIT

Contributing

If you want to contribute, please make a pull request.

Requirements:

  • Rust & Cargo 1.77+ (nightly)

Build:

$ cargo build

Run example:

$ make dummy

License

Letlang's source code is distributed under the terms of the MIT License

The website's content is distributed under the terms of the CC BY NC SA 4.0 License.

compiler
functional
language
letlang

Contributors

linkdd

31 commits

Similar repos

nanikamado/cotton

A programming language

70

gleam-lang/gleam

⭐️ A friendly language for building type-safe, scalable systems!

21,931

phadej/write-yourself-a-typed-functional-language

Write yourself a typed functional language

65

never-lang/never

Never: statically typed, embeddable functional programming language.

459

kit-ty-kate/labrys

A toy language based on LLVM that implements the System Fω type-system

114

grain-lang/grain

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

3,465

mozilla/rust

Empowering everyone to build reliable and efficient software.

119,020

np/ling

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

109

Languages

Rust

68.4%

CSS

20.9%

HTML

8.6%

JavaScript

1.9%

linkdd/letlang

Functional language with a powerful type system.

Rust

175

31 commits

updated Feb 7, 2024

letlang.dev

See the code

README

Letlang

status: WIP version: 0.0.0 license: MIT

Contributing

If you want to contribute, please make a pull request.

Requirements:

  • Rust & Cargo 1.77+ (nightly)

Build:

$ cargo build

Run example:

$ make dummy

License

Letlang's source code is distributed under the terms of the MIT License

The website's content is distributed under the terms of the CC BY NC SA 4.0 License.

compiler
functional
language
letlang

Similar repos

nanikamado/cotton

A programming language

70

gleam-lang/gleam

⭐️ A friendly language for building type-safe, scalable systems!

21,931

phadej/write-yourself-a-typed-functional-language

Write yourself a typed functional language

65

never-lang/never

Never: statically typed, embeddable functional programming language.

459

kit-ty-kate/labrys

A toy language based on LLVM that implements the System Fω type-system

114

grain-lang/grain

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

3,465

mozilla/rust

Empowering everyone to build reliable and efficient software.

119,020

np/ling

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

109

Contributors

linkdd

31 commits

Languages

Rust

68.4%

CSS

20.9%

HTML

8.6%

JavaScript

1.9%