CopyQ est un gestionnaire de presse-papiers avancé avec des fonctions d'édition et de script.

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

Client de chat autonome axé sur la sûreté et la sécurité

Avec Cozy, votre nouveau domicile numérique, choisissez la simplicité.

Puzzle OpenGL multi-joueur à la « Tetris Attack ». Hautement addictif dès que vous passez la barre des 800 !;)

[NON MAINTENU]
Cryptocat est un logiciel libre destiné à permettre des communications sûres et chiffrées.

Gestionnaire d'informations NoCode

Un langage de programmation pour la création sonore, accompagné de nombreuses interfaces.

Editeur de texte et logiciel de développement multiplateforme.

Messagerie décentralisée ,protégeant la vie privée et résistante aux métadonnées.

Gestionnaire de favoris et de flux basé sur le web.

Cytoscape est un logiciel d'analyse et de visualisation de données de réseaux