advancedresearch / hoooLinks
Propositional logic with exponentials
☆20Updated 2 months ago
Alternatives and similar repositories for hooo
Users that are interested in hooo are comparing it to the libraries listed below
Sorting:
- A radioactive stabilization of the ptr_meta RFC.☆29Updated 2 months ago
- Methods on HashMap and BTreeMap for safely getting multiple mutable references to the contained values.☆19Updated 8 years ago
- ☆34Updated 3 years ago
- Increased precision floating point numbers implemented purely in Rust.☆21Updated 2 months ago
- ☆35Updated 5 months ago
- Solve hard constraints easily with Rust.☆15Updated 3 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Updated last year
- We have Crater At Home☆36Updated 8 months ago
- A Rust library for runtime-checked linearish types☆34Updated last year
- A newtype with alignment of at least `A` bytes☆32Updated 5 months ago
- Arena allocator with scopes☆44Updated 2 years ago
- A Rustified OpenCL Experience☆46Updated 2 years ago
- Collection of typed data structures, trait operators and aliases☆51Updated 4 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 3 years ago
- A crate for compile-time duck typing and reflection of structs☆16Updated 3 years ago
- Exhaustive iteration trait in Rust☆16Updated 2 weeks ago
- Typesafe extensions for sorted iterators, including set and relational operations☆17Updated 2 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Tiny little crate to determine how large an unnameable type is.☆12Updated 3 months ago
- A Rust memory allocator for large slices that don't escape the stack.☆31Updated 3 years ago
- To futures-lite as futures-lite is to futures: smaller.☆54Updated 7 months ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 3 years ago
- Zero-terminated string types for FFI.☆13Updated 2 years ago
- Full precision decimal representation of f64☆26Updated 2 months ago
- LR-style Parser Generator☆19Updated last month
- ☆46Updated 4 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆31Updated 8 months ago
- ☆18Updated 5 years ago
- ☆29Updated last year
- A safe-guarded transmute for Rust☆39Updated last year