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
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Propositional logic with types in Rust☆62Updated last year
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- Test futures under all possible polling schedules☆18Updated 2 years ago
- ☆34Updated 3 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 10 months ago
- exhaustive testing library☆63Updated 9 months ago
- A syn targetting PEG parser generator☆20Updated last year
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆11Updated 5 years ago
- ☆31Updated 10 months ago
- A library for creating and using anonymous sum types as errors in Rust☆18Updated 4 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆27Updated last month
- ☆31Updated 5 years ago
- Completion futures for Rust☆19Updated 2 years ago
- To futures-lite as futures-lite is to futures: smaller.☆54Updated 4 months ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- An Experimental LISP☆20Updated 2 years ago
- A Rust library for runtime-checked linearish types☆33Updated last year
- A simple error library for no_std + no_alloc Rust☆18Updated 5 years ago
- Build a rustc sysroot with custom flags☆17Updated 7 months ago
- 32-bit hashing machinery☆11Updated last week
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Rust implementation of the Quine-McCluskey algorithm and Petrick's method☆32Updated 2 years ago
- Efficient sampling with uniform probability☆31Updated 2 years ago
- A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.☆27Updated 2 weeks ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- ☆27Updated 2 years ago
- An experimental reimplementation of rowan, focused on size efficiency☆24Updated 4 years ago