Deus, Dungeon Petz and Tzolkin are definitely all on BGA, and have been for some time.
Alchemists and Kanban are not though as far as I know - although as I have access to the BGA developer site I can tell you that one of those games does supposedly have a licence available to be on BGA, and several volunteer developers have attempted it in the past, but as far as I can tell none have got far with it. Hopefully a developer with the time and ability to do it justice will pick it up at some point - but the problem with development being mostly given over to volunteers is that you never know if or when that will happen...
