Various randomizing (flip coin, roll dice...) application for Android.