Go to https://github.com/phpseclib/phpseclib
PHPSecLib is now officially on github: https://github.com/phpseclib/phpseclib.