Companies that use 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
companies
List of companies using 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
We have data on 2 companies and users that use FStar. Our FStar users and customers list is available for download and comes enriched with vital company specifics, including industry classification, organizational size, geographical location, funding rounds, and revenue figures, among others.
Technology Usage Statistics and Market Share
How to target FStar users
- How to customize this list?
You can customize this data to your needs by filtering for geography, industry, company size, revenue, technology usage, job postions and more. You can download the data in Excel or CSV format.
- How to be alerted when companies adopt this technology?
You can get alerts for this data. You can get started by selecting the technology you are interested in and then you will receive alerts in your inbox when there are new companies using that technology.
- How to import this data to my CRM?
You can export this data to an Excel file, which can be imported into your CRM. You can also export the data to an API.
Frequently asked questions