Group: Replikativ

Sort by:Popular▼

✓Popular✓Newest

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

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

A durable datalog implementation adaptable for distribution.

Supervised channel management for core.async.

Logging

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

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

A library for simple wire-like connectivity semantics.

Safe transport of unknown record types in distributed systems.

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

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.

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.

Parse bash, gate it with an allow/deny permit, run it through a pluggable host (JVM, Node, browser).

Pattern matching and term rewriting for Clojure (replikativ fork of pangloss/pattern).

Persistent vector database with version control for the JVM

UMAP (Uniform Manifold Approximation and Projection) for Clojure — a faithful port of umap-learn built on the raster typed-dispatch compiler.