kurtschelfthout / finally-taglessLinks
☆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
Sorting:
- Proc macro derive to generate structs from enum variants.☆29Updated last year
- Experimental type level programming in Rust☆37Updated 3 years ago
- Disjoint borrow of slices in Rust☆11Updated 5 years ago
- LR-style Parser Generator☆19Updated last week
- Lift enum variants to the type-level.☆33Updated 4 years ago
- ☆32Updated 11 months ago
- ☆24Updated 2 years ago
- Test futures under all possible polling schedules☆18Updated 2 years ago
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago
- ☆18Updated 5 years ago
- ☆34Updated 3 years ago
- An async version of iterator☆40Updated 11 months ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 7 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Propositional logic with types in Rust☆62Updated last year
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- Zig comptime using Rust proc macros☆43Updated last year
- Rust NonEmpty slice☆13Updated 3 years ago
- An ordered multimap.☆21Updated 6 months ago
- Scope Graph Implementation in Rust☆27Updated 6 months ago
- Attribute proc-macro to delegate method to a field☆29Updated last year
- A lightweight attribute for easy generation of const functions with conditional compilations.☆27Updated 2 months ago
- Partial function application macro for Rust☆47Updated 4 years ago
- Helper macros: autoimpl, impl_scope☆60Updated 5 months ago
- Simple goldenfile testing in Rust.☆40Updated 3 months ago
- A crate to provide anonymous row type, which fields can be access by lens-rs☆14Updated 4 years ago
- A crate for compile-time duck typing and reflection of structs☆16Updated 3 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- `NonEmpty` library vector for rust☆19Updated 2 years ago