There's not a single occurrence of "open source" in your first link. Actually, there's no example of any actual software at all on this page. Just some policy f

There's not a single occurrence of "open source" in your first link. Actually, there's no example of any actual software at all on this page. Just some policy for posting software that tells people to license their code and to respect the license of the work they use. I agree that it does not technically require open source, only "publicly available" source code. And I'm not going to dig the forum to find some actual example. I know source available programs with a license restrictive enough to be proprietary exist. Here's one: CompCert [1] By the way, its non commercial license itself claim claims it is non-free [2] and the download page claims it's not free software. Even if it is "free" (gratis) to use in a non commercial setting. That's software with source code available. Source-available software. It's not open source. And I also know freeware (gratis, proprietary software) without any available source code exist. But a source-available program that pretends to be open source is yet to be seen. CompCert certainly don't advertises itself as open source. Because it's not! [1] https://compcert.org/ https://compcert.org/ [2] https://compcert.org/doc/LICENSE.txt https://compcert.org/doc/LICENSE.txt [3] https://compcert.org/download.html https://compcert.org/download.html