The French application StopCovid for privacy-aware contact tracing (they documented and freed all the protocol, code of client and servers everything) is using Kotlin: https://gitlab.inria.fr/stopcovid19/stopcovid-robertsdk-android (go to the project itself to see all the other repos)