Lamtard

there seems to be a pure js implementation of contracts around for a while: https://github.com/4z3/contract

the CoffeeScript version is nice though :D