yorickpeterse / pattern-matching-in-rustLinks
Pattern matching and exhaustiveness checking algorithms implemented in Rust
☆232Updated last year
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:
- ☆67Updated 2 years ago
- hindley-milner algorithm☆62Updated 2 years ago
- A meta-JIT library for Rust interpreters☆164Updated 3 years ago
- Logic programming in Rust☆532Updated 3 months ago
- ☆218Updated last year
- ☆271Updated last year
- Functional language with a powerful type system.☆172Updated 2 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- Resilient LL(1) parser generator for Rust☆188Updated this week
- ☆174Updated 5 months ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆63Updated 7 months ago
- A menagerie of cute implementations of modern typechecking algorithms☆382Updated 2 weeks ago
- A simple ML-like programming language with subtyping and full type inference.☆188Updated last year
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆673Updated last week
- A pure functional language for type-level programming in Rust☆339Updated 3 years ago
- A garden of small programming language implementations 🪴☆311Updated last week
- Analyze Rust crates without touching compiler internals☆287Updated this week
- a model of MIR and the Rust type/trait system☆325Updated this week
- Language tooling for the Lox programming language.☆354Updated 6 months ago
- an experimental new programming language based on interaction nets☆338Updated this week
- Wadler-style pretty-printing combinators in Rust☆175Updated 4 months ago
- Refinement Types for Rust☆825Updated 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…☆490Updated this week
- ☆324Updated 3 months ago
- A modern supercompiler for call-by-value functional languages☆466Updated 2 months ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆268Updated 2 years ago
- Crafting Interpreters in Rust☆310Updated 3 years ago
- QBE IR in natural Rust data structures☆120Updated 2 months ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆368Updated last week
- Compiler front-end foundation technology.☆478Updated this week