The definitions for WinJS are here:
https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/winjs
WinJS pre-dates TypeScript. That's not to say they won't transfer it to TypeScript now given TypeScript 1.0 was officially announced last night.