2 results found Sort:

LPCIC
elpi LPCIC
32
270
lgpl-2.1
14
Embeddable Lambda Prolog Interpreter
constraints lambda-prolog ocaml-library extension-language
Created 2017-03-20
2,445 commits to master branch, last one 2 days ago
LPCIC
coq-elpi LPCIC
48
131
lgpl-2.1
9
Coq plugin embedding elpi
coq scripting lambda-prolog metaprogramming extension-language
Created 2017-03-21
3,056 commits to master branch, last one a day ago