M
Q
P
M
Q
P
Description
A library to generate Verifiable Presentations and Verfiable Credentials
Keywords
Publisher
published 0.2.3 • 7 months ago
M
Q
P
Description
JavaScript hashcash generation, solving and verification for NodeJS or browser
Keywords
Publisher
published 1.0.1 • 2 days ago
M
Q
P
Description
Construct Merkle Trees and verify proofs
Keywords
Publisher
published 0.2.9 • 3 months ago
M
Q
P
Description
Lightweight decoding and validation library.
Keywords
Publisher
published 1.1.2 • 7 months ago
M
Q
P
Description
Parse geometry proof language for diagram-building instructions.
Keywords
Publisher
published 2.0.4 • 6 years ago
M
Q
P
M
Q
P
M
Q
P
Description
Highlight mistakes and their absence in a piece of text.
Keywords
Publisher
published 1.0.0 • 2 years ago
M
Q
P
Description
Simulator for Logic 2010 derivations
Keywords
Publisher
published 1.6.0 • 6 months ago
M
Q
P
M
Q
P
Description
API Client for Proof of Existence
Keywords
Publisher
published 0.1.3 • 2 years ago
M
Q
P
Description
Proof of Liabilities (PoL) library and CLI
Keywords
Publisher
published 0.0.17 • 5 years ago
M
Q
P
M
Q
P
Description
CLI util for Proof of Existence
Keywords
Publisher
published 1.0.4 • 2 years ago
M
Q
P
M
Q
P
Description
Inductive programming for JavaScript
Keywords
- type
- types
- ast
- abstract-syntax-tree
- abstract
- syntax
- tree
- induction
- inductive
- inductive-programming
- inductive-functional-programming
- test
- testing
- unit
- View more
Publisher
published 0.2.1 • 4 years ago
M
Q
P
M
Q
P
M
Q
P
