kframework / javascript-semantics

KJS: A Complete Formal Semantics of JavaScript
85Updated 8 years ago

Related projects

Alternatives and complementary repositories for javascript-semantics