The extension for alligator came directly from board vendors so I assume they are ok. One important thing is since they use pins not available on normal due, you need to install their additional files to arduino and select that board for compilation, otherwise pin mapping is wrong and you might get strange results. Also note they have V1 and V2 versions of the board.