inanna-malick / recursion
Stack safe and expressive recursion in Rust
☆96Updated 3 months ago
Alternatives and similar repositories for recursion:
Users that are interested in recursion are comparing it to the libraries listed below
- A garbage collection library for Rust with zero unsafe code☆111Updated 9 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- Simple refinement types for Rust; parse, don't validate!☆71Updated 2 weeks ago
- Seamless Higher-Kinded Types in Rust☆80Updated 2 years ago
- Functional lens library for Rust☆107Updated 4 years ago
- A memory efficient syntax tree for language developers☆57Updated 3 weeks ago
- ☆45Updated 4 years ago
- Token tree calling convention☆79Updated 2 years ago
- Typed index version of Rust slice and Vec containers☆69Updated 6 months ago
- Data-driven tests on stable Rust☆39Updated this week
- Blazing fast immutable collection datatypes for Rust.☆102Updated last week
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆102Updated 3 months ago
- Procedural macro to easily write higher-order strategies in proptest.☆46Updated 3 weeks ago
- lens implemented in rust☆116Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆155Updated 11 months ago
- A fast, concurrent string interner☆149Updated 8 months ago
- Interning of data in rust☆100Updated last month
- Append-only collections for Rust where borrows to entries can outlive insertions☆241Updated last month
- Compile-time checks that an enum or match is written in sorted order☆113Updated last month
- Silky smooth Java-Rust interop☆178Updated this week
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Choose Rust types at compile-time via constants☆64Updated last year
- ☆37Updated last year
- A collection of small utilities for working with pointer types in Rust.☆124Updated 3 months ago
- A data structure to efficiently intern, cache and restore strings.☆192Updated 3 weeks ago
- exhaustive testing library☆63Updated 8 months ago
- ☆136Updated 9 months ago
- 🎶 Choreographic programming in Rust 🎶☆55Updated last month
- ☆112Updated 2 years ago
- ☆65Updated 10 months ago