At my workplace (Mixpanel), we use youearnedit.com. Everyone gets 2000 points per quarter and you distribute them out to whoever helped make you life easier or reward others for their effort.

It has slack integration so sending /yei @someone is super easy. I probably do it multiple times a day.

I have to say, after it was introduced, there definitely was a slight shift in culture.

I strongly believe your 10x programmers are the ones that help the whole team become 10x by building great tools and showing best practices that makes everyone move faster.