|
squolem
|
2.02-1 |
1 |
0.00
|
Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates |
xrchz
|
2015-06-15 06:41 (UTC) |
|
compcert
|
3.14-1 |
2 |
0.00
|
The formally verified C compiler |
xuanruiqi
|
2024-06-10 14:05 (UTC) |
|
compcert-git
|
3.7.r35.gbb9fa555-4 |
1 |
0.00
|
The formally verified C compiler |
xuanruiqi
|
2020-07-01 19:18 (UTC) |
|
python3-scinum
|
2021-15 |
1 |
0.00
|
A collection of scientific number classes for arbitrary precision, standard and custom units, and uncertainty for measured values. |
Xyne
|
2024-05-17 23:44 (UTC) |
|
ecapture
|
0.7.6-1 |
0 |
0.00
|
capture SSL/TLS text content without CA cert using eBPF |
Y7n05h
|
2024-03-30 20:53 (UTC) |
|
grasscutter-git
|
1.4.6.8d09b88-2 |
1 |
0.00
|
A server software reimplementation for a certain anime game. |
yukari
|
2023-03-13 09:19 (UTC) |
|
grasscutter-resources-git
|
1.4.6.8d09b88-2 |
1 |
0.00
|
A server software reimplementation for a certain anime game. |
yukari
|
2023-03-13 09:19 (UTC) |
|
khealthcertificate-git
|
r16.4b2cf8a-1 |
0 |
0.00
|
Handling of digital vaccination, test and recovery certificates |
z3ntu
|
2021-06-23 12:13 (UTC) |
|
certbot-dns-alwaysdata
|
0.27.1-1 |
0 |
0.00
|
Alwaysdata DNS Authenticator plugin for Certbot |
zopieux
|
2018-11-07 23:01 (UTC) |
|
certbox-bin
|
1.8.1-1 |
0 |
0.00
|
A X.509 certificate toolbox on your desktop or in your browser. It allows you to easily generate entire certificate chains, issue certificates from existing roots, clone certificates, and more. |
zxp19821005
|
2024-04-24 04:08 (UTC) |
|
certmanager-bin
|
1.0.0-4 |
1 |
0.00
|
A simple and efficient local certificate management tool that provides functions such as certificate installation, certificate management, and certificate verification.一款简单高效的本地证书管理工具,提供证书安装、证书管理、证书验证等功能，支持国密证书. |
zxp19821005
|
2024-02-28 02:43 (UTC) |