GitHub repository: mojtaba-eshghie/CLawK
Primary language: Solidity
Description: CLawK (read "clock", short for Contract Law Keeper) is a Runtime Monitoring Tool of Smart Contracts via Dynamic Condition Response Graphs {by @mojtaba-eshghie}