Similar repositories to agda/bitvector: