orsinium-labs / rlci
š¦ Ī» Overly-documented Rust-powered Lambda Calculus Interpreter.
ā62Updated last year
Related projects ā
Alternatives and complementary repositories for rlci
- dwarf is a typed, interpreted, language that shares syntax with Rust.ā44Updated 3 months ago
- An IDE extension for debugging trait errors in Rust.ā97Updated last week
- An evil parsing library.ā54Updated last year
- Derive functors for your datastructures.ā21Updated 7 months ago
- A memory efficient syntax tree for language developersā51Updated 2 months ago
- Seamless Higher-Kinded Types in Rustā74Updated last year
- The prettier pattern-matching parser with automatic error recoveryā119Updated last month
- Transitive derive macros for Rustā30Updated 6 months ago
- Comparing parser APIsā100Updated 2 weeks ago
- Build nice REPLs using clap and reedline with zero effortā57Updated last month
- A special rope, designed to work with any data type that is not Stringā32Updated last year
- Discovering and describing Rust's design axiomsā68Updated 7 months ago
- hindley-milner algorithmā53Updated last year
- A flowchart description language.ā121Updated 3 years ago
- ā33Updated last week
- ā ā session types for Rustā78Updated this week
- A wrapper type for cross-type numeric comparisons.ā27Updated last year
- Choose Rust types at compile-time via constantsā61Updated 9 months ago
- Eventually consistent values for Rustā122Updated 2 years ago
- A syntactic "for" loop Rust macroā56Updated last year
- An experimental linting interface for Rust. Let's make custom lints a realityā143Updated 10 months ago
- A terminal style toolkit inspired by CSS for elegant TUIsā40Updated 2 years ago
- Zero-cost specialization in generic context on stable Rustā18Updated 3 weeks ago
- Simple async reactor and executor for rustā78Updated 2 years ago
- āļø|>ā |>āā44Updated 5 months ago
- Single-process scheduling: every(10).minutes()?.at(":17")?.run(...ā58Updated 2 months ago
- A utility micro-crate for using `Into` more ergonomically.ā10Updated 3 years ago
- Home of the "types team", affiliated with the compiler and lang teams.ā95Updated last year
- Rank Polymorphic array library for Rust.ā103Updated last year
- Stack safe and expressive recursion in Rustā91Updated last month