orsinium-labs / rlciLinks
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
☆66Updated 4 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☆62Updated 2 years ago
- Seamless Higher-Kinded Types in Rust☆83Updated 2 years ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆46Updated 4 months ago
- An evil parsing library.☆54Updated last year
- ⅋ — session types for Rust☆201Updated 2 weeks ago
- 🎶 Choreographic programming in Rust 🎶☆59Updated 4 months ago
- A memory efficient syntax tree for language developers☆62Updated this week
- Build nice REPLs using clap and reedline with zero effort☆71Updated 3 months ago
- Stack safe and expressive recursion in Rust☆101Updated last month
- exhaustive testing library☆64Updated last year
- Resilient LL(1) parser generator for Rust☆164Updated 2 weeks ago
- A special rope, designed to work with any data type that is not String☆34Updated last year
- ☆142Updated 4 months ago
- Derive functors for your datastructures.☆21Updated last year
- A terminal style toolkit inspired by CSS for elegant TUIs☆41Updated 3 years ago
- Linux linker for x86 and x86-64☆32Updated 2 months ago
- A port of jonls/redshift to Rust☆46Updated last year
- An IDE extension for debugging trait errors in Rust.☆186Updated last week
- Quickly define custom error enums for a functions in rust.☆51Updated 5 months ago
- The prettier pattern-matching parser with automatic error recovery☆149Updated last month
- Simple refinement types for Rust; parse, don't validate!☆74Updated last week
- Costless typed identifiers backed by UUID, with kind readable in serialized versions☆74Updated 8 months ago
- Scripting language focused on processing tabular data.☆176Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Rust crate for writing repetitive code easier and faster.☆45Updated 2 years ago
- A highly extensible WACC compiler developed in Rust☆2Updated 2 years ago
- lens implemented in rust☆115Updated 2 years ago
- How fast can we recognize a word from a small pre-determined set?☆80Updated 6 months ago
- Zero-cost specialization in generic context on stable Rust☆22Updated 2 months ago