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

A framework for distributed systems verification, with fault injection

Clojure-based, R-like statistical computing and graphics environment for the JVM

Distributed, masterless, high performance, fault tolerant data processing

Verifies the linearizability of experimentally accessible histories.