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