Data

Tools

Indexes

Applications

Experiments

Packages

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

formulae.brew.sh "lambda-prolog" keyword

View the packages on the formulae.brew.sh package registry that are tagged with the "lambda-prolog" keyword.

rocq-elpi 3.2.0
Elpi extension language for Rocq
3 versions - Latest release: 4 months ago - 27 downloads last month - 177 stars on GitHub
Related Keywords
coq 1 extension-language 1 metaprogramming 1 scripting 1