Entreprises utilisant FStar
F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties.
2
entreprises
Liste des entreprises utilisant FStar
curl --request POST \
--url "https://api.theirstack.com/v1/companies/search" \
--header "Accept: application/json" \
--header "Content-Type: application/json" \
--header "Authorization: Bearer <api_key>" \
-d "{
\"company_technology_slug_or\": [
\"fstar\"
]
}"Technology
is any of
FStar
Nous disposons de données sur 2 entreprises et utilisateurs utilisant FStar. Notre liste d'utilisateurs et de clients de FStar est disponible en téléchargement et est enrichie de spécificités essentielles de l'entreprise, y compris la classification industrielle, la taille de l'organisation, la localisation géographique, les tours de financement et les chiffres d'affaires, entre autres.
Statistiques d'utilisation de la technologie et part de marché
Comment cibler les utilisateurs de FStar
- Comment personnaliser cette liste ?
Vous pouvez personnaliser ces données selon vos besoins en filtrant par géographie, industrie, taille de l'entreprise, chiffre d'affaires, utilisation de la technologie, offres d'emploi et plus encore. Vous pouvez télécharger les données au format Excel ou CSV.
- Comment être alerté lorsque des entreprises adoptent cette technologie ?
Vous pouvez recevoir des alertes pour ces données. Commencez par sélectionner la technologie qui vous intéresse et vous recevrez des alertes dans votre boîte de réception lorsque de nouvelles entreprises utilisent cette technologie.
- Comment importer ces données dans mon CRM ?
Vous pouvez exporter ces données vers un fichier Excel, qui peut être importé dans votre CRM. Vous pouvez également exporter les données vers une API.
Questions fréquentes