[geekodour]

I think you're talking about this? https://viper.cs.columbia.edu/

[LostLocalMan]

That's it, thank you!