GitHub - https-github-com-goodman-ops/javascript-semantics at Cansu.Erdogan · GitHub

Name		Name	Last commit message	Last commit date
ecmascript-based		ecmascript-based
json-to-js		json-to-js
programs		programs
README.md		README.md
js-semantics.k		js-semantics.k
js-syntax.k		js-syntax.k
js.k		js.k

Repository files navigation

Currently only syntax

kompile js.k
krun programs/<file>

About

KJS: A Complete Formal Semantics of JavaScript

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages