Sciences et techniques (Physiques, Mathématiques, Électricités, Électroniques, Astronomies).
Science et technique d'astronomie :
- Celestia,
- Space Crafter,
- Stellarium,
- PreviSat (logiciel).
Science et technique d'électronique :
- gEDA,
- KiCad.
Science et technique d'électricité :
- Coban (logiciel).
Science et technique de mathématiques :
- Axiom,
- GNU MCSim,
- GNU Octave,
- Gnuplot,
- Maxima (logiciel),
- OpenModelica,
- R,
- Scilab / Xcos,
- SageMath,
- Xcas,
- xLispStat,
- Assistants de preuve : Rocq, Isabelle, Lean, Metamath, Mizar, PhoX, PVS
Science et technique de physiques :
- Code Aster,
- Code Saturne,
- OpenFOAM,
- Calculix,
- Prolog.
