diku-dk/smlpkg

Generic package manager for Standard ML libraries and programs

7 best points · 3 comments · 1 Hacker News post · 169 GitHub stars · View on GitHub

Hacker News discussions