/sci-mathematics/
../
Oid
acl2
cipi
flocq
frama-c
freefem++
gap
gappa
gappalib-coq
giac
libsfmt
lie
ltl2ba
netgen
open-axiom
pulp
ripser
scilab
why3