advancedresearch / hoooLinks
Propositional logic with exponentials
☆20Updated last month
Alternatives and similar repositories for hooo
Users that are interested in hooo are comparing it to the libraries listed below
Sorting:
- ☆34Updated 3 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- Asynchronize blocking operation.☆26Updated 3 years ago
- A crate for compile-time duck typing and reflection of structs☆16Updated 3 years ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆8Updated 2 years ago
- A syn targetting PEG parser generator☆20Updated 2 years ago
- Exhaustive iteration trait in Rust☆16Updated last month
- ☆35Updated 5 months ago
- Add a REPL to your application with a few macros☆17Updated 2 years ago
- Typesafe extensions for sorted iterators, including set and relational operations☆17Updated 2 years ago
- A radioactive stabilization of the ptr_meta RFC.☆29Updated last month
- ☆29Updated last year
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Updated last year
- Methods on HashMap and BTreeMap for safely getting multiple mutable references to the contained values.☆19Updated 8 years ago
- Zig comptime using Rust proc macros☆50Updated last year
- A safe-guarded transmute for Rust☆38Updated last year
- Rust macros that produce the name of the function they're invoked within.☆22Updated 3 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Asynchronous pipelines of contiguous data, for rust.☆17Updated last year
- A Rust memory allocator for large slices that don't escape the stack.☆30Updated 2 years ago
- Completion futures for Rust☆19Updated 2 years ago
- Increased precision floating point numbers implemented purely in Rust.☆21Updated 2 months ago
- A newtype with alignment of at least `A` bytes☆32Updated 4 months ago
- A simple Vec-like API over a struct of arrays layout for Rust☆13Updated 5 years ago
- A primitive for writing structural search and replace programs for rust☆31Updated 11 months ago
- Zero-terminated string types for FFI.☆13Updated 2 years ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 8 months 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
- Type checked partial references for rust☆15Updated 3 years ago
- Ultra-compact storage for collections of enums 🌱☆22Updated 2 years ago