linkdd / letlang
Functional language with a powerful type system.
☆170Updated last year
Alternatives and similar repositories for letlang:
Users that are interested in letlang are comparing it to the libraries listed below
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆120Updated last year
- hindley-milner algorithm☆58Updated last year
- ☆203Updated 9 months ago
- an experimental new programming language based on interaction nets☆239Updated last week
- Resilient LL(1) parser generator for Rust☆131Updated 2 weeks ago
- ☆172Updated 5 months ago
- 🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.☆63Updated last year
- Ygen - Yet another code generation libary☆106Updated 2 weeks ago
- Fast webserver with predictable memory usage☆168Updated 10 months ago
- A fast, concurrent and embeddable scripting language☆44Updated 2 years ago
- QBE IR in natural Rust data structures☆100Updated 3 weeks ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆217Updated 5 months ago
- A general purpose programming language☆187Updated last month
- Cycle-tracking garbage collector library for Rust☆178Updated 2 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- a reference-counting cycle collection library in rust☆78Updated 2 years ago
- ⅋ — session types for Rust☆148Updated 4 months ago
- Concrete Syntax Tree library☆93Updated last week
- 👌 A smol functional language that targets other languages☆61Updated last year
- Pratt parser written in Rust☆89Updated last year
- Idiomatic exceptions for Rust☆73Updated 7 months ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆151Updated this week
- ☆55Updated last year
- An interface for writing a RustTypeChecker.☆42Updated 2 years ago
- Yet Another Parser library for Rust. A lightweight, dependency free, parser combinator inspired set of utility methods to help with parsi…☆156Updated last month
- An LLVM compiler for an ML-like language (written in Rust)☆60Updated 3 years ago
- An HTTP library for the Lunatic VM.☆64Updated 2 years ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆72Updated last month
- A garbage collection library for Rust with zero unsafe code☆111Updated 8 months ago