https://github.com/settings/emails
-
Texas Tech University
- https://orcid.org/0009-0004-6847-8120
Highlights
- Pro
Popular repositories Loading
-
truffle-assertions
truffle-assertions PublicForked from rkalis/truffle-assertions
🛠 Assertions and utilities for testing Ethereum smart contracts with Truffle unit tests
JavaScript
-
verisol
verisol PublicForked from microsoft/verisol
A formal verifier and analysis tool for Solidity Smart Contracts
C#
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.