This repo has the sample extensions for WSO2 Identity Server.