GitHub repository: kframework/javascript-semantics
Primary language: JavaScript
Description: KJS: A Complete Formal Semantics of JavaScript