linkdd / letlangLinks
Functional language with a powerful type system.
☆172Updated last year
Alternatives and similar repositories for letlang
Users that are interested in letlang are comparing it to the libraries listed below
Sorting:
- hindley-milner algorithm☆62Updated 2 years ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated last year
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆110Updated 3 months ago
- 👌 A smol functional language that targets other languages☆66Updated last year
- ☆213Updated last year
- Resilient LL(1) parser generator for Rust☆181Updated last week
- QBE IR in natural Rust data structures☆115Updated last week
- Fast webserver with predictable memory usage☆189Updated last year
- an experimental new programming language based on interaction nets☆328Updated this week
- An LLVM compiler for an ML-like language (written in Rust)☆61Updated 3 years ago
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆229Updated last year
- A programming language that is a minimal subset of Rust☆283Updated 3 weeks ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Ygen - Yet another code generation libary (abandoned)☆112Updated last month
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- Scripting language focused on processing tabular data.☆175Updated 2 years ago
- Pratt parser written in Rust☆95Updated 2 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated 2 years ago
- Cycle-tracking garbage collector library for Rust☆203Updated 3 weeks ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- Tokay programming language, designed for ad-hoc parsing and syntax-directed development.☆248Updated 2 weeks ago
- A simple programming language for researching different ways of program execution and compilation☆34Updated last year
- ☆174Updated 3 months ago
- Concrete Syntax Tree library☆109Updated 2 months ago
- 🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.☆68Updated 8 months ago
- Claro Lang☆147Updated last year
- ⅋ — session types for Rust☆213Updated 4 months ago
- Oxide Programming Language☆135Updated 3 years ago