GitHub repository: mcenv/box
Primary language: Kotlin
Description: A dependently-typed programming language for Minecraft