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.
0
companies
Technology Usage Statistics and Market Share
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.
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.
You can export his data to an Excel file, which can be imported into your CRM. You can also export the data to an API.
Frequently asked questions