orsinium-labs / rlci
š¦ Ī» Overly-documented Rust-powered Lambda Calculus Interpreter.
ā63Updated last year
Alternatives and similar repositories for rlci:
Users that are interested in rlci are comparing it to the libraries listed below
- An evil parsing library.ā54Updated last year
- A port of jonls/redshift to Rustā46Updated 8 months ago
- Derive functors for your datastructures.ā21Updated 11 months ago
- Seamless Higher-Kinded Types in Rustā79Updated 2 years ago
- Comparing parser APIsā115Updated this week
- An IDE extension for debugging trait errors in Rust.ā108Updated last week
- š¶ Choreographic programming in Rust š¶ā53Updated 2 weeks ago
- The prettier pattern-matching parser with automatic error recoveryā125Updated last month
- Yet another string type for Rustā83Updated last week
- Choose Rust types at compile-time via constantsā64Updated last year
- ā ā session types for Rustā148Updated 4 months ago
- Discovering and describing Rust's design axiomsā72Updated 11 months ago
- exhaustive testing libraryā63Updated 8 months ago
- Build nice REPLs using clap and reedline with zero effortā60Updated 2 weeks ago
- ā36Updated last month
- Generate Rust enum variants without associated dataā93Updated last year
- A special rope, designed to work with any data type that is not Stringā32Updated last year
- dwarf is a typed, interpreted, language that shares syntax with Rust.ā45Updated last week
- āļø|>ā |>āā47Updated 9 months ago
- An immutable data structure with O(1) append, prepend, and concat time complexity.ā32Updated 2 months ago
- Simple refinement types for Rust; parse, don't validate!ā71Updated last week
- ā41Updated last year
- An alternate Cargo registry using static filesā116Updated last month
- Umbrella repository for Krabcake experimentsā46Updated last month
- Stack safe and expressive recursion in Rustā96Updated 2 months ago
- Transitive derive macros for Rustā31Updated 3 weeks ago
- Rank Polymorphic array library for Rust.ā102Updated last year
- Kernel density estimation in Rust.ā26Updated last year
- Zero-cost type for stack without complicated type or Boxā45Updated 2 weeks ago
- The quickest way to override dependencies with Cargoā60Updated 2 weeks ago