Distros

Logo Gnu

Accueil Nos sources articles Téléchargements Liens Liste des GuLLs agenda contacts Plan du site Visioconférence
FR USUK DE IT SP mardi 24 novembre 2020 | Connecter

Login

Réseaux sociaux

Vous pouvez nous suivre sur : 

   

   Framasphère

    Mastodon

    Twitter

Sites amis

Hébergement

Bientôt


OPEN SOURCE : Coup de Cœur Open Source Académique, une récompense pour Why3
Publié par Christian le 19-11-2020 09:20:00 (6 lectures)
OPEN SOURCE

Le tout premier prix Coup de Cœur Académique a été remis à Why3 dans le cadre de de l’OSIS winter edition 2020. Focus sur ce projet open source.

Cette année, le Hub Open Source du Pôle Systematic a souhaité mettre en avant les projets académiques qui ont marqué les entreprises de l’Open Source et lance son premier Prix Coup de Cœur Académique. Il est allé à Why3...La suite sur toolinux.com

Format imprimable Envoyer cet article  un ami Crer un fichier PDF  partir de cet article

RECHERCHER

Parole de geek

Question : Où partent les geeks en vacances ? Réponse : Au C-Shell.

Hackable MagazineLinux Identity Collection

Linux Identity Kit

Linux Identity Set

Linux Inside

Linux Inside HS

Linux Magazine

Linux Magazine HS