|
|
Solidity |
21 |
Solidity verifier for Plonk |
Jul 12, 2022 |
|
|
Go |
23 |
zkSNARK Groth16 prover & verifier |
Apr 23, 2023 |
|
|
Rust |
571 |
A STARK prover and verifier for arbitrary computations |
Apr 24, 2023 |
|
|
None |
6 |
A STARK prover and verifier for arbitrary computations |
Aug 08, 2022 |
|
|
Rust |
2 |
A STARK prover and verifier for arbitrary computations |
Jan 31, 2024 |
|
|
Go |
11 |
Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing |
Aug 10, 2022 |
|
|
Julia |
3 |
Verificatum compatible verifier and prover for NIZK proofs of shuffle |
Apr 16, 2023 |
|
|
Go |
22 |
Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom |
Jul 09, 2022 |
|
|
Rust |
2 |
This repo contains logics to make zkstark prover and verifier to be faster |
Feb 21, 2023 |
|
|
Go |
235 |
zkSNARK library implementation in Go from scratch (compiler, setup, prover, verifier) |
Apr 29, 2023 |
|
|
HTML |
2 |
Pin generator and pin verifier using JavaScript. |
Dec 22, 2021 |
|
|
JavaScript |
4 |
Open Credentials Verifier JavaScript API |
Jan 04, 2022 |
|
|
JavaScript |
10 |
body, params, query verifier middleware for express framework (nodejs) |
Aug 13, 2019 |
|
|
JavaScript |
5 |
The adapter for snarkjs and bellman |
Sep 14, 2022 |
|
|
Rust |
98 |
Recursive SNARKs based on Plonk and Halo |
Aug 22, 2022 |
|
|
JavaScript |
2 |
Age verifier using HTML, CSS and JavaScript with users interactivity. |
Jul 07, 2021 |
|
|
Kotlin |
28 |
Java/Kotlin generic TOTP and HOTP generator and validator for multi-factor authentication valid for both prover … |
Aug 03, 2022 |
|
|
JavaScript |
2 |
javascript based offline New Zealand vaccine pass verifier |
Jan 03, 2022 |
|
|
C++ |
32 |
Static Analyzer and Verifier |
Aug 05, 2022 |
|
|
JavaScript |
86 |
Pagination for javascript and nodejs |
Dec 23, 2021 |
|
|
TypeScript |
3 |
Captcha verifier for NodeJS that verifies reCaptcha 2, reCaptcha 3 or hCaptcha |
Dec 23, 2022 |
|
|
JavaScript |
10 |
JSLint plugin for Gedit, runs the JSLint javascript verifier |
Jan 08, 2017 |
|
|
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 |
|
|
JavaScript |
3 |
A manufactoria editor and verifier |
Jul 27, 2020 |
|
|
Rust |
156 |
A Rust Implementation of the PLONK ZKP System and Extensions |
Aug 17, 2022 |
|
|
Jupyter Notebook |
2 |
A detailed explanation and implementation of PLONK zk-snark protocol |
Jan 01, 2023 |
|
|
Starlark |
668 |
JavaScript and NodeJS rules for Bazel |
Aug 30, 2022 |
|
|
JavaScript |
2 |
Zoom.us SDK for javascript and nodejs |
Nov 14, 2021 |
|
|
JavaScript |
13 |
Collection of Nodejs and Javascript snippets |
Jan 27, 2023 |
|
|
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 |
|
|
JavaScript |
5 |
IRC client using HTML, Javascript and NodeJS. |
Oct 11, 2021 |
|
|
JavaScript |
12 |
Tokenizer for Vietnamese in Nodejs and Javascript. |
Feb 27, 2021 |
|
|
JavaScript |
1402 |
WAMP in JavaScript for Browsers and NodeJS |
Apr 26, 2023 |
|
|
JavaScript |
9 |
Basic shopping cart with nodejs and javascript |
Sep 14, 2021 |
|
|
Python |
3 |
Server backend development using JavaScript and NodeJS. |
Mar 02, 2024 |
|
|
Lean |
1748 |
Lean 4 programming language and theorem prover |
Aug 22, 2022 |
|
|
TeX |
7 |
Linear logic theorem prover and proof explorer |
Jul 08, 2019 |
|
|
JavaScript |
2 |
javascript (nodejs) minecraft launcher |
Feb 01, 2021 |
|
|
C++ |
8 |
Parallel implementations of Bellman-Ford algorithm with MPI, OpenMP and CUDA. |
May 25, 2023 |
|
|
None |
2 |
Documents and Progress for eBPF Verifier Project |
Mar 02, 2022 |
|
|
Haskell |
2 |
Anatomy and Physiology 12 Nucleotide Sequence Verifier |
Mar 28, 2022 |
|
|
Python |
2 |
A cookie checker, generator, verifier, and multitool |
Apr 04, 2023 |
|
|
HTML |
2 |
Dynamic weatherApp using html css javaScript and nodeJs |
Sep 29, 2021 |
|
|
JavaScript |
5 |
A javascript templating system for browsers and nodejs |
May 01, 2018 |
|
|
HTML |
2 |
Calculator using #javascript , #nodejs and #expressjs with DevTown |
Mar 30, 2023 |