Home My Page Projects

Scheduled INRIA Forge end of life

The INRIA Forge is now in maintenance mode until its final shutdown, currently scheduled at end of year 2020. Hosting projects on the forge has been deprecated in favor of the INRIA gitlab. The migration FAQ gives some documentation about the migration to the gitlab. It is not possible anymore to register new projects on the forge.


First of all, check that your question is not already in our FAQ.
Then, you can submit a support ticket at the inria helpdesk portal (inria account is mandatory). On this portal, select "IT support request", then "ask for a fix" or "service request", and then select "services for research", then "inriaforge". You can also submit a support ticket by mail at address sed-forge.helpdesk-prc at inria.fr (this is the way to go if you don't have an inria account).
The old support email address help.et.gforge at inria.fr is an alias to sed-forge.helpdesk-prc at inria.fr.
When submitting your request, don't forget to provide accurate details of what's going wrong. Read, for example, How to Report Bugs Effectively.
Finally, you can also have a look at our bug tracker.


InriaForge is a service offered to facilitate the scientific collaborations of people working at Inria (for more info, see the principles document). It offers easy access to the best in Git (as well as Subversion), mailing lists, bug tracking, message boards/forums, task management, site hosting, permanent file archival, full backups, and total web-based administration.

Participation in InriaForge

First timers should read "A gentle introduction to InriaForge" (aka InriaForge for dummies) to have ready info on the following:

  1. Private and Public projects
  2. Creating an account
  3. Creating a project
  4. Joining a project
  5. Configuring your ssh access
  6. Creating a code repository
  7. Configuring Eclipse to work with the forge
For those wanting more details there is a tutorial and before submitting a problem you might consider looking in the FAQ.

Site maintenance

Site updates happen on Tuesday mornings, around 9am. Service may be interrupted a few minutes on these occasions. Moreover, the webserver is restarted every night.

Latest News

Scotch 6.1.1 is out!

Francois PELLEGRINI - 2021-06-28 08:04 - Scotch

This is mostly a bugfix release.

Scotch 6.1.0 is out!

Francois PELLEGRINI - 2020-09-06 19:41 - Scotch

The change in release number reflects a change in behavior of the software, regarding two features :

Scotch 6.0.10 is out!

Francois PELLEGRINI - 2020-08-31 15:47 - Scotch

Scotch 6.0.10 is only a bugfix release. It will be the last planned version of the 6.0 branch. The 6.1 branch will be released very soon.

Annoucement: Scheduled INRIA Forge end of life

Matthieu Imbert - 2020-06-12 08:35 - Site Admin

Dear INRIA Forge user,

First Kick-off meeting at Lille

Gang Zheng - 2019-10-02 08:18 - robocop

The Oct 17, 2019

Polyphemus-1.11.1 is out!

  2019-08-09 16:44

Scotch 6.0.7 is out!

  2019-05-20 08:58

Polyphemus-1.11 is out!

  2019-01-28 08:06

execo release 2.6.4

  2018-12-03 10:39

Features Boxes

InriaForge Statistics

Hosted Projects: 9,593

Registered Users: 25,434

Top Project Downloads
887,422 OpenAlea
459,391 CGAL
405,574 Pharo
338,282 Dose: library and tools
305,016 Cudf library
289,343 Scotch
286,600 Why3
271,002 SPAMS - devel
237,259 iStoa.net
172,173 MPFI
Most Active This Week
1 Gar6more2D
3 ViSP
4 SmartEiffel
5 Scotch
6 Why3
7 Flocq
8 Cudf library
9 OpenAlea
10 Coquelicot
11 Coq.Interval
13 geogram
14 OpenMEEG
15 Gappa
16 Alexina
17 SPAMS - devel
18 ALMAnaCH Linguistic Workbench
19 Kadeploy3
Recently Registered Projects
06/03 JuliaStarPU
04/15 MADS
10/01 robocop
08/01 HMD-TMO
07/12 SKINNY SAC 2019
06/30 GICS-HIL
06/30 MPI Introspection Monitoring
03/20 Deep4DCVT_release
03/04 CoIoT

All newest projects

System Information
InriaForge is running FusionForge version 6.0.5+autobuilt201809051346-1
This site is running FusionForge version 6.0.5+autobuilt201809051346-1