Dual licensing is fine, I simply omitted it from my suggestion because it didn't occur to me at the time. As for third-party code included in a repo, I don't t

Dual licensing is fine, I simply omitted it from my suggestion because it didn't occur to me at the time. As for third-party code included in a repo, I don't think their licenses should be shown prominently on any listing. It's the job of the project maintainer to ensure that all of the licenses for third-party libraries are compatible with the main license(s) for the project, and if possible, enumerate them somewhere in the tree. Most third-party libraries probably have their own GitHub repos anyway.