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

git-annex available on the forge

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

git-annex is now available on the forge.

SimGrid v3.16 released

Martin Quinson - 2017-07-04 13:39 - SimGrid

The Blooming Spring Release: developments are budding.

GMP 7.0.4 has been released

Paul Zimmermann - 2017-07-04 13:39 - GMP-ECM (Elliptic Curve Method)

Changes between GMP-ECM 7.0.3 and 7.0.4:

execo release 2.6.2

Matthieu Imbert - 2017-06-09 08:58 - execo


PaStiX 6.0.0 is out !

  2017-06-02 18:44

SimGrid v3.15 released

  2017-03-24 08:34

Taskboard plugin desactivated

  2017-03-09 10:38

Redefining gecos.types model

  2017-03-07 09:34

Features Boxes

InriaForge Statistics

Hosted Projects: 8,876

Registered Users: 22,354

Top Project Downloads
693,060 OpenAlea
409,272 CGAL
350,192 Pharo
226,213 iStoa.net
162,177 SOFA
153,866 Scotch
133,173 Dose: library and tools
124,962 Cudf library
103,728 MedINRIA (1.x versions)
101,268 Tom
Most Active This Week
1 StarPU
4 gazelle
5 SimGrid
6 Why3
8 Alexina
10 FloPoCo Floating-Point Core Generator
11 Shanoir
12 Hsplit
13 PM2: Parallel Multithreaded Machine
14 Aevol
15 SmartEiffel
16 Embodied Audition for RobotS
17 Cudf library
18 Porgy
19 OpenAlea
20 geogram
Recently Registered Projects
07/13 TchebyApprox
07/12 DTOP implementation
06/28 SC BOF on core management and allocation
06/10 ExplainablePredictiveAnalytics
06/02 pitch-estimator
05/05 Code Bilinear Rank
04/27 Convex Blind Calibration for CS
04/20 pvs-with-proofs
04/19 StarPU Website
04/15 jmake-release

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