A list of projects using the code generated by fiat-crypto: https://github.com/mit-plv/fiat-crypto/issues/902