merkletreejs
Construct Merkle Trees and verify proofs
Latest release 0.2.23 - Updated - 279 stars
cryptominisat
An advanced SAT Solver https://www.msoos.org
Latest release 5.6.8 - Updated - 507 stars
libcryptominisat
An advanced SAT Solver https://www.msoos.org
Latest release 5.6.6 - Published - 507 stars
pycryptosat
An advanced SAT Solver https://www.msoos.org
Latest release 5.6.6 - Published - 507 stars
paragonie/chronicle
Public hash chain powered by Slim Framework, Sapient, and Blakechain
Latest release v1.2.0 - Updated - 437 stars
proof-of-work
SHA256 + Bloom filter proof of work
Latest release 3.3.2 - Updated - 80 stars
bootstrap-dark-5
The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the v4 Dark Mode POC
Latest release 1.0.2 - Updated - 59 stars
ruruki
Ruruki is a lightweight in-memory graph database which is ideal if you need a temporary graph dat...
Latest release 1.4.2 - Updated - 57 stars
chainpoint-cli
Chainpoint CLI
Latest release 3.0.1 - Updated - 47 stars
merkle-cbt
A library for generating efficient Merkle tree and combined Merkle proof based on complete binary...
Latest release 0.3.0 - Updated - 8 stars
bitcoin-merkle-proof
Build and verify Bitcoin Merkle proofs
Latest release 0.1.0 - Updated - 6 stars
pycryptosat
Bindings to CryptoMiniSat 5.6.8 (a SAT solver)
Latest release 0.7.0.dev3 - Updated - 507 stars
agda-stdlib-0.9
The Agda Standard Library
Latest release 0.9.3 - Updated - 392 stars
m-tree
Construct Merkle Trees and verify proofs
Latest release 0.0.7 - Updated - 279 stars
mm0b_parser
parsing tools for Metamath Zero's mmb binary format
Latest release 0.1.1 - Updated - 178 stars
mm0_util
MM0/MM1 language utilities
Latest release 0.1.3 - Updated - 178 stars
blockstack-proofs
Python library for verifying proofs (twitter, github, domains etc) linked to a blockchain ID
Latest release 0.0.10 - Updated - 18 stars
proofchecker
Python library for verifying proofs (twitter, github, domains etc) linked to a blockchain ID
Latest release 0.0.3 - Updated - 18 stars
bitcoin-proof
Merkle proof for a Bitcoin transaction
Latest release 2.0.0 - Updated - 17 stars
blproof
Blind liability proof tool
Latest release 0.0.14 - Updated - 55 stars
lproof
Proof of Liabilities (PoL) library and CLI
Latest release 0.0.17 - Updated - 55 stars
hashapi-lib-node
Tierion Hash API client library for Node.js
Latest release 1.3.0 - Updated - 16 stars
nittygriddy
Convinient way to deploy your ALICE analysis locally (sequential and proof lite) or on the grid
Latest release 1.0.6 - Updated - 7 stars
gitlock
GitLock adds a SHA-256 wrapper to increase the security of Git, and protects your copyright by ad...
Latest release 1.0.0 - Updated - 4 stars
bootstrap-dark-4
The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
Latest release 0.0.9 - Published - 59 stars
sproof
Proof of Solvency (PoS) library and CLI
Latest release 0.0.1 - Published - 55 stars
bsproof
Blind solvency proof
Latest release 0.0.1 - Published - 55 stars
blockchain-ts
Fully fledged PoW blockchain implementation in TypeScript.
Latest release 1.1.0 - Published - 24 stars
aproof
Proof of Assets (PoL) library and CLI
Latest release 0.0.9 - Updated - 15 stars
thefox/hashcash
Hashcash implementation in PHP.
Latest release v1.8.0 - Updated - 13 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search