Bedrock Coq library for low-level programming https://github.com/mit-plv/bedrock #OCaml