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

Release of Javalib 2.3.2

David Pichardie - 2016-07-25 11:05 - Javalib & Sawja

This release fixes the LGPL licence and a minor bug about file closing

Aevol-5 is out !

David Parsons - 2016-07-20 17:05 - Aevol

We are pleased to announce the release of aevol-5.0

execo release 2.5.4

  2016-05-03 15:09

SimGrid 3.13 released

  2016-04-28 15:33

Gappa Coq library 1.2.1 released

  2016-02-09 08:41

Gappa 1.2.1 released

  2016-01-26 16:46

Features Boxes

InriaForge Statistics

Hosted Projects: 7,988

Registered Users: 20,825

Top Project Downloads
645,063 OpenAlea
390,906 CGAL
329,048 Pharo
222,499 iStoa.net
160,761 SOFA
128,647 Scotch
101,137 MedINRIA (1.x versions)
89,273 Tom
81,476 Dose: library and tools
81,311 Cudf library
Most Active This Week
1 StarPU
2 ViSP
3 GMP-ECM (Elliptic Curve Method)
6 SimGrid
8 gazelle
9 Why3
10 Alignment API
11 OpenAlea
12 FloPoCo Floating-Point Core Generator
13 faust
16 Matrices Over Runtime Systems @ Exascale
17 Embodied Audition for RobotS
18 Coq.Interval
19 MetaGrammar Toolkit
20 PM2: Parallel Multithreaded Machine
Recently Registered Projects
07/27 Focalide
07/27 dedukti-constructivization
07/18 PekinPlot
06/21 Configuration Inria Linux Maverick
06/08 Graph Sampling Box
06/02 AFM on a plane
05/30 py.ml
05/28 hplll-dist

All newest projects

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