linkdd / letlang
Functional language with a powerful type system.
☆165Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for letlang
- hindley-milner algorithm☆53Updated last year
- Resilient LL(1) parser generator for Rust☆124Updated last month
- ☆197Updated 4 months ago
- QBE IR in natural Rust data structures☆80Updated 3 weeks ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆120Updated 10 months ago
- ☆172Updated 3 weeks ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆213Updated 3 weeks ago
- A general purpose programming language☆175Updated last month
- The Antimony programming language☆140Updated 2 weeks ago
- Fast webserver with predictable memory usage☆141Updated 5 months ago
- Experiments in building "better" languages and tools; for some measure of better.☆189Updated this week
- A meta-JIT library for Rust interpreters☆159Updated last year
- Tokay is a programming language designed for ad-hoc parsing, inspired by awk.☆239Updated last week
- Claro Lang☆138Updated 6 months ago
- 👌 A smol functional language that targets other languages☆62Updated 10 months ago
- I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…☆444Updated 7 months ago
- A modern supercompiler for call-by-value functional languages☆390Updated last week
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆64Updated 4 months ago
- Finally, a shell for all seasons!☆84Updated 2 months ago
- Ygen - Yet another code generation libary☆96Updated this week
- Concrete Syntax Tree library☆88Updated 2 weeks ago
- Scripting language focused on processing tabular data.☆173Updated last year
- The practical relational programing language for data-oriented applications☆191Updated last year
- ☆310Updated 3 weeks ago
- An interface for writing a RustTypeChecker.☆42Updated last year
- Incremental computation through constrained memoization.☆437Updated 2 weeks ago
- A compiler for Standard ML, somewhat☆201Updated 2 years ago
- Oxide Programming Language☆129Updated 2 years ago
- Borrowchecker in Zig☆105Updated last year
- Pratt parser written in Rust☆87Updated last year