lord / anchorsLinks
self adjusting computations in rust
β136Updated 3 years ago
Alternatives and similar repositories for anchors
Users that are interested in anchors are comparing it to the libraries listed below
Sorting:
- General-purpose abstractions for incremental computing, in Rustβ356Updated 3 years ago
- π¦Ύ Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!β226Updated this week
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.β93Updated 3 years ago
- The practical relational programing language for data-oriented applicationsβ208Updated 2 years ago
- The canonical Replicache client, implemented in Rust.β30Updated 3 years ago
- β124Updated last year
- Synchronizable structs for Rust.β311Updated 9 months ago
- Proof-of-concept for a memory-efficient data structure for zooming billion-event tracesβ70Updated 4 years ago
- β140Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.β172Updated 2 weeks ago
- Engines, queries, and data for dynamic Datalog computationβ127Updated 3 years ago
- Itβs a pure safe BTree that can be used to build your own special-purpose btree data structureβ53Updated last year
- A lightweight framework for building WebSocket-based application backends.β145Updated 9 months ago
- A Rust implementation of fractional indexing.β57Updated 9 months ago
- β172Updated 8 months ago
- A minimal in-memory database with relational algebraic expressions as queriesβ61Updated 3 years ago
- A lightweight Datalog engine in Rustβ57Updated last month
- An interactive Datalogβ36Updated last week
- (status: soon revived as different project) Statechart Description Language (just an experiment, need to be rewritten)β101Updated 3 years ago
- Visualization for Timely Dataflow and Differential Dataflow programsβ67Updated 3 years ago
- a pragmatic point-free theorem prover assistantβ140Updated last year
- a datalog interpreter in typescriptβ210Updated 6 months ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.β122Updated last year
- Datalog compiler embedded in Rust as a procedural macroβ475Updated last year
- exhaustive testing libraryβ64Updated 11 months ago
- Synthesize CRDTs from classic data types with verified lifting!β148Updated last year
- Workload generator that emulates the traffic pattern of lobste.rsβ72Updated 4 years ago
- β95Updated last year
- A modular implementation of timely dataflow in Rustβ118Updated this week
- A rust implementation of statecharts: hierarchical, reactive state machinesβ57Updated 7 years ago