Navegando na internet encontrei a seguinte página do site linha de código que apresenta diversos softwares educacionais para linux, sendo que a maioria pode ser encontrado na distribuição do MEC (Linux Educacional).
Visitem: Linha de Código
0
Softwares Educacionais para Linux
Rafael Nink
Professor de matemática da rede estadual de Rondônia.
