This page contains links to publicly available software that Protean Code has produced or been involved with.

SPARKNaCl

SPARKNaCl is a verified, SPARK 2014 implementation of the TweetNaCl cryptographic library.

SPARKSkein

A verified SPARK implementation of the Skein Hash algorithm. See also the Skein conference paper (contact me for a copy.)