linkdd / letlangLinks
Functional language with a powerful type system.
☆172Updated 2 years ago
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
- QBE IR in natural Rust data structures☆120Updated 2 months ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆113Updated 6 months ago
- 👌 A smol functional language that targets other languages☆66Updated 2 years ago
- ☆218Updated last year
- Resilient LL(1) parser generator for Rust☆186Updated last month
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- Fast webserver with predictable memory usage☆195Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆232Updated last year
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- ☆174Updated 5 months ago
- Tokay programming language, designed for ad-hoc parsing and syntax-directed development.☆252Updated last month
- an experimental new programming language based on interaction nets☆338Updated this week
- A general purpose programming language☆219Updated 3 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆64Updated 2 years ago
- A simple programming language for researching different ways of program execution and compilation☆34Updated last year
- a reference-counting cycle collection library in rust☆77Updated 3 years ago
- Minimal Prolog implemented in Rust☆46Updated this week
- Scripting language for Rust.☆109Updated 7 months ago
- An LLVM compiler for an ML-like language (written in Rust)☆62Updated 3 years ago
- Cycle-tracking garbage collector library for Rust☆313Updated last month
- Ygen - Yet another code generation libary (abandoned)☆111Updated 3 months ago
- 🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.☆69Updated 10 months ago
- Concrete Syntax Tree library☆115Updated 4 months ago
- An HTTP library for the Lunatic VM.☆64Updated 3 years ago
- Scripting language focused on processing tabular data.☆175Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆43Updated 9 years ago
- Claro Lang☆148Updated last year