|
|
Python |
6 |
This repository provides a GitHub Action for running the Kani Rust Verifier in CI. |
Feb 22, 2023 |
|
|
TypeScript |
7 |
Kani VSCode Extension |
Apr 18, 2023 |
|
|
Rust |
3 |
PKCE code verifier and challenge generation in Rust |
Feb 26, 2023 |
|
|
JavaScript |
2 |
GitHub Action to verify Rust code using the Prusti verifier. |
Feb 22, 2023 |
|
|
Rust |
601 |
A static verifier for Rust, based on the Viper verification infrastructure. |
Aug 21, 2022 |
|
|
TypeScript |
17 |
VS Code extension to verify Rust programs with the Prusti verifier. |
Aug 12, 2022 |
|
|
Rust |
9 |
🔏 Rust Message Verifier library compatible with Rails' MessageVerifier and MessageEncryptor |
Oct 18, 2020 |
|
|
Go |
14 |
RSA Verifier |
Sep 05, 2022 |
|
|
Rust |
2 |
evm-verifier |
Apr 22, 2023 |
|
|
C |
2 |
SHA256 Verifier |
Oct 21, 2022 |
|
|
C++ |
2 |
Kani file archiver. Works only with LZ77. Using Qt framework. |
Oct 10, 2018 |
|
|
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 |
|
|
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 |
|
|
C++ |
2 |
This repo will maintain proof generation and verifier codes written in rust and solidity |
Dec 14, 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 |
|
|
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 |