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 last year
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- Propositional logic with types in Rust☆62Updated 2 years ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- enforce representation/class invariants in your Rust data structures☆12Updated 2 years ago
- ☆24Updated 2 years ago
- Experimental type level programming in Rust☆37Updated 4 years ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- exhaustive testing library☆64Updated 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…☆45Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- To futures-lite as futures-lite is to futures: smaller.☆54Updated 7 months ago
- A linear solver designed to be easy to use with Rust enums.☆32Updated 4 years ago
- Human-friendly indexed collections☆53Updated 2 months ago
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- PEG parser generator built on top of nom☆70Updated 5 years ago
- Garbage collector library☆23Updated 3 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆52Updated 3 weeks ago
- An experimental columnar arena☆43Updated 9 months ago
- ☆40Updated last year
- A Rust library for runtime-checked linearish types☆35Updated 2 years ago
- An async allocator with Fun™️ unsafe Rust☆18Updated 2 years ago
- Set theory applied on sorted and deduplicated slices.☆47Updated 2 years ago
- Compact sets in rust☆57Updated 4 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 4 months ago
- ☆48Updated last month