A library for manipulation of (full) matrices and vector with entries in F2