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 2 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆113Updated 5 months ago
- Resilient LL(1) parser generator for Rust☆186Updated last month
- ☆218Updated last year
- 👌 A smol functional language that targets other languages☆66Updated 2 years ago
- QBE IR in natural Rust data structures☆120Updated 2 months ago
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- Fast webserver with predictable memory usage☆195Updated last year
- ☆174Updated 5 months ago
- a reference-counting cycle collection library in rust☆77Updated 3 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆232Updated last year
- Scripting language focused on processing tabular data.☆175Updated 2 years ago
- Concrete Syntax Tree library☆114Updated 3 months ago
- an experimental new programming language based on interaction nets☆337Updated this week
- An LLVM compiler for an ML-like language (written in Rust)☆62Updated 3 years ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- 🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.☆69Updated 9 months ago
- Tokay programming language, designed for ad-hoc parsing and syntax-directed development.☆251Updated last month
- ⅋ — session types for Rust☆214Updated 6 months ago
- Oxide Programming Language☆138Updated 3 years ago
- Minimal Prolog implemented in Rust☆46Updated 3 months ago
- Cycle-tracking garbage collector library for Rust☆313Updated 3 weeks ago
- Pratt parser written in Rust☆98Updated 2 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆64Updated 2 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆268Updated 2 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- A simple programming language for researching different ways of program execution and compilation☆34Updated last year
- An experimental programming language☆94Updated this week