definyは，堅牢なWebアプリケーションをシンプルな仕組みの上で開発することが可能な 2021年現在開発中の Webアプリケーションである．definyは，既存の開発環境の問題である，環境構築の煩雑さ，HTML，CSS，JavaScriptの仕様に影響を受けた複雑で膨大な言語仕様などの問題を解決する．現在は，型の定義から，TypeScriptの型定義とバイナリ表現へのコーデックのコード生成が可能である.