Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–24 of 54 · Most stars

《ECMAScript 6入门》是一本开源的 JavaScript 语言教程,全面介绍 ECMAScript 6 新增的语法特性。

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter