GitHub repository: smillst/daikon-typecheck
Primary language: Shell
Description: Type-check Daikon