Here is the source code for DDMF, provided for illustration purposes. Each service corresponds to one .ml file and a corresponding .mli interface. If you are interested in deploying a local copy of the DDMF, please contact the main author, Frédéric Chyzak, to obtain an archive including the build system.
An important part of the Maple fragments presented here are extracted from Algolib. There are also many dependencies to functions in this library.
With the exception of DiffeqToRecurrence.ml and Gfun.ml, the DDMF source files are distributed under CeCILL-B license [fr|en] and bear the copyright 'Copyright INRIA and Microsoft Corporation, 2008-2013'. The two exceptional files are distributed under LGPL license version 2.1.