Nem todos precisam estar de acordo pra algo ir adiante. Basta acreditar na ideia. Só precisa de uma massa crítica pra reação em cadeia não parar mais. Portugol é uma dessas ideias. Eu acredito na ideia. Alguém conhece algum repositório no Github dedicado e oficial?

Sim, concordo!

Por outro lado, não sei se é oficial, mas achei o link abaixo:

https://github.com/UNIVALI-LITE/Portugol-Studio

Na verdade, existem várias implementações do conceito. Sugiro que pesquise no Google sobre.