Operadic Gröbner bases
In a paper from late December 2008, Vladimir Dotsenko and Anton Khoroshkin defined Gröbner bases for operads, proved the Diamond lemma, and pointed out that this forms a tool for proving Koszularity of given finitely presented operads.
Having once wanted to work on, more or less, exactly this theme, and having a week to burn at the CIRM research institute in Marseille, I have implemented the algorithms described by Dotsenko-Khoroshkin.
Here are the interesting links!
You will need a Haskell installation to use this software. It has been tested with GHC 6.10.1 from the MacOSX binary installation package.
I owe great thanks to Vladimir Dotsenko and Anton Khoroshkin for working through these ideas in the first place, to Eric Hoffbeck and Vladimir Dotsenko for in depth discussion on the implementation and debugging, and to Jean-Louis Loday and Bruno Vallette for organizing the CIRM meeting in the first place, and for granting me funds for part of my participation.