Comment by pjmlp

Sure, where can I download the Kotlin Virtual Machine, with a standard library implemented in Kotlin?

If you feel like replying with ART, there are plenty of .java files in AOSP.