GitHub - int3/LambdaS5: Semantics for ES5

Name		Name	Last commit message	Last commit date
Latest commit History 1,059 Commits
bin		bin
doc/sym		doc/sym
envs		envs
lib		lib
redex		redex
src		src
tests		tests
.gitignore		.gitignore
INSTALL		INSTALL
LICENSE		LICENSE
README		README

Repository files navigation

Semantics for ECMAScript 5.0

About

Semantics for ES5

BSD-3-Clause license

Report repository

Releases

Packages

No packages published

Languages

OCaml 62.6%
JavaScript 29.2%
Graphviz (DOT) 6.6%
Racket 0.8%
Python 0.4%
Shell 0.3%
Perl 0.1%