https://github.com/datopia/abci-host

Clojure host/server for Tendermint's ABCI protocol.

abci blockchain clojure consensus distributed-systems tendermint

Last synced: 05 Aug 2025

https://github.com/datopia/path

Last synced: 14 Mar 2026

https://github.com/datopia/codox-theme

Last synced: 21 Oct 2025

https://github.com/datopia/invariant

This repository provides invariant verification in Datalog for the immutable databases Datomic and Datahike.

analysis clojure database datahike datalog datomic verification

Last synced: 22 Apr 2026