This is a JVM implementation of the KD (Ki Declarative) language. It is written in Kotlin with annotations that allow it to be used equally well with Java and other JVM languages such as Scala, Jython and JRuby.
KD is a simple delcarative language with rich type inferencing and the ability to easily work with portable high precision numeric and temporal data. It is well suited for everything from configuration files to financial and scientific applications that require type safety and precision. See KD Documentation (Wiki)