GitHub repository: tweag/pirouette
Primary language: Haskell
Description: Language-generic workbench for building static analysis