/sci-mathematics/

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