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:
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- PEG parser generator built on top of nom☆70Updated 5 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- exhaustive testing library☆64Updated last year
- Propositional logic with types in Rust☆62Updated 2 years ago
- An experiment in embedding layout computations in the type system.☆17Updated 6 years ago
- To futures-lite as futures-lite is to futures: smaller.☆54Updated 8 months ago
- A Rust library for runtime-checked linearish types☆35Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 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 3 years ago
- An experimental columnar arena☆43Updated 9 months ago
- A linear solver designed to be easy to use with Rust enums.☆32Updated 4 years ago
- A Rust port of Jane Street's Incremental library.☆27Updated 7 months ago
- ☆49Updated 2 months ago
- LR-style Parser Generator☆19Updated 2 months ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆11Updated 5 years ago
- Rust bindings for libgccjit☆23Updated 2 weeks ago
- Inert lets you use non-Sync values in Sync context☆16Updated 6 years ago
- Experimental persistent collections in Rust☆45Updated 7 years ago
- Speedy self-documenting lisp in Rust.☆21Updated last year
- An experimental reimplementation of rowan, focused on size efficiency☆25Updated 4 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- ☆27Updated 2 years ago
- Rust library providing `Zc` for self-referential zero-copy structures☆41Updated 4 years ago
- Set theory applied on sorted and deduplicated slices.☆47Updated 2 years ago