theotherphil / dipLinks
A toy incremental computation framework
☆15Updated 4 years ago
Alternatives and similar repositories for dip
Users that are interested in dip are comparing it to the libraries listed below
Sorting:
- exhaustive testing library☆65Updated last year
- Test futures under all possible polling schedules☆19Updated 3 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- enforce representation/class invariants in your Rust data structures☆12Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Rust library providing `Zc` for self-referential zero-copy structures☆41Updated 4 years ago
- PEG parser generator built on top of nom☆70Updated 6 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- An experimental columnar arena☆43Updated 11 months ago
- Set theory applied on sorted and deduplicated slices.☆47Updated 3 years ago
- A Rust memory allocator for large slices that don't escape the stack.☆31Updated 3 years ago
- Rust crate for variadic tuple metaprogramming.☆27Updated 4 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- ☆27Updated 2 years ago
- ☆31Updated 5 years ago
- A trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.☆21Updated 4 years ago
- ☆30Updated last year
- Unbuffered and unlocked I/O streams☆45Updated 7 months ago
- A linear solver designed to be easy to use with Rust enums.☆33Updated 4 years ago
- A syn targetting PEG parser generator☆20Updated 2 years ago
- A Rust library for runtime-checked linearish types☆36Updated 2 years ago
- An experimental reimplementation of rowan, focused on size efficiency☆25Updated 5 years ago
- ☆35Updated 3 years ago
- Working group focused on language runtimes - implementing GC and concurrency in safe Rust APIs☆34Updated 7 years ago
- Experimental type level programming in Rust☆40Updated 4 years ago
- To futures-lite as futures-lite is to futures: smaller.☆54Updated 10 months ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆69Updated last year
- A simple, id-based arena☆119Updated 2 years ago