orsinium-labs / rlciLinks
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
☆67Updated 6 months ago
Alternatives and similar repositories for rlci
Users that are interested in rlci are comparing it to the libraries listed below
Sorting:
- hindley-milner algorithm☆62Updated 2 years ago
- ⅋ — session types for Rust☆208Updated 2 months ago
- A memory efficient syntax tree for language developers☆62Updated 2 months ago
- Seamless Higher-Kinded Types in Rust☆86Updated 2 years ago
- An evil parsing library.☆54Updated last year
- Stack safe and expressive recursion in Rust☆103Updated 4 months ago
- A terminal style toolkit inspired by CSS for elegant TUIs☆41Updated 3 years ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆46Updated 6 months ago
- A special rope, designed to work with any data type that is not String☆34Updated last year
- How fast can we recognize a word from a small pre-determined set?☆83Updated 8 months ago
- exhaustive testing library☆65Updated last year
- Bounded integers for Rust☆35Updated 2 weeks ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Simple refinement types for Rust; parse, don't validate!☆75Updated last week
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Comparing parser APIs☆141Updated last week
- The prettier pattern-matching parser with automatic error recovery☆152Updated 3 months ago
- Interactive dot graphs☆120Updated last month
- Resilient LL(1) parser generator for Rust☆172Updated 3 weeks ago
- ☆141Updated last month
- Transitive derive macros for Rust☆33Updated 4 months ago
- Experimental type level programming in Rust☆40Updated 4 years ago
- 🎶 Choreographic programming in Rust 🎶☆59Updated 6 months ago
- Blazing fast immutable collection datatypes for Rust.☆118Updated this week
- Single-process scheduling: every(10).minutes()?.at(":17")?.run(...☆60Updated last year
- lens implemented in rust☆117Updated 2 years ago
- Derive functors for your datastructures.☆21Updated last year
- Idiomatic exceptions for Rust☆80Updated 2 months ago
- PEG trace visualizer☆89Updated last week
- Prototype extension of the Rust type system towards checking units-of-measure☆116Updated 5 years ago