From electowiki
Wikipedia has an article on:

GitHub is a website that hosts a lot of software related to election methods. It has been owned by Microsoft for several years, and as of this writing (in 2022), it looks more-or-less the same as when they acquired it (though perhaps it defaults to the "dark" theme now....)

See for more.