On 07.05.2018 22:28, Sönke Ludwig wrote: > Another similar project: http://taggedalgebraic.dub.pm/ And it's pretty nice one. I use it for couple of years.