LPCIC / elpiLinks

Embeddable Lambda Prolog Interpreter
312Updated this week

Alternatives and similar repositories for elpi

Users that are interested in elpi are comparing it to the libraries listed below

Sorting: