WebIDL
Web 標準の API のインターフェースを記述するための言語。今は WHATWG 配下のリポジトリで管理されている。
https://github.com/whatwg/webidl