yorickpeterse / pattern-matching-in-rustLinks
Pattern matching and exhaustiveness checking algorithms implemented in Rust
☆226Updated 11 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:
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Logic programming in Rust☆509Updated 2 weeks ago
- ☆212Updated last year
- hindley-milner algorithm☆62Updated 2 years ago
- Resilient LL(1) parser generator for Rust☆173Updated last month
- ☆256Updated 10 months ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆483Updated this week
- A pure functional language for type-level programming in Rust☆336Updated 2 years ago
- 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…☆485Updated 4 months ago
- A simple ML-like programming language with subtyping and full type inference.☆180Updated 10 months ago
- Wadler-style pretty-printing combinators in Rust☆169Updated 3 weeks ago
- ☆60Updated 2 years ago
- ☆324Updated 11 months ago
- Language tooling for the Lox programming language.☆337Updated 3 months ago
- Functional language with a powerful type system.☆172Updated last year
- an experimental new programming language based on interaction nets☆309Updated this week
- Refinement Types for Rust☆783Updated this week
- Incremental garbage collection from safe Rust☆769Updated 2 months ago
- a model of MIR and the Rust type/trait system☆317Updated 2 months ago
- Rust implementation of the Lox programming language☆150Updated 3 years ago
- ☆174Updated last month
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- Datalog compiler embedded in Rust as a procedural macro☆483Updated last year
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆132Updated last month
- Crafting Interpreters in Rust☆301Updated 2 years ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- A menagerie of cute implementations of modern typechecking algorithms☆332Updated last week
- A modern supercompiler for call-by-value functional languages☆425Updated last month
- Learn to make your own programming language with Rust☆262Updated 3 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆266Updated 2 years ago