11 results found Sort:
- Filter by Primary Language:
- C (3)
- JavaScript (2)
- Rust (2)
- Go (1)
- Haskell (1)
- Python (1)
- +
Defeating Windows User Account Control
Created
2015-03-28
282 commits to master branch, last one 5 months ago
:white_check_mark: A Go library for email verification without sending any emails.
Created
2020-12-18
162 commits to main branch, last one 3 months ago
SMACK Software Verifier and Verification Toolchain
Created
2012-07-30
3,120 commits to main branch, last one 3 years ago
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Created
2022-06-20
15 commits to main branch, last one about a year ago
Compile Solidity source code and verify its bytecode matches the blockchain
Created
2017-08-31
72 commits to master branch, last one 4 years ago
Extremely minimal python implementation of the eHN-S protocol.
Created
2021-03-31
50 commits to main branch, last one 2 years ago
Check cross-references in repository documents
Created
2018-09-21
447 commits to master branch, last one about a month ago
Cairo-VM STARK Verifier Rust implementation
Created
2024-07-06
338 commits to main branch, last one a day ago
Application Verifier Dynamic Fault Injection
Created
2022-04-28
97 commits to main branch, last one 2 months ago
Fullstack Polygon ID verification template for creating VC gated dapps
Created
2023-06-23
5 commits to main branch, last one 8 months ago
A verifier for Factorio blueprints, enabling one to automatically check logical properties
Created
2023-08-22
108 commits to main branch, last one 4 days ago