maybevoid / mononym
Type-level named values with partial dependent type support in Rust
☆55Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for mononym
- Proc macro for using doc comments as context for errors/logs/profiling/whatever via `tracing`☆46Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- Retriever stores ordinary rust data types in a similar manner as a NoSQL database.☆48Updated last year
- Collection of typed data structures, trait operators and aliases☆50Updated 4 years ago
- Typed index version of Rust slice and Vec containers☆66Updated last month
- Log call tree summaries after each request for rust programs instrumented with `tracing`.☆43Updated 2 years ago
- ☆43Updated 3 years ago
- ☆16Updated 4 years ago
- To futures-lite as futures-lite is to futures: smaller.☆53Updated 6 months ago
- An experimental columnar arena☆41Updated 3 weeks ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- An unordered multiset/bag implementation backed by HashMap☆66Updated last week
- Spawn processes with arbitrary closures in rust☆109Updated 3 years ago
- exhaustive testing library☆58Updated 3 months ago
- Find calls to panic functions in rust executables☆35Updated 3 years ago
- Debug RefCell which keeps track of stack traces in debug mode☆23Updated last year
- Token tree calling convention☆79Updated last year
- A lightweight, no-std, object-safe, serialization-only framework for Rust☆94Updated last month
- Generate is a library for building iterators on the fly☆39Updated 3 years ago
- Experimental HKT framework and generic traits for the standard library☆20Updated last year
- ☆32Updated 2 years ago
- Experimental type level programming in Rust☆38Updated 3 years ago
- Yet Another Async Runtime (yaar) focused on forbid(unsafe) and scalability☆80Updated 2 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆60Updated 3 years ago
- A fast, small, full-featured, no-std compatible oneshot channel☆61Updated 11 months ago
- Stack safe and expressive recursion in Rust☆91Updated last month
- PEG parser generator built on top of nom☆69Updated 5 years ago