Examples of non-proprietary software?