|
hexhoot-bin
|
1.0.3-9 |
0 |
0.00
|
An Opensource Peer-to-peer communication platform with Zero-Knowledge-Proof based authentication. |
zxp19821005
|
2024-03-21 07:05 (UTC) |
|
prooftools-gtk-bin
|
0.6.2-1 |
0 |
0.00
|
A symbolic logic proof tree generator |
winslow
|
2024-04-20 22:54 (UTC) |
|
python-vertcoinhash-git
|
1.0.1-2 |
0 |
0.00
|
Python bindings for proof of work used by Vertcoin |
vertion
|
2022-04-19 04:57 (UTC) |
|
nvlax-git
|
r11.b3699ad-8 |
5 |
0.04
|
Future-proof NvENC & NvFBC patcher |
ventureo
|
2023-06-16 16:17 (UTC) |
|
tutch-git
|
r3.b199eff-1 |
0 |
0.00
|
tutch is a tool for checking constructive proofs |
rmanne
|
2015-09-28 12:16 (UTC) |
|
randomx
|
1.1.10-2 |
0 |
0.00
|
RandomX: The proof of work algorithm based on random code execution |
redfish
|
2023-09-04 03:00 (UTC) |
|
python-merkletools
|
1.0.3-3 |
2 |
0.00
|
Python tools for creating and verifying Merkle trees and proofs |
redfish
|
2019-07-14 02:25 (UTC) |
|
textlint-rule-ginger
|
2.2.1-2 |
0 |
0.00
|
textlint rule to check your English grammar with Ginger Proofreading |
pychuang
|
2021-06-24 16:35 (UTC) |
|
jape
|
9.0.9-1 |
3 |
0.00
|
A configurable, graphical proof assistant. |
przemub
|
2020-09-30 23:00 (UTC) |
|
ttf-dp-sans-mono
|
draft14-1 |
0 |
0.00
|
A custom font optimized for proofreading, the spiritual successor to DPCustomMono2 |
pdc
|
2020-07-07 14:04 (UTC) |
|
python-opentimestamps-git
|
0.4.5.r0.ga90094e-2 |
0 |
0.00
|
Python3 library for creating and verifying OpenTimestamps proofs |
nobodyinperson
|
2023-11-27 12:52 (UTC) |
|
opentimestamps-client-git
|
0.7.1.r2.g7be45f0-1 |
2 |
0.00
|
Command-line tool to create and validate timestamp proofs with the OpenTimestamps protocol |
nobodyinperson
|
2023-08-01 14:18 (UTC) |
|
isabelle-tum
|
2021_1-1 |
1 |
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
|
2021-12-13 23:15 (UTC) |
|
qtum-core-aarch64
|
0.18.3-1 |
1 |
0.00
|
Qtum Core is a Smart Contracts blockchain platform which makes use of UTXO and Proof of Stake. |
mikehash
|
2020-01-24 20:36 (UTC) |
|
qtum-core
|
0.20.3-1 |
1 |
0.00
|
Qtum Core is a Smart Contracts blockchain platform which makes use of UTXO and Proof of Stake. |
mikehash
|
2021-07-04 06:56 (UTC) |
|
latex-fitch
|
1.6-2 |
3 |
0.00
|
A LaTeX package for Fitch-style proofs |
maandree
|
2015-06-11 16:39 (UTC) |
|
agda-bin-git
|
2.6.2.98d4eb0-1 |
0 |
0.00
|
A dependently typed functional programming language and proof assistant: development version |
LightQuantum
|
2021-05-13 08:41 (UTC) |
|
bluewalker-git
|
r221.713a3fd-1 |
0 |
0.00
|
Bluewalker is a proof-of-concept Bluetooth LE scanner and advertiser which uses HCI user channel raw HCI sockets. |
liganic
|
2023-09-09 12:55 (UTC) |
|
wake-mobile-git
|
1.7-1 |
0 |
0.00
|
Proof-of-concept alarm app that uses systemd timers to wake up the system |
lajonss
|
2021-07-21 18:03 (UTC) |
|
python-whenever-git
|
0.4.0.r1.g645050a-1 |
1 |
0.21
|
Foolproof datetimes for maintainable Python code (built from latest commit) |
kseistrup
|
2024-03-13 14:07 (UTC) |
|
arend
|
1.5.0-1 |
0 |
0.00
|
Proof assistant based on Homotopy Type Theory |
knisht
|
2020-10-10 11:27 (UTC) |
|
igor
|
1.595-1 |
0 |
0.00
|
proofreader for mdoc(7) and docbook files |
KingofToasters
|
2019-06-14 09:45 (UTC) |
|
aleo-studio-bin
|
0.11.0-2 |
0 |
0.00
|
The World's First IDE for Zero-Knowledge Proofs. |
kellpossible
|
2020-12-13 16:37 (UTC) |
|
redpen
|
1.10.4-2 |
3 |
0.00
|
A document checker. RedPen is a proofreading tool to help writers or programmers. |
karronoli
|
2020-06-13 16:03 (UTC) |
|
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
|
2020-04-26 07:41 (UTC) |
|
agda-git
|
2.5.1.r8151.g4108da695-1 |
3 |
0.00
|
A dependently typed functional programming language and proof assistant: development version |
johngowers
|
2020-11-12 20:31 (UTC) |
|
gatsby-desktop
|
0.0.4-1 |
1 |
0.00
|
Official proof-of-concept desktop app for managing your Gatsby sites. |
jamezrin
|
2020-10-26 22:25 (UTC) |
|
tutch
|
0.53-1 |
1 |
0.00
|
A tool for checking constructive proofs |
ilai
|
2017-09-12 18:06 (UTC) |
|
ttf-dpcustommono2
|
2.01-3 |
8 |
0.00
|
PGDP font with exaggerated clarity to aid proofreading |
hrauch
|
2020-07-03 11:47 (UTC) |
|
randomx-git
|
r289.1f62d78-1 |
3 |
0.00
|
RandomX: The proof of work algorithm based on random code execution |
hokkjoy
|
2020-10-22 19:27 (UTC) |
|
cyp-lukasstevens-git
|
r294.3129d6f-1 |
1 |
0.00
|
(Check Your Proof) Checker for "morally correct" induction proofs about Haskell programs |
halbGefressen
|
2020-12-13 12:28 (UTC) |
|
python-groestlcoin_hash
|
1.0.3-1 |
1 |
0.00
|
Python bindings for groestl proof of work used by Groestlcoin |
groestlcoin
|
2022-06-07 09:49 (UTC) |
|
proofgeneral-git
|
4.5.r9313.c304d73e-1 |
1 |
0.00
|
Generic interface for proof assistants |
gilcu3
|
2022-09-26 07:45 (UTC) |
|
proofgeneral
|
4.5-4 |
23 |
0.00
|
Generic interface for proof assistants. |
gilcu3
|
2022-09-26 07:42 (UTC) |
|
prosemd-lsp
|
0.1.0-2 |
0 |
0.00
|
An experimental proofreading and linting language server for markdown files. |
Farzat
|
2024-01-23 02:42 (UTC) |
|
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
|
2017-02-26 11:09 (UTC) |
|
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
|
2017-02-26 11:08 (UTC) |
|
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
|
2017-02-26 11:08 (UTC) |
|
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
|
2017-02-26 11:07 (UTC) |
|
ethash-lib-git
|
0.9.0.r3.g902f37e-1 |
0 |
0.00
|
C/C++ implementation of Ethash – the Ethereum Proof of Work algorithm. - Git |
EndlessEden
|
2022-07-08 18:04 (UTC) |
|
ethash-lib
|
0.9.0-1 |
1 |
0.00
|
C/C++ implementation of Ethash – the Ethereum Proof of Work algorithm. |
EndlessEden
|
2022-07-08 17:59 (UTC) |
|
vault-exfiltrate-git
|
r19.28c722d-2 |
0 |
0.00
|
Proof-of-concept for recovering the master key from a Hashicorp Vault coredump |
cyrinux
|
2022-11-18 08:10 (UTC) |
|
python-x11_hash
|
1.4-1 |
0 |
0.00
|
Binding for X11 proof of work hashing (Py3) |
cryptodude
|
2018-05-31 09:30 (UTC) |
|
eunomia-bin
|
1.0.3-1 |
0 |
0.00
|
FOL proof checker |
confestim
|
2023-10-03 11:04 (UTC) |
|
nodejs-formality-lang
|
0.4.91-1 |
0 |
0.00
|
An efficient proof-gramming language. It aims to be: Fast, Safe, Portable |
christofsteel
|
2020-07-11 11:13 (UTC) |
|
prysm
|
5.0.1-2 |
4 |
0.01
|
Prysm is an Ethereum proof-of-stake client written in Go. |
chengxuncc
|
2024-03-14 03:58 (UTC) |
|
denariusqt-git
|
v3.3.9.13.r11.g5e28bd4-1 |
0 |
0.00
|
Denarius (D) is an anonymous, untraceable, energy efficient, Proof-of-Work, and Proof-of-Stake cryptocurrency. |
buzzkillb
|
2021-07-25 04:33 (UTC) |
|
denarius-git
|
v3.3.9.13.r9.g7164b78-1 |
0 |
0.00
|
Denarius (D) is an anonymous, untraceable, energy efficient, Proof-of-Work, and Proof-of-Stake cryptocurrency. |
buzzkillb
|
2021-07-23 20:01 (UTC) |
|
isabelle
|
2023-1 |
25 |
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
|
2023-09-18 11:16 (UTC) |
|
circom-git
|
v2.1.2.r0.g2fbf965-1 |
0 |
0.00
|
A compiler for cryptographic circuits used for zkSNARK and PLONK proofs |
bigsmoke
|
2022-11-12 22:33 (UTC) |