inanna-malick / recursionLinks
Stack safe and expressive recursion in Rust
☆102Updated 2 months ago
Alternatives and similar repositories for recursion
Users that are interested in recursion are comparing it to the libraries listed below
Sorting:
- Seamless Higher-Kinded Types in Rust☆84Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- 🎶 Choreographic programming in Rust 🎶☆59Updated 5 months ago
- A memory efficient syntax tree for language developers☆62Updated 3 weeks ago
- lens implemented in rust☆115Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Data-driven tests on stable Rust☆41Updated this week
- Choose Rust types at compile-time via constants☆68Updated last year
- exhaustive testing library☆64Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆161Updated last year
- Functional lens library for Rust☆109Updated 4 years ago
- Interning of data in rust☆106Updated 2 months ago
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- Simple refinement types for Rust; parse, don't validate!☆74Updated 2 weeks ago
- ☆46Updated 4 years ago
- Experimental type level programming in Rust☆36Updated 4 years ago
- Silky smooth Java-Rust interop☆191Updated this week
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Typed index version of Rust slice and Vec containers☆70Updated last week
- Blazing fast immutable collection datatypes for Rust.☆112Updated this week
- Safe, zero-cost tail recursion for stable Rust☆178Updated 10 months ago
- ☆50Updated last week
- Macro to repeat sequentially indexed copies of a fragment of code☆157Updated this week
- ⅋ — session types for Rust☆206Updated last month
- Anonymous struct and named arguments in Rust.☆75Updated last year
- A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.☆38Updated this week
- Proc-macro typestate DSL for Rust☆151Updated 2 years ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆185Updated 4 years ago
- Concrete Syntax Tree library☆100Updated 3 weeks ago
- Wadler-style pretty-printing combinators in Rust☆162Updated 5 months ago