modular_resolution, a C library part of p_group_cohomology - View it on GitHub