kurtschelfthout / finally-tagless
☆15Updated last year
Related projects: ⓘ
- Lift enum variants to the type-level.☆30Updated 3 years ago
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- ☆16Updated 4 years ago
- Disjoint borrow of slices in Rust☆11Updated 5 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- ☆31Updated 2 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆29Updated 5 years ago
- Test futures under all possible polling schedules☆18Updated 2 years ago
- Experimental type level programming in Rust☆38Updated 3 years ago
- Attribute proc-macro to delegate method to a field☆28Updated last year
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated last month
- Completion futures for Rust☆18Updated 2 years ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- pin-safe interior mutability☆14Updated 2 years ago
- ☆43Updated 3 years ago
- A procedural macro that generates chaining methods from non-chaining ones in an impl block.☆15Updated 5 years ago
- Rust NonEmpty slice☆13Updated 3 years ago
- Fast and compact sets of bytes or ASCII characters☆28Updated 3 years ago
- ☆23Updated 3 months ago
- An experiment in embedding layout computations in the type system.☆16Updated 5 years ago
- Typesafe extensions for sorted iterators, including set and relational operations☆17Updated last year
- Babysteps blog☆31Updated 2 months ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- Delegate method calls to a field.☆14Updated 6 years ago
- structured parallel execution for async Rust☆30Updated last month
- Simple goldenfile testing in Rust.☆38Updated last week
- Ranged integers for Rust based on const generics☆26Updated 3 weeks ago
- Rust: Get multiple mutable references to the same collection☆14Updated 6 years ago
- A Rust library for runtime-checked linearish types☆30Updated last year