kurtschelfthout / finally-tagless
☆16Updated last year
Alternatives and similar repositories for finally-tagless:
Users that are interested in finally-tagless are comparing it to the libraries listed below
- Proc macro derive to generate structs from enum variants.☆28Updated last year
- ☆33Updated 3 years ago
- Attribute proc-macro to delegate method to a field☆29Updated last year
- ☆17Updated 4 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Test futures under all possible polling schedules☆18Updated 2 years ago
- ☆20Updated 8 years ago
- An async version of iterator☆40Updated 9 months ago
- Ranged integers for Rust based on const generics☆28Updated 5 months ago
- Build a rustc sysroot with custom flags☆17Updated 6 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 5 months ago
- structured parallel execution for async Rust☆33Updated 7 months ago
- Completion futures for Rust☆19Updated 2 years ago
- We have Crater At Home☆28Updated 5 months ago
- Propositional logic with types in Rust☆62Updated last year
- Visualise recursive functions and tree structures.☆29Updated 3 years ago
- Helper macros: autoimpl, impl_scope☆59Updated 2 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- A memory efficient syntax tree for language developers☆57Updated 2 months ago
- ☆24Updated last year
- ☆31Updated 9 months ago
- A Rust library for runtime-checked linearish types☆32Updated last year
- A generic, fixed-size, associative cache☆40Updated 4 months ago
- Support for mutually disjoint impls☆21Updated last week
- Rust NonEmpty slice☆13Updated 3 years ago
- ☆11Updated 3 years ago
- The never type (the true one!) in stable Rust.☆36Updated 3 years ago
- Zero-cost type for stack without complicated type or Box☆45Updated 2 weeks ago
- Zig comptime using Rust proc macros☆42Updated 10 months ago