|
squirrel-prover-git
|
latest-3 |
2 |
1.12
|
a proof assistant dedicated to cryptographic protocols |
BenjaminVoisin
|
2024-03-19 14:21 (UTC) |
|
python-whenever-git
|
0.4.0.r1.g645050a-1 |
1 |
0.24
|
Foolproof datetimes for maintainable Python code (built from latest commit) |
kseistrup
|
2024-03-13 14:07 (UTC) |
|
nvlax-git
|
r11.b3699ad-8 |
5 |
0.04
|
Future-proof NvENC & NvFBC patcher |
ventureo
|
2023-06-16 16:17 (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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
neuron-zettelkasten-bin
|
1.9.35.0-1 |
6 |
0.00
|
Future-proof note-taking and publishing based on Zettelkasten |
ouuan
|
2021-08-12 13:07 (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) |
|
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) |
|
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) |
|
tutch-git
|
r3.b199eff-1 |
0 |
0.00
|
tutch is a tool for checking constructive proofs |
rmanne
|
2015-09-28 12:16 (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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
python-x11_hash
|
1.4-1 |
0 |
0.00
|
Binding for X11 proof of work hashing (Py3) |
cryptodude
|
2018-05-31 09:30 (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) |
|
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) |
|
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-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) |
|
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) |
|
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) |
|
natch
|
3.3-1 |
2 |
0.00
|
A software solving chess proof games |
aksr
|
2023-02-16 17:23 (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) |
|
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) |
|
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) |
|
mdproof-git
|
r85.7cbd275-1 |
0 |
0.00
|
A standalone markdown to PDF converter |
orphan
|
2020-07-24 09:16 (UTC) |
|
latex-fitch
|
1.6-2 |
3 |
0.00
|
A LaTeX package for Fitch-style proofs |
maandree
|
2015-06-11 16:39 (UTC) |
|
key-logic
|
2.6.2-1 |
1 |
0.00
|
A dynamic logic proof tool |
orphan
|
2017-05-06 12:10 (UTC) |
|
jape
|
9.0.9-1 |
3 |
0.00
|
A configurable, graphical proof assistant. |
przemub
|
2020-09-30 23:00 (UTC) |
|
igor
|
1.595-1 |
0 |
0.00
|
proofreader for mdoc(7) and docbook files |
KingofToasters
|
2019-06-14 09:45 (UTC) |
|
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) |
|
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) |
|
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) |
|
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) |
|
eunomia-bin
|
1.0.3-1 |
0 |
0.00
|
FOL proof checker |
confestim
|
2023-10-03 11:04 (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) |
|
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) |