Actually yes. Pretty much most credit cards are in fact JavaCards.
Weird but true, and quite obscure.