orsinium-labs / rlciLinks
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
☆67Updated 5 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
- An evil parsing library.☆54Updated last year
- ⅋ — session types for Rust☆209Updated last month
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆46Updated 5 months ago
- Seamless Higher-Kinded Types in Rust☆84Updated 2 years ago
- A special rope, designed to work with any data type that is not String☆34Updated last year
- A memory efficient syntax tree for language developers☆62Updated last month
- Build nice REPLs using clap and reedline with zero effort☆72Updated 4 months ago
- Bounded integers for Rust☆33Updated last month
- Derive functors for your datastructures.☆21Updated last year
- Stack safe and expressive recursion in Rust☆103Updated 3 months ago
- Choose Rust types at compile-time via constants☆68Updated last year
- 🎶 Choreographic programming in Rust 🎶☆59Updated 6 months ago
- How fast can we recognize a word from a small pre-determined set?☆79Updated 7 months ago
- A terminal style toolkit inspired by CSS for elegant TUIs☆41Updated 3 years ago
- Simple refinement types for Rust; parse, don't validate!☆75Updated 3 weeks ago
- Discovering and describing Rust's design axioms☆75Updated last year
- The prettier pattern-matching parser with automatic error recovery☆152Updated 3 months ago
- A highly experiment portable runtime☆20Updated last year
- Rust crate for writing repetitive code easier and faster.☆45Updated 2 years ago
- Resilient LL(1) parser generator for Rust☆172Updated last week
- Linux linker for x86 and x86-64☆32Updated 3 months ago
- exhaustive testing library☆65Updated last year
- Stochastically generates machine code☆101Updated last week
- Comparing parser APIs☆139Updated 2 weeks ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- Define rust compile time unit systems using const generics☆87Updated 7 months ago
- A new cross platform general prupose Line editor implementation designed with the goal to be flexible and customizable☆49Updated 10 months ago
- ☆142Updated last month
- A safe, fast, lightweight embeddable scripting language written in Rust.☆21Updated 2 years ago