In Australia, the senate vote-counting software is written by the AEC.
It's closed source and they've fought FOI requests to get access.
All we have been able to find out is that it's written in visual basic 6.
https://www.theguardian.com/world/2014/jul/04/aec-threatens-...