self-adjusting-computation

Here are 4 public repositories matching this topic...

Anyesh / incr

Incremental computation engine for Rust and Python: tracks dependencies between computations and only reruns what changed. Combines function DAGs with delta-based collections in a single runtime.

python rust caching memoization reactive dependency-graph computation-graph dataflow incremental-computation pyo3 differential-dataflows self-adjusting-computation

Updated Jun 12, 2026
Rust

belteshazzar525 / Incremental

Star

Incremental self-adjusting computation library in Lean4

theorem-proving verification lean software-verification incremental-computation lean4 self-adjusting-computation

Updated Apr 10, 2026
Lean

Incremental computation engine for Go with live what-if worlds: fork the graph into N scenarios that pin some inputs and track the rest live, all updated by one stabilization. Data-shaped topology (Bind), per-key diff collections, O(divergence) scenario cost.

go golang reactive reactive-programming dataflow dag materialized-views incremental-computation dags dataflows incremental-view-maintenance self-adjusting-computation

Updated Jul 26, 2026
Go

ajaiupadhyaya / OhCamel

Star

Reactive real-time risk and limits engine in OCaml. Risk quantities are nodes in a self-adjusting computation graph (Jane Street Incremental), so a tick recomputes only what depends on it — never the whole book.

async ocaml incremental market-data quantitative-finance value-at-risk risk-management self-adjusting-computation

Updated Aug 25, 2026
OCaml

Improve this page

Add a description, image, and links to the self-adjusting-computation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the self-adjusting-computation topic, visit your repo's landing page and select "manage topics."

Learn more

Navigation Menu