Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "lambda-prolog" keyword

Top 7.0% on proxy.golang.org
github.com/LPCIC/elpi v1.19.0
Embeddable Lambda Prolog Interpreter
73 versions - Latest release: about 2 years ago - 326 stars on GitHub
Top 7.0% on proxy.golang.org
github.com/lpcic/elpi v1.19.0
Embeddable Lambda Prolog Interpreter
73 versions - Latest release: about 2 years ago - 329 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/lpcic/coq-elpi v3.3.1+incompatible
Coq plugin embedding elpi
69 versions - Latest release: 2 months ago - 177 stars on GitHub
Related Keywords
extension-language 3 constraints 2 ocaml-library 2 coq 1 metaprogramming 1 scripting 1