GitHub repository: Gradual-Typing/Dynamizer
Primary language: Haskell
Description: Dynamizer produces valid less precisely-typed versions of a valid program in Grift.