Obtenir de grandes feuilles de calcul pour soroban sur ordinateur ou des petites sur tablette ou smartphone.

Logiciel assistant de preuve Utilisant le langage Gallina (par Inria).

Une suite qui propose de nombreuses activités éducatives pour les enfants.

GeoGebra permet d'explorer la géométrie affine

Logiciel de calcul numérique très fortement compatible avec les scripts de Matlab

Maxima est un logiciel de calcul formel: à vous les polynômes, matrices et autres équations différentielles !

p5Visuel est un environnement de programmation visuelle destiné aux débutants.

SageMath est un logiciel libre de calcul mathématique.

Scilab est un logiciel de calcul numérique destiné à des applications scientifiques et d'ingénierie.

Serveur de réalisations aléatoires de modèles de questions éducatives préparées en un format html/LaTeX.

Giac/Xcas est un système de calcul formel libre pour Windows, Mac OSX et Linux/Unix (licence GPL3)