Annuaire du CNLL

Société: OCAMLPRO

Description

Fournir des services et des outils pour le développement rapide de logiciels de haute qualité
Expertise dans le langage OCaml, dans l'application des méthodes formelles et des outils d'analyse, d'optimisation et de vérification de code

Informations légales

Site web
http://www.ocamlpro.com/
Numéro SIREN
531468429
Code NAF
62.01Z — Programmation informatique
Effectifs
20 à 49 salariés
Date de création
2011-04-04
Cluster
Hub Open Source Systematic

Solutions et technologies

Debian Emacs GNU Compiler Collection Git JavaScript LLVM Linux MLDonkey OCaml Scilab Vim Xen

2 établissements