TIL that CompCert, the incredible formally verified compiler, is maintained on GitHub! https://github.com/AbsInt/CompCert (it's not FOSS, however)
miniblog.
Related Posts
Rust is the only language I can think of with a first party version switcher. rustup is maintained by the core team, unlike rvm or nvm.
Are there other languages like Rust in this respect?
Fascinated (and slightly surprised) that Google found ~50% of security bugs occur in code written in the last 12 months.
So maintained code that isn't actively developed is often good!
Finding a MUD client today is a battle against bitrot. I've been using tintin++, one of the few clients that is still maintained.