Group: Replikativ

Sort by:Popular▼

✓Popular✓Newest

Logging

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

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.

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

Local IMAP mirror with datahike metadata, scriptum fulltext, and yggdrasil atomic versioning

A Clojure agentic programming framework — continuous-time collaborative multi-agent rooms.

A synchronization layer for konserve key-value stores

Double-entry accounting kernel on datahike — schema, posting/balance/period semantics, tax engine, sealing/audit, bitemporal queries.

LangChain4j EmbeddingStore adapter for proximum

Spring AI VectorStore adapter for proximum

Pure-Clojure spreadsheet interpreter — formulas, dynamic arrays, LET/LAMBDA, tables, 3D refs. Cross-platform (Clojure + ClojureScript).

SIMD-accelerated columnar analytics for the JVM

A verified data-transformation runtime — write Clojure data pipelines, optimized by certified rewriting on the ansatz CIC kernel