orsinium-labs / rlci
š¦ Ī» Overly-documented Rust-powered Lambda Calculus Interpreter.
ā65Updated 3 weeks ago
Alternatives and similar repositories for rlci:
Users that are interested in rlci are comparing it to the libraries listed below
- Stack safe and expressive recursion in Rustā96Updated 3 months ago
- Transitive derive macros for Rustā32Updated last month
- An IDE extension for debugging trait errors in Rust.ā109Updated last week
- An evil parsing library.ā54Updated last year
- Seamless Higher-Kinded Types in Rustā80Updated 2 years ago
- ergonomic and precise error handling built atop type-level set arithmeticā227Updated this week
- ā ā session types for Rustā155Updated 5 months ago
- Choose Rust types at compile-time via constantsā64Updated last year
- Simple refinement types for Rust; parse, don't validate!ā71Updated 2 weeks ago
- A special rope, designed to work with any data type that is not Stringā32Updated last year
- A memory efficient syntax tree for language developersā57Updated 3 weeks ago
- Derive functors for your datastructures.ā21Updated last year
- Effortlessly create, group, and nest arbitrary errors, and defer error handling ergonomically.ā43Updated last month
- Yet another string type for Rustā85Updated this week
- A port of jonls/redshift to Rustā46Updated 9 months ago
- The quickest way to override dependencies with Cargoā59Updated last week
- It executes futuresā58Updated 2 years ago
- š¶ Choreographic programming in Rust š¶ā55Updated last month
- dwarf is a typed, interpreted, language that shares syntax with Rust.ā45Updated last month
- Rank Polymorphic array library for Rust.ā102Updated last year
- hindley-milner algorithmā58Updated last year
- Comparing parser APIsā123Updated last week
- A syntactic "for" loop Rust macroā56Updated 2 years ago
- Discovering and describing Rust's design axiomsā72Updated last year
- Zero-cost specialization in generic context on stable Rustā21Updated 6 months ago
- āļø|>ā |>āā54Updated 10 months ago
- ā44Updated last month
- Typed index version of Rust slice and Vec containersā69Updated 6 months ago
- ā41Updated last year
- Rust crate for writing repetitive code easier and faster.ā43Updated 2 years ago