GitHub repository: ConsenSysDiligence/sol-datalog
Primary language: TypeScript
Description: An encoding from the solc-typed-ast into datalog