can we add Lerner wallet to the list?

[deshmukhrajvardhan]

https://github.com/digitalcredentials/learner-credential-wallet
https://openlearning.mit.edu/news/developing-open-source-wallet-digital-credentials

statement that supports my case:
"In 2020, MIT entered into an agreement with the U.S. Department of Education to design and implement an open source mobile wallet app to store digital credentials, a critical but under-developed element in the digital credentials technology ecosystem. A digital wallet allows learners to store and control their credentials in one place, with equal visibility and accessibility, so they can more easily manage and share them with others."