2 results found Sort:

36
290
lgpl-2.1
12
Embeddable Lambda Prolog Interpreter
Created 2017-03-20
2,571 commits to master branch, last one a day ago
51
139
lgpl-2.1
9
Coq plugin embedding elpi
Created 2017-03-21
3,202 commits to master branch, last one 6 days ago