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.☆122Updated last year
- ☆213Updated last year
- Resilient LL(1) parser generator for Rust☆165Updated this week
- 👌 A smol functional language that targets other languages☆63Updated last year
- QBE IR in natural Rust data structures☆115Updated last week
- An LLVM compiler for an ML-like language (written in Rust)☆59Updated 3 years ago
- an experimental new programming language based on interaction nets☆295Updated last week
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆221Updated 9 months ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆103Updated 2 weeks ago
- ☆173Updated 10 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆44Updated last year
- Fast webserver with predictable memory usage☆181Updated last year
- A general purpose programming language☆208Updated 3 months ago
- A simple programming language for researching different ways of program execution and compilation☆33Updated 10 months ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- ☆56Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Cycle-tracking garbage collector library for Rust☆193Updated 2 months ago
- Tokay programming language, designed for ad-hoc parsing and syntax-directed development.☆246Updated 2 weeks ago
- Concrete Syntax Tree library☆100Updated 3 weeks ago
- Ygen - Yet another code generation libary (abandoned)☆111Updated this week
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆82Updated 6 months ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆264Updated last year
- A highly experiment portable runtime☆20Updated last year
- Pratt parser written in Rust☆91Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- A programming language that is a minimal subset of Rust☆138Updated last week
- 🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.☆66Updated 4 months ago