|
|
3408.
|
|
|
A simple math game for kids
|
|
|
|
|
Eenvoudige wiskunde speletjie vir kinders
|
|
Translated by
ManDrive
|
|
Reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mathwar:MathWar.desktop.in.h:2
|
|
|
3409.
|
|
|
Matita
|
|
|
|
|
Matita
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/matita:matita.desktop.in.h:1
|
|
|
3410.
|
|
|
Interactive theorem prover
|
|
|
|
|
Interaktiewe theorem prover
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/matita:matita.desktop.in.h:2
|
|
|
3411.
|
|
|
MATLAB
|
|
|
|
|
MATLAB
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/matlab-support:matlab.desktop.in.h:1
|
|
|
3412.
|
|
|
Scientific computing environment
|
|
|
|
|
Wetenskaplike rekenaar omgewing
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/matlab-support:matlab.desktop.in.h:2
|
|
|
3413.
|
|
|
Midnight Commander
|
|
|
|
|
Middernag Bevelvoerder
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mc:mc.desktop.in.h:1
|
|
|
3414.
|
|
|
File manager
|
|
|
|
|
Lêer bestuurder
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mc:mc.desktop.in.h:2
|
|
|
3415.
|
|
|
MComix
|
|
|
|
|
MComix
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mcomix:mcomix.desktop.in.h:1
|
|
|
3416.
|
|
|
mCRL2
|
|
|
|
|
mCRL2
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mcrl2:mcrl2-gui.desktop.in.h:1
|
|
|
3417.
|
|
|
Graphical front end for mCRL2 toolset
|
|
|
|
|
Grafiese front end vir mCRL2 nutsgoedstel
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mcrl2:mcrl2-gui.desktop.in.h:2
|
