boilerplate for a typical threejs project
RDF reasoner that operates on RIF-like conjunctive rules. Outputs a machine readable proof of some claim which can be cheaply verified.
Merkle root generation, merkle proof generation and verification.
