Group: Replikativ

Sort by:Popular▼

✓Popular✓Newest

Durable cross-platform key-value store protocol with core.async.

A durable datalog implementation adaptable for distribution.

A library to consistently crypto-hash edn data structures on Clojure and ClojureScript with SHA-512

A B-tree based persistent sorted set for Clojure and ClojureScript. Supports transients, custom comparators, fast iteration, efficient slices and reverse slices.

Supervised channel management for core.async.

Logging

Unified copy-on-write memory model protocols for heterogeneous storage systems

A library for simple wire-like connectivity semantics.

Persistent vector database with version control for the JVM

Safe transport of unknown record types in distributed systems.

Functional scientific computing for Clojure — typed multiple dispatch, AD, and GPU compilation on the JVM.

Fast, portable CBOR serialization for Clojure and ClojureScript, in a format other languages can read.

Queryable, Datahike-backed version control with Git compatibility.

Copy-on-write branching for Apache Lucene with Git-like semantics

Reactive computation you can fork. Incremental reactive computation for Clojure/ClojureScript with cached spins, mutable signals, copy-on-write forking, and a typed delta algebra.

Verified Clojure via Lean 4 Mathlib — write Clojure, prove it correct

Static effect inference for Clojure — no type system required.

Generic datalog parser compliant to datomic, datascript and datahike queries.

Cross-platform cryptography between cljs and clj

Applied category theory for Clojure — GATs, ACSets, schema migration, wiring-diagram composition, with verified migration via the ansatz Lean kernel and a typed numerical compile path via raster.