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:
- Lift enum variants to the type-level.☆33Updated 4 years ago
- ☆34Updated 3 years ago
- ☆24Updated 2 years ago
- Attribute proc-macro to delegate method to a field☆29Updated last year
- Visualise recursive functions and tree structures.☆30Updated 4 years ago
- We have Crater At Home☆35Updated 8 months ago
- A Rust library for runtime-checked linearish types☆34Updated last year
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆31Updated 8 months ago
- An async version of iterator☆40Updated last year
- ☆18Updated 5 years ago
- Propositional logic with exponentials☆20Updated last month
- Build a rustc sysroot with custom flags☆17Updated 3 weeks ago
- Disjoint borrow of slices in Rust☆11Updated 5 years ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆27Updated 3 months ago
- Propositional logic with types in Rust☆62Updated last year
- ☆26Updated 2 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Proc macro derive to generate structs from enum variants.☆29Updated 2 years ago
- ☆35Updated last year
- Ultra-compact storage for collections of enums 🌱☆22Updated 2 years ago
- Helper macros: autoimpl, impl_scope☆64Updated last week
- A syn targetting PEG parser generator☆20Updated 2 years ago
- Scope Graph Implementation in Rust☆27Updated 7 months ago
- A rust library to hide types inside a diplomatic bag which can be sent between threads freely☆15Updated 3 years ago
- A rust proc-macro to generate conversions for an enum of newtype variants☆28Updated 2 years ago
- Arena allocator with scopes☆44Updated 2 years ago
- LR-style Parser Generator☆19Updated last month
- ☆29Updated last year
- The `io_uring` library for Rust (with Rustix)☆30Updated 2 months ago