inanna-malick / recursionLinks
Stack safe and expressive recursion in Rust
☆107Updated 7 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☆88Updated 3 years ago
- Choose Rust types at compile-time via constants☆70Updated 2 years ago
- 🎶 Choreographic programming in Rust 🎶☆65Updated 10 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- A memory efficient syntax tree for language developers☆64Updated last month
- lens implemented in rust☆117Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A garbage collection library for Rust with zero unsafe code☆118Updated last year
- Blazing fast immutable collection datatypes for Rust.☆135Updated last week
- exhaustive testing library☆66Updated last year
- Concrete Syntax Tree library☆115Updated 4 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆166Updated last year
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Updated last year
- A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.☆59Updated this week
- Typed index version of Rust slice and Vec containers☆75Updated 2 weeks ago
- Simple refinement types for Rust; parse, don't validate!☆76Updated 3 months ago
- Interning of data in rust☆119Updated 7 months ago
- A fast, concurrent string interner☆164Updated last year
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Compile-time checks that an enum or match is written in sorted order☆120Updated last month
- Anonymous struct and named arguments in Rust.☆78Updated 2 years ago
- Safe, zero-cost tail recursion for stable Rust☆184Updated last year
- Wadler-style pretty-printing combinators in Rust☆173Updated 4 months ago
- Data-driven tests on stable Rust☆51Updated this week
- Append-only collections for Rust where borrows to entries can outlive insertions☆271Updated 2 weeks ago
- A lightweight attribute macro for easily writing extension trait pattern.☆87Updated 3 weeks ago
- Fast cache efficient immutable map for rust☆29Updated last month
- ☆55Updated 5 months ago
- Proc-macro typestate DSL for Rust☆154Updated 2 years ago
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆124Updated last week