代码库

replikativ/datahike

1.8k

Versioned, fast, distributed Datalog engine for everyone.

Clojure

clojuredatabasedatahikedatalogopen-source

replikativ/ansatz

12

Dependently typed Clojure DSL with a Lean4 compatible kernel.

Clojure