All projects
Note: artifacts in italics are non-canonical forks. See the wiki for more details.
Displaying projects 26601 - 26620 of 33166
- org.replikativ/ansatz 0.2.75
Verified Clojure via Lean 4 Mathlib — write Clojure, prove it correct
whilo2026-07-11 - org.replikativ/beichte 0.2.8
Static effect inference for Clojure — no type system required.
whilo2026-04-08
Local IMAP mirror with datahike metadata, scriptum fulltext, and yggdrasil atomic versioning
whilo2026-02-17 - org.replikativ/datahike 0.8.1730
A durable datalog implementation adaptable for distribution.
whilo2026-07-13 - org.replikativ/dvergr 0.1.20
A Clojure agentic programming framework — continuous-time collaborative multi-agent rooms.
whilo2026-07-13 - org.replikativ/evoc-rstr 0.1.4
EVoC (Embedding Vector Oriented Clustering) for Clojure — a port of the Tutte Institute's evoc, built on the raster typed-dispatch compiler and umap-rstr.
whilo2026-07-06 - org.replikativ/hasch 0.4.100
A library to consistently crypto-hash edn data structures on Clojure and ClojureScript with SHA-512
whilo2026-07-11 - org.replikativ/incognito 0.3.69
Safe transport of unknown record types in distributed systems.
whilo2026-01-16 - org.replikativ/kabel-auth 0.1.19
Authentication and authorization middleware for kabel websocket connections.
whilo2026-01-16 - org.replikativ/katzen 0.1.11
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.
whilo2026-06-04 - org.replikativ/konserve 0.9.359
Durable cross-platform key-value store protocol with core.async.
whilo2026-07-13