advancedresearch / hoooLinks
Propositional logic with exponentials
β23Updated last week
Alternatives and similar repositories for hooo
Users that are interested in hooo are comparing it to the libraries listed below
Sorting:
- Ultra-compact storage for collections of enums π±β23Updated 3 years ago
- Experimental type level programming in Rustβ41Updated 4 years ago
- Lift enum variants to the type-level.β32Updated 4 years ago
- β34Updated 11 months ago
- We have Crater At Homeβ37Updated last year
- Type-level named values with partial dependent type support in Rustβ57Updated 3 years ago
- β46Updated 4 years ago
- Transport-polymorphic, asynchronous session types for Rustβ64Updated 3 years ago
- A Rust memory allocator for large slices that don't escape the stack.β31Updated 3 years ago
- β36Updated 3 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)β17Updated last year
- Propositional logic with types in Rustβ64Updated 2 years ago
- Low-level manipulations of IEEE754 floating-point numbers.β31Updated 2 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'β12Updated 6 years ago
- Arena allocator with scopesβ44Updated 2 years ago
- Scope Graph Implementation in Rustβ28Updated last year
- A toy incremental computation frameworkβ15Updated 5 years ago
- β30Updated last year
- Zero overhead tracing garbage collection for rust (WIP)β50Updated last year
- A visual-first, statically typed, pluggable, graph-based programming languageβ27Updated 4 months ago
- A simple error library for no_std + no_alloc Rustβ18Updated 5 years ago
- Rust bindings for libgccjitβ30Updated last month
- Methods on HashMap and BTreeMap for safely getting multiple mutable references to the contained values.β19Updated 9 years ago
- Solve hard constraints easily with Rust.β15Updated 3 years ago
- Renders interactive fractal-like animationsβ19Updated 8 years ago
- β31Updated 5 years ago
- Sruth LΓΉbach: A toy optimization engineβ23Updated 4 years ago
- Collection of typed data structures, trait operators and aliasesβ51Updated 5 years ago
- A Rust library for runtime-checked linearish typesβ37Updated 2 years ago
- exhaustive testing libraryβ66Updated last year