mojtaba-eshghie / HighGuard Star 5 Code Issues Pull requests The runtime monitoring tool for smart contracts high-level properties. monitoring smart-contracts blockchain invariants runtime-verification runtime-monitoring smart-contracts-audit smart-contracts-security dynamic-condition-response dcr-graphs high-level-properties smart-contract-invariants Updated Jun 5, 2024 Solidity
luisadha / weapon-url-opener Star 2 Code Issues Pull requests Switch downloader scripts easily and quickly. Now you can use the termux-url-opener feature more often thanks to this manager script. termux-api termux-banner termux-style termux-hacking termux-tools dynamic-condition-response ztmexluis-compability Updated Mar 23, 2024 Shell