It seems they claim the code is open source, but it has only been shared with a few research institutions: https://www.tse.jus.br/comunicacao/noticias/2023/Janeiro/codigo-fonte-das-urnas-eletronicas-e-de-acesso-publico-a-toda-a-sociedade
Is it publicly available somewhere under an open source license?