fmease / tylift
Lift enum variants to the type-level.
☆33Updated 4 years ago
Alternatives and similar repositories for tylift:
Users that are interested in tylift are comparing it to the libraries listed below
- ☆34Updated 3 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- ☆17Updated 5 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 6 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Updated last year
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- To futures-lite as futures-lite is to futures: smaller.☆54Updated 4 months ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆75Updated 2 months ago
- ☆45Updated 4 years ago
- Proc macro derive to generate structs from enum variants.☆29Updated last year
- ☆38Updated last year
- ☆29Updated last year
- We have Crater At Home☆32Updated 6 months ago
- A syn targetting PEG parser generator☆20Updated last year
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 9 years ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆27Updated last month
- An experimental reimplementation of rowan, focused on size efficiency☆24Updated 4 years ago
- Low-level manipulations of IEEE754 floating-point numbers.☆28Updated last year
- LR-style Parser Generator☆19Updated last month
- Compact sets in rust☆56Updated last month
- A small crate to provide space-efficient Option<_> replacements☆37Updated last month
- Compile-time swift-style keypaths for Rust☆20Updated last month
- Exploring the "expression problem" in Rust☆48Updated 2 years ago
- Proc macro for using doc comments as context for errors/logs/profiling/whatever via `tracing`☆46Updated 3 years ago
- Related constants in Rust: 1 << iota☆18Updated 2 years ago
- A golden file testing library for rust☆33Updated 3 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month