Portage: Bringing Hackers' Wisdom to Science. - Guilherme Amadio; Benda Xu (CoRR, 2016)