|
|
C++ |
32 |
Static Analyzer and Verifier |
Aug 05, 2022 |
|
|
JavaScript |
2 |
A Blockcerts verifier and viewer |
Mar 23, 2021 |
|
|
C# |
36 |
TSQL Linter and database verifier |
Apr 16, 2022 |
|
|
TypeScript |
52 |
A Blockcerts verifier and viewer |
Jun 20, 2022 |
|
|
Go |
14 |
RSA Verifier |
Sep 05, 2022 |
|
|
Rust |
2 |
evm-verifier |
Apr 22, 2023 |
|
|
C |
2 |
SHA256 Verifier |
Oct 21, 2022 |
|
|
Go |
81 |
Code review bot and CLA verifier |
Jul 09, 2022 |
|
|
OCaml |
10 |
SPF verifier and signer in OCaml |
Jan 19, 2023 |
|
|
JavaScript |
36 |
Very small Ethereum signer and verifier |
Apr 15, 2022 |
|
|
C |
2 |
a quick and dirty pesign verifier |
Jul 18, 2023 |
|
|
Go |
5 |
YOLO-level verifier |
May 16, 2022 |
|
|
Java |
5 |
Apache Maven Verifier |
Jul 01, 2022 |
|
|
Java |
7 |
Paddle Webhook verifier |
Dec 11, 2019 |
|
|
Python |
10 |
Molecule Goss Verifier |
Feb 15, 2022 |
|
|
Solidity |
2 |
SealCred verifier contract |
Dec 15, 2022 |
|
|
Java |
2 |
Activity Property Verifier |
Jun 13, 2022 |
|
|
Rust |
749 |
Kani Rust Verifier |
Oct 17, 2022 |
|
|
Elixir |
2 |
Ethereum Transaction Verifier |
May 19, 2021 |
|
|
Python |
2 |
Face Detection Verifier |
Dec 16, 2019 |
|
|
JavaScript |
2 |
Java / JSP Verifier |
Jan 02, 2013 |
|
|
Shell |
2 |
Release Candidate Verifier |
Feb 09, 2022 |
|
|
Java |
2 |
Syndesis Verifier Service |
Jan 28, 2023 |
|
|
Python |
892 |
Simple PBXProj Verifier |
May 25, 2023 |
|
|
None |
2 |
Protocol Verifier Codes |
Feb 18, 2022 |
|
|
None |
2 |
Documents and Progress for eBPF Verifier Project |
Mar 02, 2022 |
|
|
Haskell |
2 |
Anatomy and Physiology 12 Nucleotide Sequence Verifier |
Mar 28, 2022 |
|
|
HTML |
2 |
Pin generator and pin verifier using JavaScript. |
Dec 22, 2021 |
|
|
Python |
2 |
A cookie checker, generator, verifier, and multitool |
Apr 04, 2023 |
|
|
Dart |
4 |
Taiwan DCC Verifier Core |
Mar 07, 2022 |
|
|
JavaScript |
5 |
okta-jwt-verifier-js |
May 11, 2022 |
|
|
Java |
5 |
Jenkins Label Verifier plugin |
Aug 14, 2021 |
|
|
Java |
7 |
Apache Maven Verifier Plugin |
Jun 28, 2022 |
|
|
Rust |
7 |
Designatived verifier Schnorr signatures |
Aug 14, 2022 |
|
|
Java |
9 |
Maven Licenses Verifier Plugin |
Jan 25, 2021 |
|
|
Swift |
11 |
Firebase ID tokens verifier. |
Dec 08, 2020 |
|
|
Python |
12 |
okta-jwt-verifier-python |
Feb 01, 2022 |
|
|
Python |
13 |
Molecule Inspec Verifier Plugin |
May 22, 2022 |
|
|
Circom |
5 |
SealHub ECDSA verifier contract |
Apr 04, 2023 |
|
|
Julia |
2 |
MITRE Election Guard Verifier |
Jun 16, 2022 |
|
|
Lean |
15 |
Lean 4 Metamath verifier |
Jan 28, 2022 |
|
|
JavaScript |
18 |
[Optimism] Layer 2 Verifier |
Jun 11, 2021 |
|
|
Solidity |
21 |
Solidity verifier for Plonk |
Jul 12, 2022 |
|
|
Go |
23 |
Hosted robots.txt permissions verifier |
Jul 12, 2019 |
|
|
Groovy |
68 |
okta-jwt-verifier-java |
Aug 05, 2022 |
|
|
Go |
75 |
okta-jwt-verifier-golang |
Jul 21, 2022 |
|
|
Go |
23 |
zkSNARK Groth16 prover & verifier |
Apr 23, 2023 |
|
|
C |
23 |
SymDiff-Differential-Program-Verifier |
Sep 29, 2022 |
|
|
OCaml |
13 |
The Michelson Symbolic vErifier |
Sep 13, 2022 |
|
|
C |
4 |
Verifier of Tree Ensembles |
Dec 07, 2022 |