A Functional Language with Robust Types


Summary of my bookmarked Github repositories from Jun 16th, 2023

Github repositories

  • linkdd/letlang

    Letlang is a functional language with a powerful type system. The repository provides code and examples for building and running programs in Letlang. It requires Rust and Cargo 1.63+ for building and running. The website offers documentation and resources for learning and contributing to Letlang. The project is distributed under the MIT License. It has received 105 stars and has 3 forks on GitHub. The main language used in the repository is Rust, followed by HTML, Jinja, and JavaScript.