My personal contribution was OTP frontend and backend (implementation of login, generation, verification, error logging and scenario handling), along with making a publicly available JWKS Endpoint.
The original is hard to make public, so there'll only be a video demo.
** If you really want to view the codebase (for whatever reason), do reach out to me for further discussion/clarification