|
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
|
2020-06-01 16:50 (UTC) |
|
key-logic
|
2.6.2-1 |
1 |
0.00
|
A dynamic logic proof tool |
orphan
|
2017-05-06 12:10 (UTC) |
|
mdproof-git
|
r85.7cbd275-1 |
0 |
0.00
|
A standalone markdown to PDF converter |
orphan
|
2020-07-24 09:16 (UTC) |
|
minlog-git
|
r610.4a9a1e4-2 |
1 |
0.00
|
Interactive proof system based on first order natural deduction calculus. |
orphan
|
2021-03-06 11:50 (UTC) |
|
neuron-zettelkasten-bin
|
1.9.35.0-1 |
6 |
0.00
|
Future-proof note-taking and publishing based on Zettelkasten |
orphan
|
2024-04-20 06:25 (UTC) |
|
firefox-youtube-no-buffer-git
|
r6.128d9ed-1 |
0 |
0.00
|
A bulletproof Firefox only extension to prevent YouTube player from buffering. |
aksr
|
2017-01-24 12:16 (UTC) |
|
metamath
|
0.198-1 |
1 |
0.00
|
A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified. |
aksr
|
2022-12-23 22:21 (UTC) |
|
natch
|
3.3-1 |
2 |
0.00
|
A software solving chess proof games |
aksr
|
2023-02-16 17:23 (UTC) |
|
fontproof
|
2.1.0-1 |
1 |
0.00
|
A font design testing class and CLI tool for SILE |
alerque
|
2024-03-27 23:43 (UTC) |
|
mkdocs-htmlproofer-plugin
|
1.2.1-1 |
0 |
0.00
|
MkDocs plugin to validates URL in rendered html files |
AlphaJack
|
2024-04-15 19:06 (UTC) |
|
squirrel-prover-git
|
latest-3 |
2 |
0.84
|
a proof assistant dedicated to cryptographic protocols |
BenjaminVoisin
|
2024-03-19 14:21 (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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
eunomia-bin
|
1.0.3-1 |
0 |
0.00
|
FOL proof checker |
confestim
|
2023-10-03 11:04 (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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
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-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-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) |
|
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) |
|
proofgeneral
|
4.5-4 |
23 |
0.00
|
Generic interface for proof assistants. |
gilcu3
|
2022-09-26 07:42 (UTC) |
|
proofgeneral-git
|
4.5.r9313.c304d73e-1 |
1 |
0.00
|
Generic interface for proof assistants |
gilcu3
|
2022-09-26 07:45 (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) |
|
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) |
|
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) |
|
ttf-dpcustommono2
|
2.01-3 |
8 |
0.00
|
PGDP font with exaggerated clarity to aid proofreading |
hrauch
|
2020-07-03 11:47 (UTC) |
|
tutch
|
0.53-1 |
1 |
0.00
|
A tool for checking constructive proofs |
ilai
|
2017-09-12 18:06 (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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
igor
|
1.595-1 |
0 |
0.00
|
proofreader for mdoc(7) and docbook files |
KingofToasters
|
2019-06-14 09:45 (UTC) |
|
arend
|
1.5.0-1 |
0 |
0.00
|
Proof assistant based on Homotopy Type Theory |
knisht
|
2020-10-10 11:27 (UTC) |
|
python-whenever-git
|
0.5.1.r20.g6c2a928-2 |
1 |
0.16
|
Foolproof datetimes for maintainable Python code (built from latest commit) |
kseistrup
|
2024-04-28 08:47 (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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
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) |