Dedukti is now developed by the project Deducteam located at INRIA Rocquencourt.