Galo JS is a collection of js libs to convert javascript code to a pure formal matematical representation (currently lambda-calculus). Its also a browser IDE that allow real time conversions and experimentations.