while I was trying to track down the license for it[1], I found https://git.ps.informatik.uni-kiel.de/curry/curry2go https://git.ps.informatik.uni-kiel.de/curry

while I was trying to track down the license for it[1], I found https://git.ps.informatik.uni-kiel.de/curry/curry2go https://git.ps.informatik.uni-kiel.de/curry/curry2go (also BSD-3) which says "A compiler and run-time system to compile and run Curry programs as Go programs" 1: maybe this is it? it does include a lot of curry named submodules; anyway, BSD-3-Clause https://git.ps.informatik.uni-kiel.de/curry/pakcs/-/blob/v3.7.0/LICENSE https://git.ps.informatik.uni-kiel.de/curry/pakcs/-/blob/v3....