Framalibre

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.

Cyberduck est un client open source FTP.

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

Dark Moon est un sous-système portable émulant les fonctionnalités POSIX grâce à Cygwin.dll.