orsinium-labs / rlciLinks
š¦ Ī» Overly-documented Rust-powered Lambda Calculus Interpreter.
ā66Updated 3 months ago
Alternatives and similar repositories for rlci
Users that are interested in rlci are comparing it to the libraries listed below
Sorting:
- hindley-milner algorithmā61Updated 2 years ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.ā46Updated 3 months ago
- Seamless Higher-Kinded Types in Rustā83Updated 2 years ago
- An evil parsing library.ā54Updated last year
- The prettier pattern-matching parser with automatic error recoveryā149Updated last month
- Transitive derive macros for Rustā32Updated last month
- ā ā session types for Rustā191Updated 8 months ago
- A memory efficient syntax tree for language developersā62Updated last month
- Choose Rust types at compile-time via constantsā68Updated last year
- Stack safe and expressive recursion in Rustā97Updated last month
- A special rope, designed to work with any data type that is not Stringā34Updated last year
- Comparing parser APIsā132Updated 2 weeks ago
- Simple refinement types for Rust; parse, don't validate!ā74Updated 3 months ago
- āļø|>ā |>āā58Updated last year
- š¶ Choreographic programming in Rust š¶ā59Updated 4 months ago
- Discovering and describing Rust's design axiomsā74Updated last year
- ā139Updated 3 months ago
- An ordered multimap.ā21Updated 7 months ago
- Yet another string type for Rustā86Updated this week
- Define rust compile time unit systems using const genericsā86Updated 5 months ago
- Costless typed identifiers backed by UUID, with kind readable in serialized versionsā74Updated 7 months ago
- Linux linker for x86 and x86-64ā32Updated last month
- PEG trace visualizerā88Updated 5 months ago
- Build nice REPLs using clap and reedline with zero effortā71Updated 2 months ago
- Bounded integers for Rustā31Updated 6 months ago
- Resilient LL(1) parser generator for Rustā163Updated this week
- Scripting language focused on processing tabular data.ā176Updated 2 years ago
- Zero-cost specialization in generic context on stable Rustā21Updated last month
- An IDE extension for debugging trait errors in Rust.ā186Updated 2 months ago
- State machine pattern for Rustā29Updated 8 months ago