The CoolKey applet is open source applet. Its source code is available under dogtag project and is internally used by the Red Hat Certificate System.
The CoolKey applet is closely bound to the PKCS#11 representation and is implemented in src/libopensc/{card,pkcs15}-coolkey.c and initially based on the Muscle applet.
The documentation is available online.