GitHub repository: rubenhensen/irmago
Description: IRMA server, client, and tooling. Documentation: http://irma.app/docs