inanna-malick / recursion
Stack safe and expressive recursion in Rust
☆96Updated last month
Alternatives and similar repositories for recursion:
Users that are interested in recursion are comparing it to the libraries listed below
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- Seamless Higher-Kinded Types in Rust☆78Updated 2 years ago
- lens implemented in rust☆114Updated last year
- A garbage collection library for Rust with zero unsafe code☆108Updated 7 months ago
- A memory efficient syntax tree for language developers☆54Updated last month
- Blazing fast immutable collection datatypes for Rust.☆97Updated 2 weeks ago
- An IDE extension for debugging trait errors in Rust.☆107Updated 2 months ago
- Data-driven tests on stable Rust☆39Updated this week
- Functional lens library for Rust☆105Updated 4 years ago
- The Haskell’s do notation brought to Rust☆58Updated 3 years ago
- Typed index version of Rust slice and Vec containers☆68Updated 5 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆150Updated 9 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- A fast, concurrent string interner☆148Updated 6 months ago
- Safe, zero-cost downcasting for limited compile-time specialization.☆156Updated 2 months ago
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆100Updated 2 months ago
- Lift enum variants to the type-level.☆32Updated 3 years ago
- Proc macro for using doc comments as context for errors/logs/profiling/whatever via `tracing`☆45Updated 2 years ago
- (lifetime) GATs on stable Rust☆57Updated last year
- Proc-macro typestate DSL for Rust☆143Updated last year
- Choose Rust types at compile-time via constants☆64Updated last year
- ☆44Updated 4 years ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆182Updated 3 years ago
- Umbrella repository for Krabcake experiments☆46Updated 3 weeks ago
- Easy recursion in Rust, without stack overflows.☆31Updated 10 months ago
- ☆85Updated 4 months ago
- Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust☆102Updated 3 months ago
- Const equivalents of std functions, compile-time comparison, and parsing.☆95Updated 2 months ago
- Experimental type level programming in Rust☆37Updated 3 years ago