orsinium-labs / rlciLinks
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
☆68Updated 7 months ago
Alternatives and similar repositories for rlci
Users that are interested in rlci are comparing it to the libraries listed below
Sorting:
- An evil parsing library.☆54Updated 2 years ago
- Strongly typed APIs for non-empty collections, slices, and iterators.☆77Updated last week
- hindley-milner algorithm☆62Updated 2 years ago
- Seamless Higher-Kinded Types in Rust☆87Updated 2 years ago
- ⅋ — session types for Rust☆213Updated 4 months ago
- Derive functors for your datastructures.☆22Updated last year
- Stack safe and expressive recursion in Rust☆103Updated 5 months ago
- A memory efficient syntax tree for language developers☆62Updated 3 months ago
- dwarf is a typed, interpreted, language that shares syntax with Rust.☆47Updated 7 months ago
- Simple refinement types for Rust; parse, don't validate!☆76Updated 3 weeks ago
- A special rope, designed to work with any data type that is not String☆35Updated 2 years ago
- 🎶 Choreographic programming in Rust 🎶☆61Updated 8 months ago
- The prettier pattern-matching parser with automatic error recovery☆153Updated last month
- Scripting language focused on processing tabular data.☆175Updated 2 years ago
- Costless typed identifiers backed by UUID, with kind readable in serialized versions☆75Updated last year
- A port of jonls/redshift to Rust☆46Updated last year
- Map data structure whose keys are stored as ranges☆98Updated last week
- Discovering and describing Rust's design axioms☆78Updated last year
- A terminal style toolkit inspired by CSS for elegant TUIs☆41Updated 3 years ago
- Transitive derive macros for Rust☆34Updated 5 months ago
- Include your assets statically into your application with a strict structure☆91Updated last month
- exhaustive testing library☆65Updated last year
- horrible serde macro stuff☆39Updated 2 years ago
- A safe, fast, lightweight embeddable scripting language written in Rust.☆22Updated 2 years ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Rank Polymorphic array library for Rust.☆103Updated 2 years ago
- A compile-time pattern matching library that reverses the interpolation process of `format!`.☆159Updated this week
- Zero-cost specialization in generic context on stable Rust☆23Updated 5 months ago
- A highly experiment portable runtime☆20Updated last year
- An unordered multiset/bag implementation backed by HashMap☆74Updated last week