GitHub repository: vorpal-research/SymKt
Primary language: Kotlin
Description: Playing around with symbolic arithmetics in kotlin