advancedresearch / hoooLinks
Propositional logic with exponentials
☆20Updated 2 weeks ago
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
- Asynchronize blocking operation.☆26Updated 3 years ago
- Exhaustive iteration trait in Rust☆16Updated this week
- We have Crater At Home☆36Updated 10 months ago
- ☆35Updated 7 months ago
- A Rust library for runtime-checked linearish types☆35Updated 2 years ago
- Arena allocator with scopes☆44Updated 2 years ago
- A radioactive stabilization of the ptr_meta RFC.☆30Updated 4 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
- Ultra-compact storage for collections of enums 🌱☆23Updated 2 years ago
- Increased precision floating point numbers implemented purely in Rust.☆21Updated 4 months ago
- Asynchronous pipelines of contiguous data, for rust.☆17Updated last year
- Vale's generational reference allocator as a Rust library☆15Updated 2 years ago
- A low-ish level tool for easily writing and hosting WASM based plugins.☆70Updated last year
- A Rustified OpenCL Experience☆46Updated 2 years ago
- Nudging the compiler to auto-vectorize things☆75Updated 2 years ago
- A safe, fast, lightweight embeddable scripting language written in Rust.☆21Updated 2 years ago
- A Rust memory allocator for large slices that don't escape the stack.☆31Updated 3 years ago
- A regex crate using Brzozowski derivatives.☆27Updated 4 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 10 months ago
- Playing with volumetric rendering in rust☆19Updated 4 years ago
- ☆29Updated last year
- Self-referencial structs using the async/await transformation☆44Updated 4 years ago
- Solve hard constraints easily with Rust.☆15Updated 3 years ago
- ☆18Updated 5 years ago
- VF2 subgraph isomorphism algorithm in Rust.☆65Updated 6 months ago
- Safely transmute type to itself in generic context in Rust☆14Updated 2 years ago
- A simple set of Rust proc macros for reading and writing global compile-time state between macro calls☆29Updated 10 months ago
- An attribute macro for creating a `Standard` distribution for rust types☆16Updated 4 years ago
- ☆61Updated 2 weeks ago