I think this is also in https://libpqcrypto.org/ which has much more cryptographic primitives :) and has also the stuff from nist.