A WEB based IDE for the Spin language.