There is mathmeth.com, also Ralph-Johan Back, also to some extent me (search for "foundations for mathematical methodology").