nurturenature

Nurture Nature's repositories

Elixir action.yml's for GitHub

Language:ElixirCC0-1.038 10

A Jepsen Test for TigerBeetle.

Language:ClojureApache-2.013 20

Property testing distributed applications with fault injection and verification.

Language:ClojureApache-2.04 2 3

Jepsen Tests for Causal Consistency

Language:ClojureApache-2.0200

Testing PowerSync with Jepsen for Causual Consistency, atomic transactions, and strong convergence.

Language:ClojureApache-2.0200

Jepsen in Docker Experiments.

Language:DockerfileApache-2.01 10

A workaround for docker compose's lack of support for configuring systemd containers.

Language:ShellApache-2.01 1 1

Black-box transactional safety checker based on cycle detection

Language:IsabelleEPL-2.0000

Support library for working with Jepsen histories

Language:ClojureNOASSERTION000

A framework for distributed systems verification, with fault injection

Language:Clojure000

GitHub'ing GitHub.

CC0-1.0000

GitHub Pages

Language:HTMLCC0-1.0000

Jepsen tests for dqlite

Language:ClojureEPL-2.0000

CC0-1.0000

Language:TypeScript000