https://github.com/emberian/dragons-net ok. or what about https://github.com/emberian/fn (runs in either lean or lisp!)