All Categories → No Category → lightweight-dependency-management

Top 1 lightweight-dependency-management open source projects

apkg - package manager for Agda

✭ 30

python Makefile Nix HTML Agda package-manager agda lightweight-dependency-management

1-1 of 1 lightweight-dependency-management projects