GitHub repository: shaunazzopardi/contractLarva
Primary language: Haskell
Description: Runtime verification tool for Solidity smart contracts.