links to all miranda's awesome softdev projects on github