GitHub repository: rocq-community/bits
Primary language: Coq
Description: A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]