[favorited]

Basically all smart cards use Java Card. There's an ISO standard, so I'm sure it's possible to implement your card in other environments, but everyone uses Java Card.