GitHub repository: piofel/DiffProlog
Primary language: Scala
Description: A Prolog differentiation program with a Scala GUI and Parser