orsinium-labs / rlci
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
☆62Updated last year
Alternatives and similar repositories for rlci:
Users that are interested in rlci are comparing it to the libraries listed below
- Seamless Higher-Kinded Types in Rust☆76Updated 2 years ago
- A port of jonls/redshift to Rust☆46Updated 6 months ago
- Choose Rust types at compile-time via constants☆63Updated 11 months ago
- An evil parsing library.☆54Updated last year
- Build nice REPLs using clap and reedline with zero effort☆58Updated last week
- An IDE extension for debugging trait errors in Rust.☆99Updated 2 weeks ago
- ⅋ — session types for Rust☆124Updated 2 months ago
- Concise bit field extraction☆58Updated 2 months ago
- ☆41Updated last year
- Simple, automatic, and customizable tree pretty-printing in Rust.☆30Updated last year
- Comparing parser APIs☆105Updated 2 weeks ago
- The prettier pattern-matching parser with automatic error recovery☆119Updated 2 months ago
- A memory efficient syntax tree for language developers☆51Updated this week
- A compile-time pattern matching library that reverses the interpolation process of `format!`.☆161Updated this week
- State machine pattern for Rust☆30Updated 2 months ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆44Updated this week
- A wrapper type for cross-type numeric comparisons.☆27Updated 2 years ago
- Yet another string type for Rust☆79Updated last week
- Discovering and describing Rust's design axioms☆71Updated 9 months ago
- Transitive derive macros for Rust☆30Updated 8 months ago
- Idiomatic exceptions for Rust☆73Updated 4 months ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- ☆98Updated 2 months ago
- Derive functors for your datastructures.☆20Updated 9 months ago
- ☆29Updated 7 months ago
- The quickest way to override dependencies with Cargo☆58Updated 2 weeks ago
- Rank Polymorphic array library for Rust.☆102Updated last year
- ☆35Updated last month
- Thread Safe Reactive Data Structure. Made with ❤️ for 🦀☆40Updated 9 months ago
- Stack safe and expressive recursion in Rust☆95Updated 2 weeks ago