A cursory Google search says yes. Not as a public repo or anything, but if you ask them, you'll get it. Examples here: https://forum.openwrt.org/t/mikrotik-gpl-source/6750/10