Reservoir

lecopivo/HouLean

Lean 4 as a scripting language in Houdini

GitHub Link Documentation

Pick a version!

TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.

README

Lean 4 in Houdini

This Houdini plugin allows you to use Lean 4 as a scripting language/replacement of VEX. This plugin is highly experimental!

preview.png

Installation instructions

To build HouLean run these commands:

lake script run compileCpp /opt/hfs19.0
lake build
labe script run install ~/houdini19.0

If necessary, replace /opt/hfs19.0 with your Houdini install path and ~/houdini19.0 with Houdini preference directory.

You can find the above example scene in houdini/hip/example.hip.