inanna-malick / recursion
Stack safe and expressive recursion in Rust
☆91Updated last month
Related projects ⓘ
Alternatives and complementary repositories for recursion
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- Seamless Higher-Kinded Types in Rust☆74Updated last year
- A memory efficient syntax tree for language developers☆51Updated 2 months ago
- lens implemented in rust☆111Updated last year
- ☆43Updated 3 years ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 6 months ago
- An IDE extension for debugging trait errors in Rust.☆97Updated last week
- Blazing fast immutable collection datatypes for Rust.☆84Updated 4 months ago
- A fast, concurrent string interner☆140Updated 3 months ago
- A garbage collection library for Rust with zero unsafe code☆107Updated 4 months ago
- Typed index version of Rust slice and Vec containers☆66Updated last month
- exhaustive testing library☆58Updated 3 months ago
- The Haskell’s do notation brought to Rust☆55Updated 2 years ago
- Experimental type level programming in Rust☆38Updated 3 years ago
- Functional lens library for Rust☆104Updated 3 years ago
- Choose Rust types at compile-time via constants☆61Updated 9 months ago
- Data-driven tests on stable Rust☆36Updated this week
- A collection of small utilities for working with pointer types in Rust.☆119Updated last year
- ⅋ — session types for Rust☆78Updated this week
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆180Updated 3 years ago
- Safe, zero-cost tail recursion for stable Rust☆146Updated last month
- Interning of data in rust☆87Updated last month
- ☆91Updated last year
- Append-only collections for Rust where borrows to entries can outlive insertions☆228Updated 4 months ago
- Define your own PhantomData☆147Updated last week
- Safe, zero-cost downcasting for limited compile-time specialization.☆151Updated last month
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆95Updated 2 months ago
- A minimalist property-based testing library☆104Updated 3 months ago
- A syntactic "for" loop Rust macro☆56Updated last year