Create a list of taxonomy terms which filter specific nodes
There is no need to install module. create a field of taxonomy terms, in the view create a contextual filter of that field and it will work.



To create a navigation you need to loop through the taxonomy terms. it is something like this code. I am not able to execute the code right now to give you the exact code but using Devel module and looping (foreach)throught the objects you can get the terms and use them to build the navigation.

$name = 'YOUR_VOCAB_NAME';
$myvoc = taxonomy_vocabulary_machine_name_load($name);
print kpr($myvoc);


This code will print out the list of terms and their properties.