deduction
It is an implementation of the Raft consensus algorithm in Nodeway.
persistence queue
nodeway-component eppgate
nodeway-component swallow
epp <=> json
Propositional Logic
It is an implementation of the QRcode.