orsinium-labs / rlciLinks
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
☆65Updated 2 months ago
Alternatives and similar repositories for rlci
Users that are interested in rlci are comparing it to the libraries listed below
Sorting:
- A memory efficient syntax tree for language developers☆62Updated last month
- Seamless Higher-Kinded Types in Rust☆83Updated 2 years ago
- hindley-milner algorithm☆61Updated 2 years ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆46Updated 3 months ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- Choose Rust types at compile-time via constants☆67Updated last year
- Bounded integers for Rust☆31Updated 5 months ago
- How fast can we recognize a word from a small pre-determined set?☆80Updated 5 months ago
- ⅋ — session types for Rust☆191Updated 7 months ago
- Stack safe and expressive recursion in Rust☆97Updated 2 weeks ago
- https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust☆147Updated 2 years ago
- Transitive derive macros for Rust☆32Updated 3 weeks ago
- The prettier pattern-matching parser with automatic error recovery☆146Updated last week
- Algorithms in computational algebra written in rust☆69Updated this week
- exhaustive testing library☆63Updated 10 months ago
- ☆43Updated last year
- An evil parsing library.☆54Updated last year
- A port of jonls/redshift to Rust☆46Updated 11 months ago
- A special rope, designed to work with any data type that is not String☆34Updated last year
- Functional language with a powerful type system.☆171Updated last year
- Build nice REPLs using clap and reedline with zero effort☆70Updated 2 months ago
- Scripting language for Rust.☆92Updated this week
- 🎶 Choreographic programming in Rust 🎶☆58Updated 3 months ago
- Ergonomic and precise error handling provided by error sets. Inspired by Zig's error set type.☆144Updated 2 weeks ago
- Approximate images usings lines☆67Updated 5 months ago
- Simple refinement types for Rust; parse, don't validate!☆74Updated 2 months ago
- Derive functors for your datastructures.☆21Updated last year
- Eventually consistent values for Rust☆125Updated 2 years ago
- Typed index version of Rust slice and Vec containers☆69Updated last month
- Pratt parser written in Rust☆90Updated last year