I wondered if there might be, but did you post the right link? I can't see anything about open source USB device implementations there.
It's a USB stack implemented as pure gateware - no hard/soft CPU needed, although I think you can hook one up if you want to.
edit: Here is the actual USB core that's in there: https://github.com/im-tomu/valentyusb/