LPCIC / elpiView on GitHub
Embeddable Lambda Prolog Interpreter
339Jan 24, 2026Updated last month

Alternatives and similar repositories for elpi

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

Sorting:

Are these results useful?