Similar repositories to pldi22/energy_bounded: