advancedresearch / hooo
Propositional logic with exponentials
☆18Updated last month
Alternatives and similar repositories for hooo:
Users that are interested in hooo are comparing it to the libraries listed below
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- ☆33Updated 3 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 4 months ago
- ☆17Updated 4 years ago
- Asynchronize blocking operation.☆26Updated 2 years ago
- Playing with volumetric rendering in rust☆19Updated 4 years ago
- Typesafe extensions for sorted iterators, including set and relational operations☆17Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- A safe-guarded transmute for Rust☆38Updated 9 months ago
- Low-level manipulations of IEEE754 floating-point numbers.☆28Updated last year
- 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 months ago
- Easily cope with numeric literals in generic Rust code☆27Updated 3 years ago
- ☆31Updated 5 years ago
- A library and tool for automata and formal languages, inspired by JFLAP☆26Updated 2 years ago
- Cast between dynamic trait objects☆32Updated 5 years ago
- field accessor traits,and emulation of structural types☆11Updated 3 years ago
- Arena allocator with scopes☆43Updated last year
- LR-style Parser Generator☆18Updated 2 months ago
- A Rust memory allocator for large slices that don't escape the stack.☆30Updated 2 years ago
- An attribute macro for creating a `Standard` distribution for rust types☆16Updated 3 years ago
- Propositional logic with types in Rust☆62Updated last year
- Asynchronous pipelines of contiguous data, for rust.☆17Updated last year
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 3 years ago
- Rust NonEmpty slice☆13Updated 3 years ago
- An alternative `std`-like implementation built on origin☆26Updated last week
- Exhaustive iteration trait in Rust☆14Updated last week
- ☆17Updated 5 months ago
- Nudging the compiler to auto-vectorize things☆75Updated last year