LPCIC / elpiLinks

Embeddable Lambda Prolog Interpreter
312Updated 3 weeks ago

Alternatives and similar repositories for elpi

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

Sorting: