GitHub

A javascript class to play MIDI music directly, without plugin.

MIDI is a widely used music format online. However the HTML5 Audio tag supports only wav/mp3/ogg formats so far. Playing MIDI usually uses the embed tag which ...
GitHub

small Javascript class to get Geoid Height from GSI geoid data

説明： 国土地理院のジオイドデータをJavaScriptで使うためのクラスです。 国土地理院にてダウンロード配布（https://fgd.gsi.go ...