|
TypeScript |
10 |
pbxproj object model |
Oct 14, 2021 |
|
Python |
6 |
A linter for Xcode .pbxproj files |
Jun 30, 2019 |
|
TypeScript |
35 |
super fast pbxproj parser written in TypeScript |
Jun 18, 2022 |
|
Python |
3 |
Simple Email verifier from a csv file |
Oct 22, 2020 |
|
Go |
269 |
Package verifier provides simple defensive programing primitives. |
Apr 08, 2023 |
|
Perl |
2 |
Simple Perl JSON Web Signature (JWS) verifier script |
Oct 01, 2020 |
|
Go |
14 |
RSA Verifier |
Sep 05, 2022 |
|
Rust |
2 |
evm-verifier |
Apr 22, 2023 |
|
C |
2 |
SHA256 Verifier |
Oct 21, 2022 |
|
Swift |
60 |
Xcode utility for reading and writing pbxproj file format. |
Oct 30, 2022 |
|
Swift |
15 |
Xcode utility for reading and writing pbxproj file format. |
Nov 14, 2021 |
|
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 |
|
None |
2 |
Protocol Verifier Codes |
Feb 18, 2022 |
|
Python |
23 |
Simple Omitter of Conflicts Kit - tool that prevents some of merge conflicts in .pbxproj … |
Mar 03, 2020 |
|
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 |
|
C++ |
32 |
Static Analyzer and Verifier |
Aug 05, 2022 |
|
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 |
|
Go |
3 |
Golang object parameter verifier |
Sep 13, 2021 |
|
JavaScript |
3 |
Dependency verifier for node.js |
Apr 09, 2020 |
|
Python |
26 |
Metamath verifier in Python |
Mar 07, 2023 |