2 results found Sort:

LPCIC
elpi LPCIC
37
303
lgpl-2.1
12
Embeddable Lambda Prolog Interpreter
constraints lambda-prolog ocaml-library extension-language
Created 2017-03-20
2,680 commits to master branch, last one 19 days ago
LPCIC
coq-elpi LPCIC
56
160
lgpl-2.1
8
Coq plugin embedding elpi
coq scripting lambda-prolog metaprogramming extension-language
Created 2017-03-21
3,426 commits to master branch, last one 2 days ago