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:
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 11 months ago
- ☆34Updated 3 years ago
- A Rust library for runtime-checked linearish types☆34Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Propositional logic with types in Rust☆62Updated last year
- exhaustive testing library☆63Updated 10 months ago
- Efficient sampling with uniform probability☆31Updated 2 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 7 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago
- ☆32Updated 11 months ago
- A Rust port of Jane Street's Incremental library.☆26Updated 4 months ago
- To futures-lite as futures-lite is to futures: smaller.☆54Updated 5 months ago
- Exploring the "expression problem" in Rust☆49Updated 2 years ago
- Cast between dynamic trait objects☆32Updated 5 years ago
- ☆27Updated 2 years ago
- A memory efficient syntax tree for language developers☆60Updated this week
- An experimental reimplementation of rowan, focused on size efficiency☆24Updated 4 years ago
- An experiment in an augmented error handling type for Rust☆39Updated 2 weeks ago
- Human-friendly indexed collections☆53Updated this week
- ☆21Updated 4 years ago
- An experimental columnar arena☆43Updated 7 months ago
- A safe `Pin`-based intrusive doubly-linked list in Rust☆21Updated 2 months ago
- Unbuffered and unlocked I/O streams☆45Updated 2 months ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago