Annuaire du CNLL

OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.

Votre partenaire formation, spécialiste du poste de travail Notre ADN : l’usage de logiciels libres Notre métier : vous écouter et répondre à vos besoins spécifiques, parce que chacun a son histoire. Notre expertise : vous former et vous aider à optimiser vos outils bureautiques. Nos valeurs : être à vos côtés dans une démarche qualité,

QuantStack est un éditeur de logiciel open-source spécialisé dans le calcul scientifique. Notre équipe compte parmi les principaux développeurs de projets majeurs comme Jupyter et conda-forge. Notre équipe est principalement localisée en France et en Allemagne, et nos clients dans le monde entier. De la robotique industrielle à la banque, de l'enseignement à la recherche. Nous développons les outils utilisés par des millions d'ingénieurs et de scientifiques dans le monde.

Société de services et de conseils experte en Logiciels Libres (Open Source) à Laval (53). Notre métier est axé autour de l'architecture des systèmes d'informations en utilisant des briques libres. Véritable spécialiste de la gestion de parc informatique respectant les bonnes pratiques ITIL. Être Libre, c'est savoir choisir ses outils comme ses partenaires.