GitHub repository: AU-COBRA/coq-elm-extraction
Primary language: Coq
Description: Coq plugin for extracting Elm code