GitHub repository: DerYeger/refunk
Primary language: Kotlin
Description: A library for studying primitive recursive functions with Kotlin.