I think being GPL is a requirement to host plugins in wp.org, so yes, that free version available there is (was?) open source.