M
Q
P
Description
A library to generate Verifiable Presentations and Verfiable Credentials
Keywords
Publisher
published 0.2.3 • 2 months ago
M
Q
P
M
Q
P
Description
Lightweight decoding and validation library.
Keywords
Publisher
published 1.1.2 • 2 months ago
M
Q
P
Description
Construct Merkle Trees and verify proofs
Keywords
Publisher
published 0.1.11 • 4 months ago
M
Q
P
Description
Parse geometry proof language for diagram-building instructions.
Keywords
Publisher
published 2.0.4 • 5 years ago
M
Q
P
M
Q
P
M
Q
P
M
Q
P
M
Q
P
Description
Simulator for Logic 2010 derivations
Keywords
Publisher
published 1.6.0 • a month ago
M
Q
P
Description
Highlight mistakes and their absence in a piece of text.
Keywords
Publisher
published 1.0.0 • a year ago
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
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
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
Description
Gatsby plugin to add Proof to your site
Keywords
Publisher
published 1.0.4 • a year ago
M
Q
P
Description
Used in Better SweClockers.
Keywords
Publisher
published 3.0.2 • a year ago