orsinium-labs / rlciLinks
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
☆69Updated 9 months ago
Alternatives and similar repositories for rlci
Users that are interested in rlci are comparing it to the libraries listed below
Sorting:
- Seamless Higher-Kinded Types in Rust☆88Updated 3 years ago
- hindley-milner algorithm☆62Updated 2 years ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆47Updated 9 months ago
- ⅋ — session types for Rust☆214Updated 6 months ago
- An evil parsing library.☆54Updated 2 years ago
- 🎶 Choreographic programming in Rust 🎶☆64Updated 10 months ago
- Stack safe and expressive recursion in Rust☆105Updated 7 months ago
- Derive functors for your datastructures.☆24Updated last year
- Choose Rust types at compile-time via constants☆69Updated 2 years ago
- Simple refinement types for Rust; parse, don't validate!☆76Updated 2 months ago
- Discovering and describing Rust's design axioms☆79Updated last year
- A memory efficient syntax tree for language developers☆63Updated 3 weeks ago
- A terminal style toolkit inspired by CSS for elegant TUIs☆41Updated 3 years ago
- Strongly typed APIs for non-empty collections, slices, and iterators.☆85Updated this week
- Linux linker for x86 and x86-64☆31Updated 7 months ago
- Costless typed identifiers backed by UUID, with kind readable in serialized versions☆75Updated last year
- A safe, fast, lightweight embeddable scripting language written in Rust.☆22Updated 2 years ago
- State machine pattern for Rust☆29Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Zero-cost specialization in generic context on stable Rust☆24Updated 7 months ago
- Build nice REPLs using clap and reedline with zero effort☆76Updated 8 months ago
- The prettier pattern-matching parser with automatic error recovery☆153Updated 3 months ago
- A special rope, designed to work with any data type that is not String☆36Updated 2 years ago
- ☆43Updated 2 years ago
- Scripting language focused on processing tabular data.☆175Updated 2 years ago
- Transitive derive macros for Rust☆34Updated 7 months ago
- Even formats macros☆95Updated 3 weeks ago
- Yet another string type for Rust☆91Updated last week
- A new cross platform general prupose Line editor implementation designed with the goal to be flexible and customizable☆49Updated last year
- How fast can we recognize a word from a small pre-determined set?☆88Updated 11 months ago