kurtschelfthout / finally-tagless
☆15Updated last year
Alternatives and similar repositories for finally-tagless:
Users that are interested in finally-tagless are comparing it to the libraries listed below
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- A Rust library for runtime-checked linearish types☆32Updated last year
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- ☆17Updated 4 years ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Disjoint borrow of slices in Rust☆11Updated 5 years ago
- Repo for the Rust `platform` crate.☆22Updated 5 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 2 months ago
- A rust library to hide types inside a diplomatic bag which can be sent between threads freely☆14Updated 2 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- ☆32Updated 2 years ago
- Utilities to aid implementing wakers and working with tasks.☆13Updated 5 years ago
- ☆23Updated last year
- Fast and compact sets of bytes or ASCII characters☆28Updated 3 years ago
- An async version of iterator☆39Updated 7 months ago
- Test futures under all possible polling schedules☆18Updated 2 years ago
- cargo subcommand for building proc-macro crates with web assembly☆34Updated 4 years ago
- Delegate method calls to a field.☆14Updated 7 years ago
- structured parallel execution for async Rust☆33Updated 5 months ago
- Rust: Get multiple mutable references to the same collection☆13Updated 6 years ago
- Attribute proc-macro to delegate method to a field☆29Updated last year
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- An ordered multimap.☆20Updated last month
- ☆11Updated 4 years ago
- Procedural macro span debugger/visualizer☆40Updated 4 years ago
- Composable probability distributions☆16Updated last year
- Build a rustc sysroot with custom flags☆17Updated 3 months ago
- Approximate Quantiles with Configurable Worst Case Error☆15Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆56Updated 2 years ago