Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "proof" keyword
blockstack-proofs 0.0.10
Python library for verifying proofs (twitter, github, domains etc) linked to a blockchain ID8 versions - Latest release: over 6 years ago - 8 dependent repositories - 32 downloads last month - 19 stars on GitHub - 1 maintainer
open-rarity 0.7.5
Open-Rarity library is an open standard that provides an easy, explanable and reproducible comput...14 versions - Latest release: 8 months ago - 1 dependent repositories - 330 downloads last month - 217 stars on GitHub - 1 maintainer
sphinxcontrib-proof 1.6.0
This packages contains the Proof sphinx extension, which provides directives to typeset theorems,...11 versions - Latest release: 8 months ago - 2 dependent packages - 10 dependent repositories - 412 downloads last month - 493 stars on GitHub - 1 maintainer
mathesis 0.5.1
Formal logic library in Python for humans9 versions - Latest release: about 1 month ago - 62 downloads last month - 5 stars on GitHub - 1 maintainer
punctilious 1.0.10
A human-friendly and developer-friendly math proof assistant7 versions - Latest release: 6 months ago - 61 downloads last month - 2 stars on GitHub - 1 maintainer
skolem 0.1.0
A framework for mathematical logic.1 version - Latest release: 10 months ago - 1 dependent repositories - 1 maintainer
flip 1.0
F L i P : Logical Framework in Python3 versions - Latest release: 9 months ago - 3 dependent repositories - 43 downloads last month - 1 maintainer
fomo 1.2.2
Fomo Python SDK is the official SDK wrapper for the Fomo API service11 versions - Latest release: over 4 years ago - 1 dependent repositories - 857 downloads last month - 0 stars on GitHub - 1 maintainer
Top 3.9% on pypi.org
25 versions - Latest release: 4 months ago - 1 dependent package - 35 dependent repositories - 2.66 thousand downloads last month - 788 stars on GitHub - 1 maintainer
pycryptosat 5.11.21
Bindings to CryptoMiniSat, an advanced SAT solver25 versions - Latest release: 4 months ago - 1 dependent package - 35 dependent repositories - 2.66 thousand downloads last month - 788 stars on GitHub - 1 maintainer
wudder 3.2110.0
Create blockchain certificates for all the events of your business processes. In Ethereum. At scale.26 versions - Latest release: over 2 years ago - 1 dependent repositories - 123 downloads last month - 5 stars on GitHub - 2 maintainers
tla 0.0.1
Parser and abstract syntax tree for TLA+, the temporal logic of actions.2 versions - Latest release: over 3 years ago - 2 dependent repositories - 17 downloads last month - 1 maintainer
ruruki 1.4.2
Ruruki is a lightweight in-memory graph database which is ideal if you need a temporary graph dat...13 versions - Latest release: about 7 years ago - 3 dependent repositories - 64 downloads last month - 89 stars on GitHub - 1 maintainer
recursive-sgd 0.4.2 💰
Train a neural network - with recursion!2 versions - Latest release: over 4 years ago - 1 dependent repositories - 26 downloads last month - 1 stars on GitHub - 1 maintainer
Top 6.5% on pypi.org
19 versions - Latest release: 9 months ago - 1 dependent package - 4 dependent repositories - 3.24 thousand downloads last month - 67 stars on GitHub - 1 maintainer
pymerkle 6.1.0
Merkle-tree cryptography in python19 versions - Latest release: 9 months ago - 1 dependent package - 4 dependent repositories - 3.24 thousand downloads last month - 67 stars on GitHub - 1 maintainer
nittygriddy 1.0.6
Convinient way to deploy your ALICE analysis locally (sequential and proof lite) or on the grid9 versions - Latest release: over 6 years ago - 1 dependent repositories - 39 downloads last month - 7 stars on GitHub - 3 maintainers
icc.atp 0.0.2
Automatic Theorem Proving wrapper for Python2 versions - Latest release: over 10 years ago - 3 dependent repositories - 7 downloads last month - 1 maintainer
cotary 0.1.1
Prove a file currently exists without disclosing it's content.2 versions - Latest release: over 5 years ago - 1 dependent repositories - 28 downloads last month - 1 stars on GitHub - 1 maintainer
blockchain-proofs 0.2.1
Implements chainpoint v2 proof of existence approach5 versions - Latest release: over 6 years ago - 65 downloads last month - 1 maintainer
proofchecker 0.0.3
Python library for verifying proofs (twitter, github, domains etc) linked to a blockchain ID3 versions - Latest release: about 8 years ago - 3 dependent repositories - 23 downloads last month - 19 stars on GitHub - 1 maintainer
Related Keywords
python
4
theorem
4
blockchain
4
social
3
mathematics
3
cryptography
3
cli
2
prover
2
logic
2
bitcoin
2
math
2
verifications
2
identity
2
validation
1
lightweight
1
temporary
1
concept
1
POC
1
tool
1
extraction
1
formal
1
specification
1
snail
1
in-memory
1
expression
1
database
1
memory
1
db
1
graph
1
formula
1
module
1
parser
1
lex
1
ply
1
syntax tree
1
abstract syntax tree
1
ast
1
parsing
1
lexer
1
chainpoint
1
receipt
1
utils
1
twitter
1
simple
1
logics
1
first-order
1
ATP
1
proving
1
automatic
1
grid
1
cern
1
alice
1
security
1
merkle-tree
1
merkle-proof
1
hash-tree
1
consistency
1
inclusion
1
merkle
1
stochastic-gradient-descent
1
recursion
1
optimization
1
numpy-neuralnet-exercise
1
numpy-neural-network
1
numpy
1
gradient
1
csv-dataset
1
temporal logic of actions
1
proof-assistants
1
proof-assistant
1
formal-system
1
formal-methods
1
formal system
1
math proof assistant
1
proof assistant
1
propositional-logic
1
philosophical-logic
1
mathematical-logic
1
formal-logic
1
first-order-logic
1
philosophy
1
semantics
1
sphinx
1
solana
1
rarity
1
opensea
1
openrarity
1
open-source
1
open-rarity
1
nft
1
icy
1
etherium
1
curio
1
crypto
1
apache2
1
TLA
1
TLA+
1
wudder
1
trace
1
timestamp
1