Mikhail Melnik's repositories
solidity-template
Template solidity project
OpenMS-parameters-optimiser
Open MS parameter optimiser
ACM-ICPC-analysis
Analysis of ACM ICPC results
Language:Python000
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
solidity-coverage-via-ir
showcase solidity coverage failing workarond to use via-ir
Language:TypeScriptApache-2.0000