brownplt / LambdaS5Links
Semantics for ES5
☆82Updated 10 years ago
Alternatives and similar repositories for LambdaS5
Users that are interested in LambdaS5 are comparing it to the libraries listed below
Sorting:
- Semantics and tools for JavaScript☆92Updated 3 years ago
- Compile-time metaprogramming for OCaml☆74Updated last year
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆203Updated last year
- A CSS specification and reasoning engine