Home My Page Projects


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

SimGrid v3.18 released

Martin Quinson - 1 week ago - SimGrid

The "Ho Ho Ho! SimGrid 4 beta is coming to town" release.

execo release 2.6.3

Matthieu Imbert - 2017-12-13 16:32 - execo

- add vagrant vm + scripts for building debian wheezy compatible packages

GNU MPFR 3.1.6 is released

Vincent Lefèvre - 2017-09-11 06:15 - MPFR

GNU MPFR 3.1.6 ("canard à l'orange", patch level 6), a C library for multiple-precision floating-point computations with correct rounding, is now available for download from the MPFR web site:

git-annex available on the forge

Matthieu Imbert - 2017-07-04 13:39 - Site Admin

git-annex is now available on the forge.

gf2x-1.2 has been released.

  2017-07-04 13:39

SimGrid v3.16 released

  2017-07-04 13:39

execo release 2.6.2

  2017-06-09 08:58

PaStiX 6.0.0 is out !

  2017-06-02 18:44

Features Boxes

InriaForge Statistics

Hosted Projects: 9,155

Registered Users: 22,808

Top Project Downloads
710,115 OpenAlea
415,726 CGAL
357,847 Pharo
227,274 iStoa.net
162,488 SOFA
161,890 Scotch
151,793 Dose: library and tools
139,930 Cudf library
105,083 MedINRIA (1.x versions)
104,296 Tom
Most Active This Week
1 Graphite
2 Why3
4 IceSL
5 SimGrid
6 geogram
8 gazelle
9 cado-nfs
10 StarPU
12 sibr
13 FloPoCo Floating-Point Core Generator
14 Lambda-prolog implementation of CIC
16 Teaching at ENS Rennes
17 bzr
18 Sémagramme
19 Sequoia-Annotat
20 Porgy
Recently Registered Projects
12/12 StarPU Resource Manager
12/05 FxPF
11/27 Monge-Ampère BV2
11/10 scrabble
10/13 SDM
10/13 S-box Utils (sboxU)
10/09 ApxPerf
10/03 SwLoc
09/07 Select Drivers New
07/13 TchebyApprox

All newest projects

System Information
InriaForge is running FusionForge version 6.0.4+201609281506-1
This site is running FusionForge version 6.0.4+201609281506-1