60 packages found. Page 2 of 2.

« First ‹ Previous 1 2

Name Version Votes Popularity? Description Maintainer Last Updated
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)
squirrel-prover-git latest-3 2 0.48 a proof assistant dedicated to cryptographic protocols BenjaminVoisin 2024-03-19 14:21 (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)
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)
prooftools-gtk-bin 0.6.2-1 0 0.00 A symbolic logic proof tree generator winslow 2024-04-20 22:54 (UTC)
python-whenever-git 0.5.1.r20.g6c2a928-2 1 0.09 Foolproof datetimes for maintainable Python code (built from latest commit) kseistrup 2024-04-28 08:47 (UTC)
hexhoot-bin 1.0.4-1 0 0.00 An Opensource Peer-to-peer communication platform with Zero-Knowledge-Proof based authentication. zxp19821005 2024-05-06 07:54 (UTC)
prysm 5.0.3-2 4 0.01 Prysm is an Ethereum proof-of-stake client written in Go. chengxuncc 2024-05-19 06:48 (UTC)

60 packages found. Page 2 of 2.

« First ‹ Previous 1 2