Git repository of the RICM4 project.