advancedresearch / hooo
Propositional logic with exponentials
☆20Updated last week
Alternatives and similar repositories for hooo
Users that are interested in hooo are comparing it to the libraries listed below
Sorting:
- ☆34Updated 3 months ago
- ☆34Updated 3 years ago
- Tiny little crate to determine how large an unnameable type is.☆11Updated last month
- A Rust library for runtime-checked linearish types☆33Updated last year
- A radioactive stabilization of the ptr_meta RFC.☆26Updated 2 weeks ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆8Updated 2 years ago
- A safe-guarded transmute for Rust☆38Updated 11 months ago
- Asynchronous pipelines of contiguous data, for rust.☆17Updated last year
- An object system for Rust based on relative pointers☆38Updated 2 years ago
- ☆29Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 6 months ago
- Propositional logic with types in Rust☆62Updated last year
- LR-style Parser Generator☆19Updated last month
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 6 months ago
- Cross-platform, endian-aware primitives for Rust☆39Updated 2 weeks ago
- Stack-allocated trait objects☆18Updated 3 years ago
- A Rustified OpenCL Experience☆46Updated last year
- Exhaustive iteration trait in Rust☆15Updated last week
- cargo subcommand for building proc-macro crates with web assembly☆34Updated 4 years ago
- ☆17Updated 5 years ago
- Completion futures for Rust☆19Updated 2 years ago
- Cast between dynamic trait objects☆32Updated 5 years ago
- Methods on HashMap and BTreeMap for safely getting multiple mutable references to the contained values.☆19Updated 8 years ago
- Typesafe extensions for sorted iterators, including set and relational operations☆17Updated last year
- We have Crater At Home☆32Updated 6 months ago
- Asynchronize blocking operation.☆26Updated 3 years ago
- A crate for compile-time duck typing and reflection of structs☆16Updated 3 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- A primitive for writing structural search and replace programs for rust☆31Updated 10 months ago
- Mostly safe wrapper for alloca☆25Updated last year