nikomatsakis / salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
☆9Updated 2 weeks ago
Alternatives and similar repositories for salsa:
Users that are interested in salsa are comparing it to the libraries listed below
- ☆22Updated 5 years ago
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆52Updated 8 months ago
- A toy Rust application compiled to WASI WebAssembly☆34Updated 3 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆69Updated 3 years ago
- Benchmark to compare async web server + interpreter + web client implementations across various languages☆46Updated last year
- Read, write, and manipulate the Wasm WebIDL bindings custom section☆38Updated 4 years ago
- A thread-safe Rust LFU cache which supports a custom eviction policy☆34Updated 2 years ago
- A TODO MVC implementation using web-sys to make WASM☆42Updated 6 years ago
- indexlist: A doubly linked list, backed by a vector☆84Updated last year
- Category Theory For Programmers (Bartosz Milewski)☆65Updated 2 years ago
- [DEPRECATED] A simple object arena☆37Updated 3 years ago
- ☆12Updated 6 years ago
- software transactional memory in rust☆13Updated 3 years ago
- Rust library providing `Zc` for self-referential zero-copy structures☆41Updated 3 years ago
- Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c☆34Updated 2 months ago
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Updated 4 years ago
- Rust CouchDB implementation for Cloudant hackweek☆67Updated 4 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 3 weeks ago
- An HTTP/2.0 client and server `Service` implementation.☆88Updated 5 years ago
- a pragmatic point-free theorem prover assistant☆137Updated last year
- General-purpose abstractions for incremental computing, in Rust☆349Updated 2 years ago
- Arithmetic in Rust's Type System☆10Updated 11 months ago
- self adjusting computations in rust☆134Updated 3 years ago
- FRP implementation in Rust☆79Updated 7 months ago
- Logical clocks implementation in Rust☆44Updated 5 years ago
- ☆39Updated 4 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆148Updated 8 months ago
- simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly☆139Updated 4 years ago
- Rust WAT and WAST parser (WebAssembly Text Format)☆113Updated 4 years ago
- ☆47Updated 2 months ago