44 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
agda-git 2.5.1.r5471.51914041f-2 1 0.02 A dependently typed functional programming language and proof assistant: development version johngowers
boogie-git 0.r4273.bad6c01-1 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 fhahn
burstcoin-wallet 2.3.0-1 2 0.00 The world's first HDD-mined cryptocurrency using an energy efficient and fair Proof-of-Capacity (PoC) consensus algorithm. lybin
dename r166.efbb1c2-1 2 0.00 NameCoin-style names using consensus instead of proof of work jhass
denarius-git 1.0.0.0.r42.gb3cd0cf-1 0 0.00 Denarius (DNR) is an anonymous, untraceable, energy efficient, Proof-of-Work, and Proof-of-Stake cryptocurrency. orphan
firefox-youtube-no-buffer-git r6.128d9ed-1 0 0.00 A bulletproof Firefox only extension to prevent YouTube player from buffering. aksr
hets-desktop 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-desktop-bin 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-server 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-server-bin 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
igor 1.595-1 0 0.00 proofreader for mdoc(7) and docbook files KingofToasters
isabelle 2018-1 21 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. badcasa
jape 7_d14-1 4 0.00 A configurable, graphical proof assistant. przemub
key-logic 2.6.2-1 1 0.00 A dynamic logic proof tool jtsymon
latex-fitch 1.6-2 3 0.00 A LaTeX package for Fitch-style proofs maandree
libsnark-git v20140603.r321.g3e92af1-1 0 0.00 libsnark: a C++ library for zkSNARK proofs amaloz
mdproof-git r37.c87db7a-1 0 0.00 A standalone markdown to PDF converter zhangkaizhao
metamath 0.138-1 1 0.00 A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified. aksr
minlog-git 195.ff5c8ef-2 1 0.00 Interactive proof system based on first order natural deduction calculus. haawda
natch 3.1-1 2 0.00 A software solving chess proof games ozgursarier
neucoin-git 3043.527f0bd-1 0 0.00 A proof-of-stake based digital currency (git version) polylux
openoffice-extension-languagetool 4.1-1 3 0.00 An Open Source proof­reading soft­ware for English, French, German, Polish, and more than 20 other languages (Apache OpenOffice extension) MarcinWieczorek
opentimestamps-client-git 0.3.1.r10.g10677dfe-1 0 0.00 Command-line tool to create and validate timestamp proofs with the OpenTimestamps protocol orphan
proofgeneral 4.4-3 23 0.00 Generic interface for proof assistants. wilbowma
proofgeneral-git r8647.2626ed5-1 1 0.00 Generic interface for proof assistants kaptoxic
python-lyra2re2_hash 1.2.1-1 0 0.00 Bindings for Lyra2RE2 proof of work used by Vertcoin maxweiss
python-merkletools 1.0.3-2 0 0.00 Python tools for creating and verifying Merkle trees and proofs redfish
python-vtc_scrypt 1.1.5-1 0 0.00 Bindings for scrypt-n proof of work used by Vertcoin maxweiss
python-x11_hash 1.4-1 0 0.00 Binding for X11 proof of work hashing (Py3) cryptodude
python2-darkcoin_hash 1.3-1 0 0.00 Binding for Darkcoin X11 proof of work hashing. robertfoster
python2-ltc_scrypt 1.0-1 5 0.00 Bindings for scrypt proof of work used by Litecoin robertfoster
python2-lyra2re2_hash 1.1.2-1 1 0.00 Bindings for Lyra2RE2 proof of work used by Vertcoin orphan
python2-pyethash 0.1.27-1 3 0.00 Python wrappers for ethash, the Ethereum proof of work hashing function gin078
python2-vtc_scrypt 1.0-1 1 0.00 Bindings for scrypt-n proof of work used by Vertcoin orphan
python2-x11_hash 1.4-1 0 0.00 Binding for Dash's X11 proof of work hashing. orphan
qtum-core 0.17.3-1 1 0.83 Qtum Core is a Smart Contracts blockchain platform which makes use of UTXO and Proof of Stake. mikehash
redpen 1.10.1-1 4 0.11 A document checker. RedPen is a proofreading tool to help writers or programmers. karronoli
ruby-html-proofer 3.9.3-1 1 0.00 Test your rendered HTML files to make sure they are accurate ankitrgadiya
spotio 1.0.2_1.0.77.338.g758ebd78-1 4 0.00 A proof-of-concept Rdio-inspired skin for Spotify. orphan
textlint-rule-ginger 2.1.2-1 0 0.00 textlint rule to check your English grammar with Ginger Proofreading nemaniarjun
ttf-dpcustommono2 2.01-2 8 0.22 PGDP font with exaggerated clarity to aid proofreading hrauch
tutch 0.53-1 1 0.00 A tool for checking constructive proofs ilai
tutch-git r3.b199eff-1 0 0.00 tutch is a tool for checking constructive proofs rmanne
zcoin-git v0.13.4.2.r97.g62f1a32-1 4 0.01 The Zerocoin Cryptocurrency TimurKiyivinski

44 packages found. Page 1 of 1.