Ocamlpro531468429

Raison d'être : Non renseignée Non renseignée

6 allée de la Croix Saint Pierre 91190 Gif-sur-Yvette

Indice de confiance

Laissez un avis

Chiffre d'affaires

-

Président

Muriel

Shan Sei Fan

Effectif 2020

10 à 19

Ancienneté

11 ans

Indicateurs

Description

Programmation informatique

À propos

OCamlPro promotes the use of the OCaml programming language, by providing all services that companies would need to use it (training, consulting, development)Source : Twitter

OCamlPro tackles complex design challenges (blockchains, Domain Specific Languages) 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.
Source : Site web

Développement logiciel.Source : BODACC

En 2011, l'entreprise Ocamlpro avait 23000 euros de capital. Le SIREN : 531468429 est associé à l'entreprise. L'entreprise a pour Président Muriel Shan Sei Fan. Le numéro de TVA correspondant à l'activité de Ocamlpro est : FR03531468429. Au cours de l'année 2020, le nombre de personnes qui travaillaient pour cette structure était de 10 à 19 salariés. Les locaux de l'entreprise sont situés à Gif-sur-Yvette. La société dénommée Ocamlpro appartient au secteur de la programmation informatique. La création de l'entreprise date de l'année 2011. Son indice de confiance est de 53 sur 100. Cette entreprise est présente sur le web : elle dispose d'une page Twitter. Le nom de cette dernière est ocamlpro et son nombre de followers est de 1975.

Fiche d'identité

  1. Type Société par actions simplifiée (SAS)
  2. Date de création 04/04/2011
  3. Effectif 10 à 19 (2020)
  4. Capital social 23.000€ (2011) (Source RCS)
  5. TVA intercommunautaire FR03531468429
  6. Numéro de SIREN 531468429
  7. Code NAF Programmation informatique (6201Z)
  8. Statut SIRENE Active
  9. Statut RCS Immatriculée (05/04/2011)

Contacts

Site web

Site internet de Ocamlpro

Réseaux sociaux

Téléphone

Emails

{[{emailItem.email}]}

*******@******ro.com

*******@******ro.com

Obtenez des millions de téléphones et emails nominatifs.

En savoir plus

Il s’agit de votre entreprise ?

Mettez en valeur votre activité en complétant les informations de cette page et invitez vos partenaires à vous évaluer pour construire votre e-réputation.

Revendiquez votre page gratuitement !

Conformité

PRO

Accéder aux certificats de conformité

Assurez-vous de respecter la loi en vérifiant la tenue des engagements d'obligations de vigilance, SAPIN II et RSE de vos fournisseurs.

En savoir plus

Conformité

Obligations de vigilance

Statut du dossier d'obligations de vigilance

Le dossier de la société {[{company.usedName}]} est complet.

La société {[{company.usedName}]} n'a pas encore déposé tous les documents requis.

Loi SAPIN II (encadrant la corruption)

Évaluation Sapin II

Score Loi Sapin II

Membres répertoriés comme
Personnes Exposées Politiquement (PEP)

Sanctions connues

SAPIN II non certifié

Loi sur le Devoir de Vigilance (encadrant la RSE)

Note obtenue

Détails de son évaluation

Répartition des scores globaux

RSE non certifié

Bilan Carbone® (démarche RSE)

Statut


Bilan Carbone® non renseigné

Avec B-Reputation, réalisez votre Bilan Carbone® afin d’anticiper la gestion de vos émissions de gaz à effet de serre.

Prenez contact avec nous dès maintenant : conformite-achats@b-reputation.com

Avis Ocamlpro (0)

Que pensez-vous de Ocamlpro ?

Actuellement aucun avis publié, soyez le premier !

Laisser un avis

Dirigeants Ocamlpro (2)

Âge moyen des dirigeants

50 ANS

Durée moyenne de mandat

7 ANs 2 MOIS

Parité

50%50%
  • Muriel Shan Sei Fan

    Président

    2011 - Présent

    En poste

    ************@******ro.com PRO

    {[{ company.directors.identities[0].email }]}

  • Fabrice Le Fessant

    Directeur général

    2019 - Présent

    En poste

    ********@******ro.com PRO

    {[{ company.directors.identities[1].email }]}

Employés Ocamlpro (8)

  • Muriel SHAN S.

    Président

    ***********@******ro.com PRO

  • Willy T.

    Stage en ingénierie

    *****@******ro.com PRO

  • Vous voulez voir tous les employés ?

    Obtenez dès maintenant les mails nominatifs des employés clés

Score financier

PRO

Accédez au score financier

Vérifiez et anticipez le risque de défaillance de vos clients, fournisseurs et partenaires.

En savoir plus

Annonces légales (4)

  • Modification

    3 sept. 2019

    OCamlPro a apporté une modification à son capital social en le portant de 20 000 € à 23 000 €, soit une augmentation de 15,0%.

  • Modification

    21 mai 2019

    OCamlPro a apporté une modification à ses dirigeants ou son administration, qui se compose désormais comme telle :
    Président : SHAN SEI FAN Muriel Augustine ; Directeur général : LE FESSANT Fabrice.

  • Dépôt des comptes

    7 sept. 2012

    L'entreprise a déposé ses comptes annuels et rapports (arrêtés au 31/12/2011).

  • Immatriculation

    13 avr. 2011

    OCamlPro a créé un établissement et s'est immatriculée au Registre du Commerce et des Sociétés. La date de démarrage de l'activité est fixée au 04/04/2011.

  • Vous voulez voir toutes les annonces légales ?

    Créez un compte pour accéder à l'ensemble des données sur cette entreprise.

Adresses Ocamlpro (2)

  • Siret : 53146842900018 (siège social)

    Actif

    6 allée de la Croix Saint Pierre 91190 Gif-sur-Yvette

    Programmation informatique (6201Z)

    4 avr. 2011

    10 à 19

    Siret : 53146842900026

    Actif

    21 rue de Chatillon 75014 Paris

    Programmation informatique (6201Z)

    7 oct. 2018

Trafic du site web

Accédez aux statistiques du site web

Évaluez l'empreinte digitale de cette entreprise et son évolution grâce aux statistiques sur son trafic mensuel, ses sources du trafic, le temps passé par les internautes, etc.

En savoir plus

Blog Ocamlpro (10)

  • 09 février 2021

    opam 2.0.8 release

    We are pleased to announce the minor release of opam 2.0.8. This new version contains some backported fixes: Critical for fish users! Don’t add . to PATH. [#4078] Fix sandbox script for newer ccache versions. [#4079 and #4087] Fix sandbox crash when ~/.cache is a symlink. [#4068] User modificatio...

    Blog
  • 02 février 2021

    2020 at OCamlPro

    OCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While building a team of highly-skilled engineers, we navigated through our expertise domains, delivering works on the OCaml language and tooling, training companies to the u...

    Life at OCamlPro Blog Highlights
  • 22 janvier 2021

    Release of Alt-Ergo 2.4.0

    A new release of Alt-Ergo (version 2.4.0) is available. You can get it from Alt-Ergo’s website. The associated opam package will be published in the next few days. This release contains some major novelties: Alt-Ergo supports incremental commands (push/pop) from the smt-lib standard. We switched ...

    Formal Methods & Alt-Ergo Blog
  • 01 décembre 2020

    Memthol: exploring program profiling

    Memthol is a visualizer and analyzer for program profiling. It works on memory dumps containing information about the size and (de)allocation date of (some of) the allocations performed by some execution of a program.

    OCaml, Opam & OCaml Tooling Rust ocp-memprof Profiling stat-memprof Memory profiler
  • 30 septembre 2020

    Rehabilitating packs using functors and recursivity, part 2.

    This blog post and the previous one about functor packs covers two RFCs currently developed by OCamlPro and Jane Street. We previously introduced functor packs, a new feature adding the possiblity to compile packs as functors, allowing the user to implement functors as multiple source files or ev...

    OCaml, Opam & OCaml Tooling Compiler Functor OCaml
  • 24 septembre 2020

    Rehabilitating Packs using Functors and Recursivity, part 1.

    OCamlPro has a long history of dedicated efforts to support the development of the OCaml compiler, through sponsorship or direct contributions from Flambda Team. An important one is the Flambda intermediate representation designed for optimizations, and in the future its next iteration Flambda 2....

    OCaml, Opam & OCaml Tooling
  • 09 juin 2020

    A Dune Love story: From Liquidity to Love

    By OCamlPro & Origin Labs Writing smart contacts may often be a burdensome task, as you need to learn a new language for each blockchain you target. In the Dune Network team, we are willing to provide as many possibilities as possible for developers to thrive in an accessible and secure framework...

    Blockchains
  • 05 juin 2020

    [Interview] Sylvain Conchon joins OCamlPro

    On April 2020, Sylvain Conchon joined the OCamlPro team as our Chief Scientific Officer on Formal Methods. Sylvain is a professor at University Paris-Saclay, he has also been teaching OCaml in universities for about 20 years. He is the co-author of Apprendre à programmer avec OCaml with Jean-Chri...

    Formal Methods & Alt-Ergo Life at OCamlPro Highlights
  • 19 mai 2020

    A Solidity parser in OCaml with Menhir

    This article is cross-posted on Origin Labs’ Dune Network blog. We are happy to announce the first release of our Solidity parser, written in OCaml using Menhir. This is a joint effort with Origin Labs, the company dedicated to blockchain challenges, to implement a full interpreter for the Solidi...

    Blockchains
  • 21 avril 2020

    opam 2.0.7 release

    We are pleased to announce the minor release of opam 2.0.7. This new version contains backported small fixes: – Escape Windows paths on manpages [#4129 @AltGr @rjbou]– Fix opam installer opam file [#4058 @rjbou]– Fix various warnings [#4132 @rjbou @AltGr – fix #4100]– Fix dune 2.5.0 promote-insta...

    OCaml, Opam & OCaml Tooling

Réseaux sociaux Ocamlpro (1)

Entreprises - Essonne (91) - Gif-sur-Yvette (91190)

Allez plus loin avec B-Reputation

Découvrez comment nos données peuvent répondre à vos besoins.

RSE, BILAN CARBONE®

  • MESUREZ
  • ANALYSEZ
  • PILOTEZ
    VOS EMISSIONS CARBONE
Renforcez la confiance avec vos partenaires

DONNÉES des 11 millions ENTREPRISES Françaises

  • CONSULTEZ
  • SURVEILLEZ
  • PROSPECTEZ
Boostez votre Chiffre d’Affaires

CONFORMITÉ

  • OBLIGATIONS DE VIGILANCE
  • SAPIN II
  • RAISON D’ÊTRE
Développez votre image et votre notoriété