fmease / tylift
Lift enum variants to the type-level.
☆30Updated 3 years ago
Related projects: ⓘ
- ☆31Updated 2 years ago
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- Experimental type level programming in Rust☆38Updated 3 years ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆29Updated 5 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- ☆43Updated 3 years ago
- ☆16Updated 4 years ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- A golden file testing library for rust☆32Updated last year
- Debug RefCell which keeps track of stack traces in debug mode☆20Updated last year
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 8 years ago
- To futures-lite as futures-lite is to futures: smaller.☆53Updated 4 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- Proc macro for using doc comments as context for errors/logs/profiling/whatever via `tracing`☆46Updated 2 years ago
- A syn targetting PEG parser generator☆20Updated last year
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆15Updated 4 months ago
- dom-like layout for terminal applications☆12Updated 3 years ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆24Updated last week
- Unleash the power of nightly Rust to write code that's generic over mutation!☆23Updated 3 years ago
- An experimental reimplementation of rowan, focused on size efficiency☆24Updated 4 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated last month
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆75Updated 3 weeks ago
- Macro-rules-style syntax matching for procedural macros☆51Updated 10 months ago
- ☆15Updated last year
- A toy incremental computation framework☆15Updated 3 years ago
- A simple error library for no_std + no_alloc Rust☆18Updated 4 years ago
- A Rust memory allocator for large slices that don't escape the stack.☆28Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆44Updated 3 years ago