advancedresearch / hooo
Propositional logic with exponentials
☆17Updated last week
Alternatives and similar repositories for hooo:
Users that are interested in hooo are comparing it to the libraries listed below
- ☆17Updated 4 years ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- A crate for compile-time duck typing and reflection of structs☆16Updated 3 years ago
- A radioactive stabilization of the ptr_meta RFC.☆24Updated 2 weeks ago
- ☆32Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆56Updated 2 years ago
- Ultra-compact storage for collections of enums 🌱☆23Updated 2 years ago
- A syn targetting PEG parser generator☆20Updated last year
- A safe-guarded transmute for Rust☆38Updated 8 months ago
- Asynchronize blocking operation.☆26Updated 2 years ago
- An attribute macro for creating a `Standard` distribution for rust types☆16Updated 3 years ago
- LR-style Parser Generator☆17Updated 2 weeks ago
- Stack-allocated trait objects☆18Updated 2 years ago
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- Completion futures for Rust☆19Updated 2 years ago
- obsolete since rust 1.35.0 doesn't need it anymore☆10Updated 3 years ago
- ☆16Updated 3 months ago
- Asynchronous pipelines of contiguous data, for rust.☆17Updated last year
- A newtype with alignment of at least `A` bytes☆30Updated 10 months ago
- ☆15Updated last year
- ☆29Updated 9 months ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated last month
- Test futures under all possible polling schedules☆18Updated 2 years ago
- Disjoint borrow of slices in Rust☆11Updated 5 years ago
- Tinkering with a more ergonomic cell abstraction☆16Updated 5 years ago
- Bounded integers for Rust☆29Updated last week
- A Rust library providing a stack-like memory allocator with double-ended allocation support.☆22Updated 3 years ago
- Runtime with fast GC and easy concurrency.☆44Updated 3 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 3 months ago