The Java Card Applet for PasswdManager and SmartID and GPShell script.