linkdd / letlangLinks
Functional language with a powerful type system.
☆171Updated 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☆61Updated 2 years ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- QBE IR in natural Rust data structures☆111Updated 2 months ago
- ☆211Updated last year
- Resilient LL(1) parser generator for Rust☆162Updated last week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆220Updated 8 months ago
- an experimental new programming language based on interaction nets☆283Updated this week
- 👌 A smol functional language that targets other languages☆62Updated last year
- Fast webserver with predictable memory usage☆178Updated last year
- Cycle-tracking garbage collector library for Rust☆189Updated last month
- ☆172Updated 8 months ago
- An LLVM compiler for an ML-like language (written in Rust)☆59Updated 3 years ago
- Tokay is a programming language designed for ad-hoc parsing.☆245Updated this week
- Scripting language focused on processing tabular data.☆176Updated 2 years ago
- A meta-JIT library for Rust interpreters☆163Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- A programming language that is a minimal subset of Rust☆106Updated last month
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆94Updated 3 weeks ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Scripting language for Rust.☆92Updated 2 weeks ago
- A simple programming language for researching different ways of program execution and compilation☆32Updated 9 months ago
- Pratt parser written in Rust☆90Updated last year
- Ygen - Yet another code generation libary (abandoned)☆110Updated 2 weeks ago
- 🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.☆65Updated 3 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- ☆56Updated 2 years ago
- ⅋ — session types for Rust☆191Updated 7 months ago
- Minimal Prolog implemented in Rust☆44Updated 9 months ago
- An HTTP library for the Lunatic VM.☆64Updated 2 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆264Updated last year