gowin-eda-ide
|
1.9.9.02-1 |
2 |
0.87
|
Gowin EDA IDE - Gowin EDA, an easy to use integrated design environment provides design engineers one-stop solution from design entry to verification. |
yjun
|
2024-04-13 13:50 (UTC) |
gowin-eda-programmer
|
1.9.9.02-1 |
2 |
0.87
|
Gowin EDA Programmer - Gowin EDA, an easy to use integrated design environment provides design engineers one-stop solution from design entry to verification. |
yjun
|
2024-04-13 13:50 (UTC) |
llogin
|
0.1.2.r0.g27d6567-1 |
1 |
0.87
|
LPU WiFi Manager: A Rust-based CLI tool for managing Lovely Professional University's WiFi connections. Features include account login, stored account listing, and connection verification. |
smazmi
|
2024-04-23 05:36 (UTC) |
libdigidocpp
|
3.17.1.1453-1 |
18 |
0.37
|
Library for creating, signing and verification of digitally signed documents, according to XAdES and XML-DSIG standards |
kevku
|
2024-04-19 06:56 (UTC) |
par2cmdline-turbo-git
|
20230317.eaea6f4-1 |
1 |
0.09
|
A faster PAR 2.0 compatible file verification and repair tool, forked from par2cmdline |
fryfrog
|
2023-03-22 16:19 (UTC) |
par2cmdline-turbo
|
1.1.1-1 |
3 |
0.07
|
A faster PAR 2.0 compatible file verification and repair tool, forked from par2cmdline |
fryfrog
|
2023-11-27 00:16 (UTC) |
cfv-git
|
r664.dee5be3-1 |
2 |
0.02
|
A utility to test and create a wide range of checksum verification files. |
emilio-r
|
2022-11-01 12:14 (UTC) |
mounriver-studio-toolchain-openocd-bin
|
1.91-0 |
4 |
0.01
|
MRS Toolchain OpenOCD supports erasure, programming, verification and debugging of the chip. |
taotieren
|
2024-04-21 09:17 (UTC) |
git-evtag
|
2022.1-1 |
1 |
0.00
|
Extended verification for Git tags |
aperez
|
2023-07-26 23:12 (UTC) |
i3lock-powerbtn-fingerprint-git
|
2.14.1-1 |
1 |
0.00
|
Improved screenlocker based upon XCB and PAM, with added power button fingerprint verification support |
YiPrograms
|
2023-04-13 07:20 (UTC) |
cpachecker-svn
|
r33105-1 |
1 |
0.00
|
Tool for configurable software verification. |
daniel7
|
2020-04-03 00:15 (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) |
gowin-eda-edu-ide
|
1.9.9Beta_4-1 |
2 |
0.00
|
Gowin EDA IDE - Gowin EDA, an easy to use integrated design environment provides design engineers one-stop solution from design entry to verification. (education version) |
yjun
|
2023-09-23 07:12 (UTC) |
gowin-eda-edu-programmer
|
1.9.9Beta_4-1 |
2 |
0.00
|
Gowin EDA Programmer - Gowin EDA, an easy to use integrated design environment provides design engineers one-stop solution from design entry to verification. (education version) |
yjun
|
2023-09-23 07:12 (UTC) |
stainless-git
|
v0.9.8.1.r5.1890d8ca-1 |
1 |
0.00
|
Verification framework and tool for higher-order Scala programs |
sankalpgambhir
|
2023-10-24 12:26 (UTC) |
key-project
|
2.12.0-1 |
1 |
0.00
|
A program to use formal verification with Java programs |
Mikescher
|
2023-09-15 12:27 (UTC) |
python2-service-identity
|
21.1.0-1 |
1 |
0.00
|
Service identity verification for pyOpenSSL |
LaughingMan
|
2021-06-27 13:40 (UTC) |
verifytapn-git
|
a12a596-1 |
0 |
0.00
|
VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL. |
orphan
|
2023-10-26 10:02 (UTC) |
verifast-bin
|
19.12-2 |
0 |
0.00
|
research prototype of a tool for formal verification of C and Java programs |
sandervb
|
2023-11-06 09:26 (UTC) |
vera++
|
1.3.0-2 |
4 |
0.00
|
A programmable tool for verification, analysis and transformation of C++ source code |
markand
|
2017-05-30 18:09 (UTC) |
uvm-systemc
|
1.0_beta5-1 |
0 |
0.00
|
Universal Verification Methodology (UVM) in SystemC |
aquarius
|
2024-03-04 18:19 (UTC) |
uvm-python-git
|
r1174.26acd2b-1 |
0 |
0.00
|
Port of SystemVerilog Universal Verification Methodology (UVM) 1.2 to Python and cocotb |
mox
|
2021-03-06 11:44 (UTC) |
tkey-verification-bin
|
0.0.2-2 |
0 |
0.00
|
Vendor signing and user verification of Tillitis TKey genuineness |
cembro
|
2023-04-19 14:04 (UTC) |
symbiyosys-nightly
|
1:5d19e46_20211125-1 |
0 |
0.00
|
Front-end for Yosys-based formal verification flows |
lethalbit
|
2021-11-25 00:00 (UTC) |
symbiyosys-git
|
r284.ac9001b-1 |
3 |
0.00
|
A front-end driver program for Yosys-based formal hardware verification flows |
benallard
|
2021-12-29 17:46 (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) |
shellfirm
|
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 |
gmy
|
2023-06-17 16:30 (UTC) |
sget-git
|
r266.g99e7b91-1 |
0 |
0.00
|
Program for automatic verification of signatures and integration with Sigstore's binary transparency log |
Chocobo1
|
2023-04-10 15:04 (UTC) |
scv
|
2.0.1-1 |
0 |
0.00
|
SystemC verification library |
schulz
|
2017-12-17 22:00 (UTC) |
sby-nightly
|
1:20240508_yosys_0.40_4_g7dd287f-1 |
0 |
0.00
|
Front-end for Yosys-based formal verification flows |
lethalbit
|
2024-05-08 00:00 (UTC) |
ruby-bundler-audit
|
0.9.1-1 |
0 |
0.00
|
Patch-level verification for Bundler |
lostkhaos
|
2024-03-12 12:57 (UTC) |
roundcubemail-plugin-twofactor-git
|
r210.19552fc-1 |
2 |
0.00
|
Adds two-step verification (TOTP) to the Roundcube login process |
morgenstern
|
2023-06-20 09:54 (UTC) |
roundcubemail-plugin-authres_status
|
0.6.2-3 |
1 |
0.00
|
Roundcube plugin for checking the Authentication-Results headers that were added by your MTA and displays an icon to show the verification status. |
smirky
|
2020-12-30 11:37 (UTC) |
rescepy-git
|
47-1 |
3 |
0.00
|
automated srr (rescene) verification and reconstruction. |
dryes
|
2015-11-28 20:23 (UTC) |
r-verification
|
1.42-3 |
0 |
0.00
|
Weather Forecast Verification Utilities |
BioArchLinuxBot
|
2022-06-06 18:39 (UTC) |
questasim
|
2022.4-1 |
0 |
0.00
|
The Questa advanced simulator is the core simulation and debug engine of the Questa verification solution. |
m42uko
|
2023-08-25 09:32 (UTC) |
python-pyuvm
|
2.9.1-1 |
0 |
0.00
|
pyuvm is the Universal Verification Methodology implemented in Python instead of SystemVerilog. pyuvm uses cocotb to interact with the simulator and schedule simulation events. |
m42uko
|
2023-10-13 11:59 (UTC) |
python-cbmc-starter-kit
|
2.10-1 |
0 |
0.00
|
CBMC starter kit makes it easy to add CBMC verification to a software project |
bitwave
|
2024-01-31 21:21 (UTC) |
pvs
|
7.1.0-5 |
0 |
0.00
|
Mechanized environment for formal specification and verification |
kalex
|
2023-03-07 14:50 (UTC) |
phive
|
0.15.2-2 |
1 |
0.00
|
The Phar Installation and Verification Environment (PHIVE) |
KingCrunch
|
2022-08-22 18:29 (UTC) |
perl-crypt-smime
|
0.30-1 |
0 |
0.00
|
S/MIME message signing, verification, encryption and decryption |
jimmyxu
|
2024-04-11 16:26 (UTC) |
perl-crypt-openssl-verify
|
0.36-1 |
0 |
0.00
|
OpenSSL Verify certificate verification in XS. |
jimmyxu
|
2023-07-03 19:06 (UTC) |
par2cmdline-git
|
20230531.277cda9-1 |
5 |
0.00
|
A file verification and repair tool |
BlackIkeEagle
|
2023-05-31 19:08 (UTC) |
opensmtpd-filter-sake
|
1.0.0-2 |
0 |
0.00
|
OpenSMTPD filter for sub-address verification |
rodolphe
|
2023-08-25 14:38 (UTC) |
openjml-bin
|
0.8.44-2 |
0 |
0.00
|
Java Software Verification Tool |
orphan
|
2020-05-02 08:16 (UTC) |
ocaml-fstar
|
0.9.6.0-4 |
1 |
0.00
|
An ML-like language with a type system for program verification. |
crave
|
2018-10-13 09:10 (UTC) |
ltsa
|
3.0-8 |
5 |
0.00
|
Labelled Transition System Analyser, a verification tool for concurrent systems |
gamezelda
|
2023-11-22 23:19 (UTC) |
libmacaroons
|
0.3.0-2 |
1 |
0.00
|
Libmacaroons provides flexible authorization credentials that support decentralized delegation, attenuation, and verification, and is used by HyperDex. |
MobiusHorizons
|
2015-11-25 00:17 (UTC) |
kpar2
|
0.4.5-10 |
10 |
0.00
|
PAR2 verification and repair program for KDE4 |
sl1pkn07
|
2023-10-08 23:29 (UTC) |
key-nightly
|
2.7.1537-1 |
0 |
0.00
|
Java Software Verification Tool |
csicar
|
2019-01-17 15:45 (UTC) |