Similar repositories to wsmud/deduce: