Meta just open-sourced an automatic differentiation framework for Kotlin! (https://diffkt.org/). It can compute higher-order and symbolic derivatives, supports user-defined types, and has compile-time shape checking. Examples include machine learning and physical simulations.