Similar repositories to shallker/formalize: