nikomatsakis / salsaLinks
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
☆9Updated 4 months ago
Alternatives and similar repositories for salsa
Users that are interested in salsa are comparing it to the libraries listed below
Sorting:
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆52Updated last year
- A thread-safe Rust LFU cache which supports a custom eviction policy☆34Updated 2 years ago
- self adjusting computations in rust☆136Updated 3 years ago
- A toy Rust application compiled to WASI WebAssembly☆33Updated 3 years ago
- ergonomic columnar storage encoding crate☆24Updated 2 months ago
- Logical clocks implementation in Rust☆44Updated 5 years ago
- The Materialize SQL parser☆29Updated 5 years ago
- A vectorized JSON parser for pre-validated, minified documents☆83Updated 10 months ago
- Experimental WebAssembly interpreter☆31Updated 8 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆61Updated 3 years ago
- A buffered I/O stream for Rust☆31Updated 5 years ago
- ☆110Updated last year
- [DEPRECATED] A simple object arena☆37Updated 4 years ago
- software transactional memory in rust☆14Updated 3 years ago
- Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c☆35Updated 6 months ago
- ☆12Updated 6 years ago
- Judy array implementation in pure Rust☆87Updated 7 years ago
- A demand-driven compiler with strong IDE support☆196Updated 2 years ago
- JS affine☆66Updated 4 years ago
- An HTTP/2.0 client and server `Service` implementation.☆88Updated 6 years ago
- ☆94Updated last year
- Rust library providing `Zc` for self-referential zero-copy structures☆41Updated 4 years ago
- Repository containing Rust crates common between other Facebook open source projects (like Mononoke or Eden).☆112Updated this week
- Workload generator that emulates the traffic pattern of lobste.rs☆72Updated 3 years ago
- simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly☆140Updated 4 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆158Updated last year
- a pragmatic point-free theorem prover assistant☆140Updated last year
- Category Theory For Programmers (Bartosz Milewski)☆67Updated 3 years ago
- A lightweight Datalog engine in Rust☆57Updated this week
- Application container built for WebAssembly☆111Updated 7 years ago