GitHub repository: lars-reimann/Safe-DS
Primary language: Kotlin
Description: Statically checked Data Science programs.