Is the IO80211Family.kext open source?

I have a TL-WDN4800 wifi card and was looking for installing the Atheros kext IO80211. Is that kext open source, I have seen only builds of it in github?

Author: @sanandrea8080