10 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
erigon-bin 2.58.2-1 1 0.00 Ethereum implementation on the efficiency frontier. Binary distribution xrchz 2024-03-11 13:02 (UTC)
teku 24.3.0-1 1 0.00 ConsenSys Ethereum Beacon Chain Client xrchz 2024-03-11 16:59 (UTC)
xcursor-ghost 20040711-2 6 0.00 Subtle grey cursors with soft edges xrchz 2017-06-28 03:46 (UTC)
vim-inkpot-git r9.b86ad4d-1 3 0.00 Inkpot, a dark scheme for GUI and 88/256 colour terms xrchz 2015-11-21 12:06 (UTC)
squolem 2.02-1 1 0.00 Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates xrchz 2015-06-15 06:41 (UTC)
polyml-fixes-git 5.9r4498.39d96a2d-1 5 0.00 Poly/ML implementation of Standard ML (latest release + fixes) xrchz 2021-12-27 07:55 (UTC)
pacnews-git 1.0.r341.87fee7a-1 17 0.00 Find .pacnew files and merge them with vimdiff xrchz 2018-03-24 05:40 (UTC)
opentheory 1:1.4.20180810-1 1 0.00 a tool for processing higher-order logic theory packages xrchz 2018-09-27 12:13 (UTC)
lighthouse-ethereum-bin 5.1.0-1 4 0.00 Ethereum 2.0 client xrchz 2024-03-11 17:06 (UTC)
besu 24.3.0-1 1 0.00 Hyperledger Ethereum Mainnet and Permissioned Network Client xrchz 2024-03-09 06:59 (UTC)

10 packages found. Page 1 of 1.