/sci-mathematics/

• ../
• Macaulay2
• Oid
• acl2
• apron
• aribas
• burrtools
• cipi
• dolfin
• dsfmt
• flocq
• frama-c
• freefem++
• gap
• gappa
• gappalib-coq
• giac
• htk
• kash-bin
• lattE-macchiato
• libsfmt
• lie
• ltl2ba
• netgen
• open-axiom
• pff
• pulp
• ripser
• scilab
• tisean
• ufc
• why
• why3