Ocamlpro531468429

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

2 route de la Noue 91190 Gif-sur-Yvette

Indice de confiance

Laissez un avis

Chiffre d'affaires

-

Président

Muriel

Shan Sei Fan

Effectif 2022

20 à 49

Ancienneté

14 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. Cette dernière dispose une marque déposée qui est Origin Labs. Le SIREN : 531468429 est associé à l'entreprise. Le numéro de TVA correspondant à l'activité de Ocamlpro est : FR03531468429. Au cours de l'année 2022, le nombre de personnes qui travaillaient pour cette structure était de 20 à 49 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 68 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 20 à 49 (2022)
  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

Obligations de vigilance

{[{ item.title }]}

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.

PRO

Allez plus loin

Accéder aux détails du dossier et suivre l'avancement de la mise en conformité de la société.

En savoir plus

Loi SAPIN II (encadrant la corruption)

SAPIN II non certifié

Responsabilité sociétale des entreprises (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

Cette entreprise n'a pas réalisé son Bilan Carbone®.
Avec B-Reputation, réalisez votre Bilan Carbone® afin d’anticiper la gestion de vos émissions de gaz à effet de serre.

Avis Ocamlpro (0)

Que pensez-vous de Ocamlpro ?

Actuellement aucun avis publié, soyez le premier !

Laisser un avis

Dirigeants Ocamlpro (2)

Parité

50%50%
  • Muriel Shan Sei Fan

    Président

    Présent

    En poste
  • Fabrice Le Fessant

    Directeur général

    Présent

    En poste

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 (6)

  • Modification

    30 mars 2025

    OCamlPro a déménagé son siège social, précédemment situé à l'adresse 6 Allée de la Croix Saint-Pierre - 91190 Gif-sur-Yvette, à l'adresse 2 Route de la Noue - 91190 Gif-sur-Yvette.

  • Modification

    18 mars 2025

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

  • 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.

Marque déposée (1)

  • Origin Labs

    25 oct. 2022

    Demande totalement rejetée

Répartition par classe des marques

Classe principale

La catégorie la plus utilisée est la classe 42, à savoir "Recherches scientifiques et techniques, services liés aux logiciels".

ClasseNb de marques
42 1

Adresses Ocamlpro (2)

  • Siret : 53146842900034 (siège social)

    Actif

    2 route de la Noue 91190 Gif-sur-Yvette

    Activités des sièges sociaux (7010Z)

    12 nov. 2024

    Siret : 53146842900026

    Actif

    21 rue de Chatillon 75014 Paris

    Programmation informatique (6201Z)

    7 oct. 2018

    20 à 49

  • Siret : 53146842900018

    Fermé

    6 allee de la Croix Saint Pierre 91190 Gif-sur-Yvette

    Programmation informatique (6201Z)

    4 avr. 2011

    12 nov. 2024

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.

Être maître de son empreinte carbone

Bilan Carbone®

Réalisez votre Bilan Carbone® conforme à la méthode de l'ABC et pilotez efficacement votre transition écologique.

Bilan Carbone®

Assurer la confiance de vos partenaires

Conformité

Simplifiez la gestion de vos obligations RSE, loi Sapin II et Vigilance avec notre solution tout-en-un.

Conformité