Chekseum is an OCaml library which implements ADLER-32 and CRC32C Cyclic Redundancy Check. It provides 2 implementation, the first in C and the second in OCaml. Homepage: https://github.com/mirage/checkseum