GitHub repository: GillianPlatform/JS_Parser
Primary language: OCaml
Description: Javascript parser wrapping flow-parser to add JS Logic from the JaVerT toolchain