Projects in Awesome Lists tagged with lambda-prolog
A curated list of projects in awesome lists tagged with lambda-prolog .
https://github.com/LPCIC/elpi
Embeddable Lambda Prolog Interpreter
constraints extension-language lambda-prolog ocaml-library
Last synced: 07 Dec 2024
https://github.com/lpcic/elpi
Embeddable Lambda Prolog Interpreter
constraints extension-language lambda-prolog ocaml-library
Last synced: 01 Mar 2025
https://github.com/lpcic/coq-elpi
Coq plugin embedding elpi
coq extension-language lambda-prolog metaprogramming scripting
Last synced: 12 Apr 2025
https://github.com/shonfeder/99-lambda-prolog-problems
99 λProlog Problems (eventually)
99problems lambda-prolog prolog
Last synced: 06 Mar 2025
https://github.com/voodoos/lp2tex
An Ugly, untested and mostly unsatifying translator from λProlog code to Latex inference rules
Last synced: 10 Apr 2025
