|
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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
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) |
|
arend
|
1.5.0-1 |
0 |
0.00
|
Proof assistant based on Homotopy Type Theory |
knisht
|
2020-10-10 11:27 (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) |
|
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) |
|
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) |