An implementation of the Blake3 hashing algorithm in Jasmin [1], based on this C reference implementation.
[1] Almeida, José Bacelar Barbosa, Manuel Barthe, Gilles Blot, Arthur Gregoire, Benjamin Laporte, Vincent Oliveira, Tiago Pacheco, Hugo Schmidt, Benedikt Strub, Pierre-Yves (2017). Jasmin: High-Assurance and High-Speed Cryptography. CCS '17.