advancedresearch / hoooLinks
Propositional logic with exponentials
☆20Updated 3 weeks ago
Alternatives and similar repositories for hooo
Users that are interested in hooo are comparing it to the libraries listed below
Sorting:
- Exhaustive iteration trait in Rust☆16Updated last week
- A newtype wrapper that causes Debug impls to skip a field.☆21Updated 2 years ago
- ☆34Updated 3 years ago
- ☆18Updated 5 years ago
- Methods on HashMap and BTreeMap for safely getting multiple mutable references to the contained values.☆19Updated 8 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- Cross-platform, endian-aware primitives for Rust☆41Updated last month
- A crate for compile-time duck typing and reflection of structs☆16Updated 3 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Updated last year
- Zero-terminated string types for FFI.☆13Updated 2 years ago
- Arena allocator with scopes☆43Updated 2 years ago
- Asynchronize blocking operation.☆26Updated 3 years ago
- LR-style Parser Generator☆19Updated last week
- ☆35Updated 4 months ago
- A lean, minimal, and stable set of types for color interoperation between crates in Rust.☆18Updated 2 years ago
- Provides truly zero-cost alternatives to Iterator::step_by for both incrementing and decrementing any type that satisfies RangeBounds<T: …☆13Updated 3 years ago
- Rust macro to make recursive function run on the heap (i.e. no stack overflow).☆24Updated 3 years ago
- A newtype with alignment of at least `A` bytes☆32Updated 3 months ago
- A library for conveniently displaying well-formatted, and good looking errors to users of CLI applications. Useful for bubbling up unreco…☆18Updated 5 years ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆8Updated 2 years ago
- A rust library to hide types inside a diplomatic bag which can be sent between threads freely☆15Updated 2 years ago
- A radioactive stabilization of the ptr_meta RFC.☆27Updated last month
- ☆31Updated 5 years ago
- Asynchronous pipelines of contiguous data, for rust.☆17Updated last year
- ☆36Updated 9 months ago
- Completion futures for Rust☆19Updated 2 years ago
- constant-size associative container backed by a simple array☆19Updated last year
- Zig comptime using Rust proc macros☆43Updated last year
- A Rust library providing a stack-like memory allocator with double-ended allocation support.☆22Updated 4 years ago
- Nudging the compiler to auto-vectorize things☆75Updated last year