HACS HACS (High Assurance Cryprographic Software) is an invite-only workshop, so far run twice in January 2016 and January 2017. This repo is a somewhat organised set of links to projects and resources related to or arising from the workshop.