nixpkgs/pkgs/by-name/is
..
isabelle
isc-cron
iscc
isisdl