yorickpeterse / pattern-matching-in-rustLinks
Pattern matching and exhaustiveness checking algorithms implemented in Rust
☆223Updated 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:
- hindley-milner algorithm☆62Updated 2 years ago
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆468Updated last week
- ☆60Updated 2 years ago
- ☆212Updated last year
- A simple ML-like programming language with subtyping and full type inference.☆180Updated 10 months ago
- Logic programming in Rust☆503Updated last week
- ☆253Updated 10 months ago
- Functional language with a powerful type system.☆172Updated last year
- A pure functional language for type-level programming in Rust☆336Updated 2 years ago
- Resilient LL(1) parser generator for Rust☆172Updated 2 weeks ago
- a model of MIR and the Rust type/trait system☆316Updated last month
- ☆174Updated last month
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- Refinement Types for Rust☆772Updated this week
- ☆324Updated 11 months ago
- Wadler-style pretty-printing combinators in Rust☆165Updated this week
- 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 4 months ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆131Updated 2 weeks ago
- an experimental new programming language based on interaction nets☆304Updated last week
- A garden of small programming language implementations 🪴☆287Updated this week
- A menagerie of cute implementations of modern typechecking algorithms☆322Updated last week
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- A modern supercompiler for call-by-value functional languages☆424Updated last month
- Incremental garbage collection from safe Rust☆770Updated 2 months ago
- Rust implementation of the Lox programming language☆149Updated 3 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆264Updated 2 years ago
- Cycle-tracking garbage collector library for Rust☆198Updated this week
- Compiler front-end foundation technology.☆473Updated last month
- Language tooling for the Lox programming language.☆331Updated 2 months ago