Annuaire du CNLL

Société: Functori

Description

Functori est une société de R&D créée par des ingénieurs experts en langages de programmation (notamment OCaml), la vérification formelle (raisonnement automatisé, model checking, etc.), et la technologie blockchain (coeur/noyau, smart contracts et développement d'applications).

En plus de contribuer à des outils et des bibliothèques en OCaml et
pour la communauté OCaml, nous participons au développement de la
blockchain Tezos de diverses manières :

  • développement du coeur/noyau,
  • construction d'outils et de bibliothèques open-source pour la communauté (comme des indexeurs/crawlers, des bibliothèques pour interagir avec la blockchain Tezos, etc.)
  • participation au développement de projets innovants pour nos clients,
  • audit de code pour nos clients,
  • conseil et formation.

Functori a été fondée en 2021 et est basée à Paris (France), avec des personnes travaillant à distance dans le monde entier.

Informations légales

Numéro SIREN
894980739
Code NAF
62.01Z — Programmation informatique
Effectifs
10 à 19 salariés
Date de création
2021-02-15

Solutions et technologies

1 établissement