https://github.com/JSMonk/hegel

JavaScriptで書かれたJavaScriptの型チェッカ。 型アノテーションを書くことで型チェックを行える。TypeScriptとは異なり静的な型チェックが通った場合に実行時エラーが出ないような実装をしている。ライブラリの型チェックにはTypeScriptの型定義ファイルを利用できる。

関連URL