Cher Mastodon, je cherche à lister les produits ou améliorés par des laboratoires de recherche français, peux-tu m'aider?

Les contributions sont les bienvenues sur ce dépôt : github.com/bzg/logiciel-libre- 🙏

@framasky
Concernant Frama-C, l'INRIA a contribué mais c'est principalement développé par le laboratoire de sûreté des logiciels du CEA.
@bzg

Suivre

@deltadelta @framasky Merci pour la précision - j'ai ajouté un fichier (encore vide) pour renseigner des études de cas. Si certains veulent se lancer, même quelques éléments factuels peuvent aider.

Inscrivez-vous pour prendre part à la conversation
Mastodon - etalab

Instance ouverte pour test - lire les CGU Elle est ouverte à tout agent possédant un compte email en ".gouv.fr" ou la liste disponible sur https://forum.etalab.gouv.fr/t/mastodon-le-reseau-social-libre-et-decentralise-en-plein-decollage/3538