orsinium-labs / rlciLinks
š¦ Ī» Overly-documented Rust-powered Lambda Calculus Interpreter.
ā65Updated 2 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ā83Updated 2 years ago
- A memory efficient syntax tree for language developersā60Updated last week
- Stack safe and expressive recursion in Rustā98Updated 5 months ago
- A port of jonls/redshift to Rustā46Updated 10 months ago
- The prettier pattern-matching parser with automatic error recoveryā124Updated 3 months ago
- Derive functors for your datastructures.ā21Updated last year
- An IDE extension for debugging trait errors in Rust.ā174Updated last month
- Simple refinement types for Rust; parse, don't validate!ā74Updated 2 months ago
- Discovering and describing Rust's design axiomsā72Updated last year
- āļø|>ā |>āā56Updated 11 months ago
- An evil parsing library.ā54Updated last year
- Tiny Rust Async Linux Executorā102Updated last month
- A wrapper type for cross-type numeric comparisons.ā27Updated 2 years ago
- An attribute macro to simplify writing simple command line applications.ā35Updated 2 years ago
- ā ā session types for Rustā191Updated 6 months ago
- Linux linker for x86 and x86-64ā31Updated this week
- Rust crate for writing repetitive code easier and faster.ā43Updated 2 years ago
- Transitive derive macros for Rustā32Updated 2 weeks ago
- hindley-milner algorithmā61Updated 2 years ago
- Build nice REPLs using clap and reedline with zero effortā65Updated last month
- A special rope, designed to work with any data type that is not Stringā34Updated last year
- Choose Rust types at compile-time via constantsā65Updated last year
- exhaustive testing libraryā63Updated 10 months ago
- A graph crate with simplicity in mindā87Updated last year
- š¶ Choreographic programming in Rust š¶ā57Updated 2 months ago
- lens implemented in rustā115Updated 2 years ago
- Utility to inherit dependencies from workspace file if it occurs 'n' or more times throughout the project.ā31Updated 2 years ago
- Comparing parser APIsā127Updated last week
- Type-level named values with partial dependent type support in Rustā57Updated 3 years ago
- ā31Updated last year