They seem to be made with Highcharts [1] a good tool for this kind of thing with a very shallow and short learning curve. Not particularly flexible though by comparison to what D3 has to offer [2]

[1] http://www.highcharts.com/maps/demo

[2] http://d3js.org/