GitHub repository: voodoos/elpi-js
Primary language: OCaml
Description: JS binders and tools to interact with the Elpi lambda-prolog interpreter written in OCaml.