arend 
1.5.01 
0 
0.00 
Proof assistant based on Homotopy Type Theory 
knisht

boogiegit 
0.r5030.8448ac1c1 
2 
0.00 
Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver 
joojoo

burstcoinwallet 
2.5.11 
2 
0.00 
The world's first HDDmined cryptocurrency using an energy efficient and fair ProofofCapacity (PoC) consensus algorithm 
orphan

dename 
r166.efbb1c21 
2 
0.00 
NameCoinstyle names using consensus instead of proof of work 
jhass

denariusgit 
1.0.0.0.r42.gb3cd0cf1 
0 
0.00 
Denarius (DNR) is an anonymous, untraceable, energy efficient, ProofofWork, and ProofofStake cryptocurrency. 
orphan

firefoxyoutubenobuffergit 
r6.128d9ed1 
0 
0.00 
A bulletproof Firefox only extension to prevent YouTube player from buffering. 
aksr

hetsdesktop 
0.99_14840751431 
0 
0.00 
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. 
eugenk

hetsdesktopbin 
0.99_14840751431 
0 
0.00 
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. 
eugenk

hetsserver 
0.99_14840751431 
0 
0.00 
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. 
eugenk

hetsserverbin 
0.99_14840751431 
0 
0.00 
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. 
eugenk

igor 
1.5951 
0 
0.00 
proofreader for mdoc(7) and docbook files 
KingofToasters

isabelletum 
20201 
0 
0.00 
A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM. 
MW360

jape 
9.0.91 
4 
0.00 
A configurable, graphical proof assistant. 
przemub

keylogic 
2.6.21 
1 
0.00 
A dynamic logic proof tool 
jtsymon

latexfitch 
1.62 
3 
0.00 
A LaTeX package for Fitchstyle proofs 
maandree

libsnarkgit 
v20140603.r321.g3e92af11 
0 
0.00 
libsnark: a C++ library for zkSNARK proofs 
amaloz

mdproofgit 
r85.7cbd2751 
0 
0.00 
A standalone markdown to PDF converter 
zhangkaizhao

metamath 
0.1821 
1 
0.00 
A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified. 
aksr

minloggit 
195.ff5c8ef2 
1 
0.00 
Interactive proof system based on first order natural deduction calculus. 
haawda

natch 
3.11 
2 
0.00 
A software solving chess proof games 
aksr

neucoingit 
3043.527f0bd1 
0 
0.00 
A proofofstake based digital currency (git version) 
polylux

neuronzettelkastenbin 
1.0.1.02 
0 
0.00 
Futureproof commandline app for managing your plaintext Zettelkasten notes 
radmen

nodejsformalitylang 
0.4.911 
0 
0.00 
An efficient proofgramming language. It aims to be: Fast, Safe, Portable 
christofsteel

proofgeneral 
4.43 
23 
0.00 
Generic interface for proof assistants. 
orphan

proofgeneralgit 
r8647.2626ed51 
1 
0.00 
Generic interface for proof assistants 
kaptoxic

pythonlyra2re2_hash 
1.2.12 
0 
0.00 
Bindings for Lyra2RE2 proof of work used by Vertcoin 
maxweiss

pythonmerkletools 
1.0.33 
0 
0.00 
Python tools for creating and verifying Merkle trees and proofs 
redfish

pythonvtc_scrypt 
1.1.53 
0 
0.00 
Bindings for scryptn proof of work used by Vertcoin 
maxweiss

pythonx11_hash 
1.41 
0 
0.00 
Binding for X11 proof of work hashing (Py3) 
cryptodude

python2darkcoin_hash 
1.31 
0 
0.00 
Binding for Darkcoin X11 proof of work hashing. 
robertfoster

python2ltc_scrypt 
1.01 
5 
0.00 
Bindings for scrypt proof of work used by Litecoin 
robertfoster

python2lyra2re2_hash 
1.1.21 
1 
0.00 
Bindings for Lyra2RE2 proof of work used by Vertcoin 
orphan

python2pyethash 
0.1.271 
3 
0.00 
Python wrappers for ethash, the Ethereum proof of work hashing function 
orphan

python2vtc_scrypt 
1.01 
1 
0.00 
Bindings for scryptn proof of work used by Vertcoin 
orphan

python2x11_hash 
1.41 
0 
0.00 
Binding for Dash's X11 proof of work hashing. 
orphan

randomx 
1.1.71 
0 
0.00 
RandomX: The proof of work algorithm based on random code execution 
redfish

rubyhtmlproofer 
3.9.31 
1 
0.00 
Test your rendered HTML files to make sure they are accurate 
ankitrgadiya

spotio 
1.0.2_1.0.77.338.g758ebd781 
4 
0.00 
A proofofconcept Rdioinspired skin for Spotify. 
orphan

textlintruleginger 
2.2.11 
0 
0.00 
textlint rule to check your English grammar with Ginger Proofreading 
pychuang

ttfdpsansmono 
draft141 
0 
0.00 
A custom font optimized for proofreading, the spiritual successor to DPCustomMono2 
pdc

tutch 
0.531 
1 
0.00 
A tool for checking constructive proofs 
ilai

tutchgit 
r3.b199eff1 
0 
0.00 
tutch is a tool for checking constructive proofs 
rmanne

zcoingit 
v0.13.4.2.r97.g62f1a321 
3 
0.00 
The Zerocoin Cryptocurrency 
orphan

redpen 
1.10.42 
3 
0.00 
A document checker. RedPen is a proofreading tool to help writers or programmers. 
karronoli

ttfdpcustommono2 
2.013 
8 
0.00 
PGDP font with exaggerated clarity to aid proofreading 
hrauch

qtumcore 
0.20.11 
1 
0.00 
Qtum Core is a Smart Contracts blockchain platform which makes use of UTXO and Proof of Stake. 
mikehash

agdagit 
2.5.1.r8151.g4108da6951 
3 
0.00 
A dependently typed functional programming language and proof assistant: development version 
johngowers

opentimestampsclientgit 
0.3.1.r10.g10677dfe1 
1 
0.00 
Commandline tool to create and validate timestamp proofs with the OpenTimestamps protocol 
orphan

randomxgit 
r289.1f62d781 
3 
0.00 
RandomX: The proof of work algorithm based on random code execution 
hokkjoy

isabelle 
20201 
22 
0.00 
A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. 
bitwave
