60 packages found. Page 2 of 2.

« First ‹ Previous 1 2

Name Version Votes Popularity? Description Maintainer Last Updated
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)
jape 9.0.9-1 3 0.00 A configurable, graphical proof assistant. przemub 2020-09-30 23:00 (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)
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)
prysm 5.0.3-2 4 0.00 Prysm is an Ethereum proof-of-stake client written in Go. chengxuncc 2024-05-19 06:48 (UTC)
nvlax-git r11.b3699ad-8 5 0.02 Future-proof NvENC & NvFBC patcher ventureo 2023-06-16 16:17 (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)
ttf-dpcustommono2 2.01-3 8 0.00 PGDP font with exaggerated clarity to aid proofreading hrauch 2020-07-03 11:47 (UTC)
proofgeneral 4.5-4 23 0.00 Generic interface for proof assistants. gilcu3 2022-09-26 07:42 (UTC)
isabelle 2023-1 26 0.59 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)

60 packages found. Page 2 of 2.

« First ‹ Previous 1 2