Is this the company that re-invented the PCMCIA slot, but completely proprietary?

Can something be open source and proprietary?

Example: https://github.com/commaai/openpilot