yorickpeterse / pattern-matching-in-rustLinks
Pattern matching and exhaustiveness checking algorithms implemented in Rust
☆218Updated 7 months ago
Alternatives and similar repositories for pattern-matching-in-rust
Users that are interested in pattern-matching-in-rust are comparing it to the libraries listed below
Sorting:
- ☆206Updated 11 months ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- ☆172Updated 7 months ago
- Logic programming in Rust☆466Updated 3 weeks ago
- Resilient LL(1) parser generator for Rust☆158Updated last week
- ☆316Updated 7 months ago
- A simple ML-like programming language with subtyping and full type inference.☆173Updated 6 months ago
- ☆55Updated 2 years ago
- ☆239Updated 6 months ago
- QBE IR in natural Rust data structures☆106Updated last month
- A pure functional language for type-level programming in Rust☆330Updated 2 years ago
- A garden of small programming language implementations 🪴☆224Updated this week
- A modern supercompiler for call-by-value functional languages☆414Updated last month
- Language tooling for the Lox programming language.☆307Updated 3 months ago
- hindley-milner algorithm☆61Updated last year
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- a model of MIR and the Rust type/trait system☆301Updated 2 months ago
- Refinement Types for Rust☆738Updated this week
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…☆483Updated last week
- an experimental new programming language based on interaction nets☆265Updated this week
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆263Updated last year
- Crafting Interpreters in Rust☆292Updated 2 years ago
- Wadler-style pretty-printing combinators in Rust☆158Updated 2 months ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆121Updated last year
- Comparing unsafe Rust vs Zig by writing a bytecode interpreter with GC in both langs☆181Updated last year
- A new register allocator☆229Updated 3 weeks ago
- Incremental garbage collection from safe Rust☆716Updated last month
- Interface with the rustc compiler for the purpose of program verification☆148Updated this week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆240Updated last week