À l’aide d’un langage algorithmique en français et d’une interface utilisateur graphique simple et ergonomique, ce logiciel permet de concevoir et de tester facilement les algorithmes que l’on peut rencontrer dans l’enseignement des mathématiques au secondaire.

Le code source des algorithmes se construit pas à pas à l’aide de commandes prêtes à l’emploi (lire, afficher, affecter, instruction si…alors, boucles pour…de…à et tant que…) : cela permet au débutant de se concentrer principalement sur la logique algorithmique plutôt que sur l’apprentissage d’une syntaxe complexe. Une fois l’algorithme mis au point, il peut facilement être exécuté afin d’en vérifier la validité.

Afin de pouvoir approcher les situations mathématiques diverses, Algobox comprend un éditeur sous forme d'arbre hiérarchique, où on entre la plupart des commandes en actionnant les boutons de l'interface graphique correspondants aux structures algorithmiques de base. Mais l'édition brute du code est aussi possible dans un éditeur de texte classique (inclus avec le programme), sans passer par les commandes prêtes à l'emploi.

Jupyter est une application web utilisée pour programmer dans plus de 40 langages de programmation, dont Python, Julia, Ruby, R, ou encore Scala[2]. C'est un projet communautaire dont l'objectif est de développer des logiciels libres, des formats ouverts et des services pour l'informatique interactive. Jupyter est une évolution du projet IPython. Jupyter permet de réaliser des calepins ou notebooks, c'est-à-dire des programmes contenant à la fois du texte, simple ou enrichi typographiquement et sémantiquement grâce au langage à balises simplifié Markdown, et du code, lignes sources et résultats d'exécution. Ces calepins sont notamment utilisés en science des données pour explorer et analyser des données.

C’est l’outil proposé sur cette clé pour la programmation en Python. 

   OCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmationCaml,  langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'Inria.

Caml est un langage fonctionnel augmenté de fonctionnalités permettant la programmation impérative. OCaml étend les possibilités du langage en permettant la programmation orientée objet et la programmation modulaire. 

Il intègre ces différents concepts dans un système de types hérité de ML, caractérisé par un typage statique, fort et inféré.

Le système de types permet une manipulation aisée de structures de données complexes : on peut aisément représenter des types algébriques, c'est-à-dire des types hiérarchisés et potentiellement récursifs (listes, arbres…), et les manipuler aisément à l'aide du filtrage par motif. 

Le typage fort, ainsi que l'absence de manipulation explicite de la mémoire (présence d'un ramasse-miettes) font de OCaml un langage très sûr. 

C'est un langage performant pour l'enseignement et il est souvent utilisé pour l'apprentissage de la programation.

L'éditeur utilisé sur la clé en cliquant sur l'icône du menu est EMACS

LibreOffice Calc est le logiciel tableur de la suite bureautique open source LibreOffice. Il propose une interface similaire à celle de Microsoft Excel, pour créer et modifier des tableurs facilement via un éditeur interactif.  s et d’effectuer des opérations automatiquement.

Le logiciel s’organise sous forme de cellules qui forment un tableau à double entrée. LibreOffice Calc dispose de fonctionnalités variées pour gérer les colonnes, les lignes, les arrière-plans, les bordures, etc. Vous pouvez créer des matrices, des graphiques, des tableaux croisés dynamiques ou encore des macros sur le logiciel.

Avec LibreOffice Calc, vous pouvez utiliser des formules (équations qui utilisent des nombres, des textes et des variables pour obtenir un résultat) pour simplifier et automatiser les calculs.

Intuitif et possédant une interface de barre d’outils simple, Logisim est utilisé pour concevoir et simuler des processeurs à des fins éducatives. Ce logiciel permet, en effet, de concevoir des circuits et d’observer leur simulation à chaque étape de la construction. Il offre également la possibilité de construire des circuits plus grands en partant de petits sous-circuits.

Logisim est un outil écrit en Java.

Scratch est un langage de programmation graphique^[6] à but éducatif, manipulable et exécutable par le logiciel du même nom. 

Scratch permet de modifier le code du programme en cours d'exécution. Scratch est orienté multimédia avec pour objectif l'enseignement de l'univers informatique aux enfants ou aux débutants, il est basé sur la manipulation des objets. Scratch fonctionne grâce à un éditeur visuel, tout le code est directement inscrit dans la langue maternelle de l'utilisateur (plus de 70 langues sont disponibles) sous forme de briques en couleurs (par exemple les contrôles en jaune, les variables en orange, les mouvements en bleu). Il permet de mettre en œuvre visuellement des concepts de base de la programmation tels que les boucles, les conditions, les tests, les affectations de variables.

 Le chat de Scratch, nommé Scratch-Cat, est la mascotte du site et le lutin par défaut qu'on trouve dans chaque projet au moment de sa création. Il a aussi un miaulement caractéristique qui est intégré parmi les sons du lutin par défaut des projets nouvellement créés.