GitHub repository: voodoos/elpi
Primary language: AMPL
Description: Embeddable Lambda Prolog Interpreter