Badge Directory has the badge firmware, the eagle files and documentation for components used on the badge.
BadgeGen is a tool used to generate key pairs, and unique radio ids. This tool can also solve some of the crypto's this was done simply to save typing on the badge itself.