GitHub repository: lars-reimann/safe-data-science
Primary language: Kotlin
Description: Statically checked Data Science programs.