advancedresearch / hoooLinks
Propositional logic with exponentials
☆22Updated 2 weeks ago
Alternatives and similar repositories for hooo
Users that are interested in hooo are comparing it to the libraries listed below
Sorting:
- Experimental type level programming in Rust☆40Updated 4 years ago
- Arena allocator with scopes☆44Updated 2 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- We have Crater At Home☆36Updated 11 months ago
- Ultra-compact storage for collections of enums 🌱☆23Updated 3 years ago
- Scope Graph Implementation in Rust☆27Updated 10 months ago
- Propositional logic with types in Rust☆63Updated 2 years ago
- A linear solver designed to be easy to use with Rust enums.☆32Updated 4 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Updated last year
- A Rust memory allocator for large slices that don't escape the stack.☆31Updated 3 years ago
- A regex crate using Brzozowski derivatives.☆27Updated 5 months ago
- A radioactive stabilization of the ptr_meta RFC.☆33Updated last week
- A library for creating and using anonymous sum types as errors in Rust☆18Updated 4 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A visual-first, statically typed, pluggable, graph-based programming language☆27Updated 3 weeks ago
- ☆30Updated last year
- ☆35Updated 8 months ago
- ☆31Updated 5 years ago
- Asynchronize blocking operation.☆26Updated 3 years ago
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆32Updated last month
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Exhaustive iteration trait in Rust☆16Updated this week
- Visualise recursive functions and tree structures.☆30Updated 4 years ago
- WLambda - Embeddable Scripting Language for Rust☆53Updated 4 months ago
- A Rust library for runtime-checked linearish types☆36Updated 2 years ago
- A simple error library for no_std + no_alloc Rust☆18Updated 5 years ago
- Renders interactive fractal-like animations☆19Updated 8 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆11Updated 5 years ago
- PEG parser generator built on top of nom☆70Updated 6 years ago