No, I've thought about it though. I took a decent amount of OS, and took a grad course in formal verification of software systems. Mainly though I do cryptography and cs theory, gonna start a MS this semester. If anything the only software project I should really be contributing to is verification or crypto libraries.