I want to give an overview of some project for computing group cohomology and extending the techniques to the computations of cohomology over other algebras. The projects have raised issues concerning Gröbner bases and the design of the packages for dealing with algebras in Magma.