|
stainless-git
|
v0.9.6.r10.3ef64d07-1 |
1 |
0.00
|
Verification framework and tool for higher-order Scala programs |
sankalpgambhir
|
2022-10-18 15:34 (UTC) |
|
shellfirm-bin
|
0.2.6-1 |
0 |
0.00
|
Intercept any risky patterns (default or defined by you) and prompt you a small challenge for double verification |
redemption
|
2023-05-15 06:26 (UTC) |
|
gnome-twofactorauth-git
|
v0.1.0-1 |
2 |
0.00
|
Two-Factor Authentication code generator for Gnome |
orphan
|
2016-06-22 21:37 (UTC) |
|
fstar-git
|
20191019-1 |
6 |
0.00
|
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
2019-10-19 23:55 (UTC) |
|
fstar-bin
|
0.9.7.0-1 |
4 |
0.00
|
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
2019-10-20 00:11 (UTC) |
|
fstar
|
0.9.7.0-2 |
3 |
0.00
|
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
2019-10-20 14:49 (UTC) |
|
endpoint-verification
|
2022.11.24.c490697573_00-10 |
2 |
0.00
|
Endpoint Verification Helper for Chromium |
ilango100
|
2022-12-14 08:33 (UTC) |
|
endpoint-verification-chrome
|
2022.11.24.c490697573_00-10 |
2 |
0.00
|
Endpoint verification Helper for Google Chrome |
ilango100
|
2022-12-14 08:33 (UTC) |
|
ddpolymerase
|
0.2.0-1 |
0 |
0.00
|
Copy, repair and verify a file |
tokidev
|
2023-09-10 19:33 (UTC) |
|
chksum-git
|
0.1-1 |
0 |
0.00
|
Check and compare easily the checksum of a file. |
ChacaS0
|
2019-10-29 06:41 (UTC) |
|
chksum-bin-git
|
0.1-1 |
0 |
0.00
|
Check and compare easily the checksum of a file (binary version). |
ChacaS0
|
2020-01-13 02:37 (UTC) |