I implementated the trace formula that is described in Hijikata's trace formula paper, in the special case of trivial character.

The Sage implementation is the best.

This MAGMA implementation has more infrastructure.

This PARI implementation is rather bare bones.

Modular Forms Database