theotherphil / dip
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
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 7 months ago
- Propositional logic with types in Rust☆62Updated last year
- exhaustive testing library☆63Updated 6 months ago
- ☆33Updated 2 years ago
- Lift enum variants to the type-level.☆32Updated 3 years ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆27Updated last week
- Exploring the "expression problem" in Rust☆47Updated 2 years ago
- Fast and compact sets of bytes or ASCII characters☆28Updated 3 years ago
- A Rust library for runtime-checked linearish types☆32Updated last year
- A memory efficient syntax tree for language developers☆54Updated last month
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 3 months ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- A syn targetting PEG parser generator☆20Updated last year
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆46Updated 2 years ago
- Cast between dynamic trait objects☆32Updated 5 years ago
- ☆29Updated 9 months ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Updated last year
- A Rust memory allocator for large slices that don't escape the stack.☆30Updated 2 years ago
- Test futures under all possible polling schedules☆18Updated 2 years ago
- ☆31Updated 4 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated 2 years ago
- JERK: Java Embedding Rust Kit☆17Updated last year
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- An alternative `std`-like implementation built on origin☆26Updated last month
- structured parallel execution for async Rust☆33Updated 6 months ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- ☆35Updated 6 months ago
- A safe `Pin`-based intrusive doubly-linked list in Rust☆17Updated last month
- An experimental columnar arena☆42Updated 3 months ago
- Efficient sampling with uniform probability☆31Updated 2 years ago