GitHub repository: mojtaba-eshghie/Clawk
Primary language: JavaScript
Description: Clawk is a runtime monitoring tool for monitoring smart contracts against high-level properties