A program, script or any executable, which outputs (prints in stdout) authorized_keys style formatted data. This data can be pulled from any source.
Thus, if public keys are stored in LDAP and script pulls keys for active users only, public key can be easily revoked by disabling corresponding user account.