Update May 2021: (Not recommended, see this link to configure your own LaMachine with Kaldi).

The kaldi installation is kept as a part of LaMachine. It is in LaMachine2: /vol/customopt/lamachine.stable/opt/kaldi.

Activation of the LaMachine environment (using lm), should properly set your $KALDI_ROOT. Note that this installation does not contain Alex ASR (not maintained).