The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊

Moved to Codeberg; this is a convenience mirror

A framework for distributed systems verification, with fault injection

A network event stream processing system, in Clojure.

Verifies the linearizability of experimentally accessible histories.

Control the throughput of function calls and core.async channels