Inferno is a type inference engine for a safe subset of JS. It was formerly known as SJS.
Happy happy joy joy. The poll results are in. The interwebz has said it’s word, and that word is Inferno.
Inferno can stand for “Inference, Noam!” but who cares.
Here are the top results for those of you waiting for something to compile:
9 inferno 8 Safe JS (current name) 8 infer.js 7 saner.js 6 type.js 6 honest 6 antic (A Noam’s Type Inference and Checker :) 5 sane.js 5 entypen 4 inferity 4 entype 4 confer