[[wikipedia:asm.js|asm.js]] is [[Mozilla]]'s extension of [[JavaScript]] that allows compilers (not humans!) to provide type checking of variables in the code helping specialized [[Mozilla]] parser to generate more effective code for such annotated [[JavaScript]].