53 packages found. Page 1 of 2.

1 2 Next › Last »

Name Version Votes Popularity? Description Maintainer
arend 1.5.0-1 0 0.00 Proof assistant based on Homotopy Type Theory knisht
boogie-git 0.r5030.8448ac1c-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 joojoo
burstcoin-wallet 2.5.1-1 2 0.00 The world's first HDD-mined cryptocurrency using an energy efficient and fair Proof-of-Capacity (PoC) consensus algorithm orphan
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-tum 2020-1 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.9-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 r85.7cbd275-1 0 0.00 A standalone markdown to PDF converter zhangkaizhao
metamath 0.182-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 aksr
neucoin-git 3043.527f0bd-1 0 0.00 A proof-of-stake based digital currency (git version) polylux
neuron-zettelkasten-bin 1.0.1.0-2 0 0.00 Future-proof command-line app for managing your plain-text Zettelkasten notes radmen
nodejs-formality-lang 0.4.91-1 0 0.00 An efficient proof-gramming language. It aims to be: Fast, Safe, Portable christofsteel
proofgeneral 4.4-3 23 0.00 Generic interface for proof assistants. orphan
proofgeneral-git r8647.2626ed5-1 1 0.00 Generic interface for proof assistants kaptoxic
python-lyra2re2_hash 1.2.1-2 0 0.00 Bindings for Lyra2RE2 proof of work used by Vertcoin maxweiss
python-merkletools 1.0.3-3 0 0.00 Python tools for creating and verifying Merkle trees and proofs redfish
python-vtc_scrypt 1.1.5-3 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 orphan
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
randomx 1.1.7-1 0 0.00 RandomX: The proof of work algorithm based on random code execution redfish
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.2.1-1 0 0.00 textlint rule to check your English grammar with Ginger Proofreading pychuang
ttf-dp-sans-mono draft14-1 0 0.00 A custom font optimized for proofreading, the spiritual successor to DPCustomMono2 pdc
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 3 0.00 The Zerocoin Cryptocurrency orphan
redpen 1.10.4-2 3 0.00 A document checker. RedPen is a proofreading tool to help writers or programmers. karronoli
ttf-dpcustommono2 2.01-3 8 0.00 PGDP font with exaggerated clarity to aid proofreading hrauch
qtum-core 0.20.1-1 1 0.00 Qtum Core is a Smart Contracts blockchain platform which makes use of UTXO and Proof of Stake. mikehash
agda-git 2.5.1.r8151.g4108da695-1 3 0.00 A dependently typed functional programming language and proof assistant: development version johngowers
opentimestamps-client-git 0.3.1.r10.g10677dfe-1 1 0.00 Command-line tool to create and validate timestamp proofs with the OpenTimestamps protocol orphan
randomx-git r289.1f62d78-1 3 0.00 RandomX: The proof of work algorithm based on random code execution hokkjoy
isabelle 2020-1 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

53 packages found. Page 1 of 2.

1 2 Next › Last »