advancedresearch / hooo
Propositional logic with exponentials
☆15Updated last month
Related projects: ⓘ
- ☆16Updated 4 years ago
- ☆31Updated 2 years ago
- Lift enum variants to the type-level.☆30Updated 3 years ago
- Ultra-compact storage for collections of enums 🌱☆23Updated 2 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- A crate for compile-time duck typing and reflection of structs☆16Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Zig comptime using Rust proc macros☆34Updated 3 months ago
- Stack-allocated trait objects☆18Updated 2 years ago
- Speedy self-documenting lisp in Rust.☆21Updated 3 months ago
- Arena allocator with scopes☆43Updated last year
- ☆21Updated 3 years ago
- Cast between dynamic trait objects☆31Updated 4 years ago
- A Rust memory allocator for large slices that don't escape the stack.☆28Updated 2 years ago
- A safe-guarded transmute for Rust☆38Updated 3 months ago
- To futures-lite as futures-lite is to futures: smaller.☆53Updated 4 months ago
- Asynchronize blocking operation.☆26Updated 2 years ago
- A linear solver designed to be easy to use with Rust enums.☆32Updated 3 years ago
- exhaustive testing library☆57Updated last month
- ☆43Updated 3 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated last month
- Lightweight Rust newtypes.☆24Updated 11 months ago
- ☆24Updated last year
- Experimental type level programming in Rust☆38Updated 3 years ago
- A radioactive stabilization of the ptr_meta RFC.☆20Updated last week
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆8Updated last year
- An attribute macro for creating a `Standard` distribution for rust types☆16Updated 3 years ago
- watt-based inline procedural macros☆14Updated 4 years ago
- ☆15Updated last year