Moved to Codeberg; this is a convenience mirror

A framework for distributed systems verification, with fault injection

Immutable database and Datalog query engine for Clojure, ClojureScript and JS

A concise routing library for Ring/Clojure

A workbench for writing toy implementations of distributed systems.

Asynchronous streaming communication for Clojure - web server, web client, and raw TCP/UDP

Clojure(Script) library for declarative data description and validation

A fast, immutable, distributed & compositional Datalog engine for everyone.

Data processing on Hadoop without the hassle.

A simple, fast and versatile Datalog database

Fast Clojure Matrix Library

A graph store for Clojure and ClojureScript

One click deploy for Storm clusters on AWS

Verifies the linearizability of experimentally accessible histories.

Datalog based rules engine

Centralized Puppet Storage

REPL-integrated Clojure-to-Java decompiler

Hadoop MapReduce in idiomatic Clojure.

A distributed computing system that helps writing and running Clojure code in parallel - across cores and processors

The command-line frontend to transactional consistency checkers for black-box databases

Call c from clojure using graalvm -- then compile a binary using native-image!