PubliCodes is a javascript library that processes rules specified in YAML. It is designed primarily for financial calculations, and features automatically-generated user interfaces, explanations, and some capacity to calculate values in reverse in limited circumstances.
It also has basic boolean logic capabilities, but does not seem to have any ability to deal with lists of inputs, or any logical quantification.
It is used in the development of the calculators at Mon-entreprise (urssaf.fr), which assist people in predicting the costs of business activities.
The documentation is currently only in French. A playground is available at https://publi.codes/studio.