advancedresearch / hooo
Propositional logic with exponentials
☆18Updated 3 weeks ago
Alternatives and similar repositories for hooo:
Users that are interested in hooo are comparing it to the libraries listed below
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 3 months ago
- ☆32Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- A radioactive stabilization of the ptr_meta RFC.☆24Updated last month
- Ultra-compact storage for collections of enums 🌱☆23Updated 2 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- A crate for compile-time duck typing and reflection of structs☆16Updated 3 years ago
- Lift enum variants to the type-level.☆32Updated 3 years ago
- Easily cope with numeric literals in generic Rust code☆27Updated 3 years ago
- A newtype with alignment of at least `A` bytes☆31Updated this week
- An object system for Rust based on relative pointers☆37Updated 2 years ago
- A newtype wrapper that causes Debug impls to skip a field.☆21Updated 2 years ago
- A Rust library providing a stack-like memory allocator with double-ended allocation support.☆22Updated 3 years ago
- Exhaustive iteration trait in Rust☆13Updated last month
- Typesafe extensions for sorted iterators, including set and relational operations☆17Updated last year
- An attribute macro for creating a `Standard` distribution for rust types☆16Updated 3 years ago
- a reference-counting cycle collection library in rust☆78Updated 2 years ago
- Arena allocator with scopes☆43Updated last year
- ☆31Updated 4 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 3 years ago
- ☆17Updated 4 years ago
- Stack-allocated trait objects☆18Updated 3 years ago
- A safe, fast, lightweight embeddable scripting language written in Rust.☆20Updated last year
- ☆29Updated 9 months ago
- ☆15Updated last year
- Asynchronize blocking operation.☆26Updated 2 years ago
- Fast and compact sets of bytes or ASCII characters☆28Updated 3 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 3 years ago
- Speedy self-documenting lisp in Rust.☆21Updated 8 months ago