9 results found Sort:
- Filter by Primary Language:
- C (3)
- JavaScript (2)
- Go (1)
- Haskell (1)
- Python (1)
- +
Defeating Windows User Account Control
Created
2015-03-28
281 commits to master branch, last one 2 months ago
:white_check_mark: A Go library for email verification without sending any emails.
Created
2020-12-18
151 commits to main branch, last one 5 months ago
SMACK Software Verifier and Verification Toolchain
Created
2012-07-30
3,120 commits to main branch, last one 2 years ago
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Created
2022-06-20
15 commits to main branch, last one 9 months 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
429 commits to master branch, last one 4 months ago
Application Verifier Dynamic Fault Injection
Created
2022-04-28
30 commits to main branch, last one 17 days ago
Fullstack Polygon ID verification template for creating VC gated dapps
Created
2023-06-23
5 commits to main branch, last one 2 months ago