The server software is called w0nko. It is based on ircu and snircd with additional patches to support TLS.