[dependenttypes]

> and the control of the project is not given to the community.

They also have private mailing lists, but I agree, it is certainly FOSS.