About Dependently-Typed
Dependently-Typed is a software development company specializing in programming languages and type theory. The company focuses on creating tools and frameworks that leverage dependent types to enhance software reliability and correctness. Their work often intersects with academic research in computer science, particularly in the areas of functional programming and formal verification. By providing innovative solutions, Dependently-Typed aims to improve the development process for software engineers and researchers alike, making it easier to build robust applications. The company is known for its contributions to the open-source community, offering various libraries and tools that facilitate the use of dependent types in practical programming scenarios.
Company facts
- Industry
- Computer Software
- Sub-industries
- Programming Languages, Software Development, Type Theory, Functional Programming, Open Source Software
- Location
- San Francisco, United States
- Employees
- 1–10
- Revenue (USD)
- 1–5M
- Founded
- 2020
Products and services
Open Dependently-Typed in GlobalDeal Is this your company? Update the details for free
More Computer Software companies in United States
- Lexisnexis Legal
LexisNexis Legal is a leading provider of legal, regulatory, and business information and analytics. The company offers a comprehensive suite of tools and services designed to… - Ansible By Red Hat
Ansible by Red Hat is an open-source automation platform that enables IT teams to automate their infrastructure, applications, and network configurations. It simplifies the… - Siemens Digital Industries Software
Siemens Digital Industries Software is a leading provider of software solutions for the manufacturing and industrial sectors. The company specializes in digital transformation… - Intuit
Intuit Inc. is a financial software company that specializes in products for small businesses, accountants, and individuals. Founded in 1983, Intuit is best known for its… - Adobe
Adobe Inc. is a multinational computer software company headquartered in San Jose, California. It is known for its multimedia and creativity software products, including… - Microsoft 365 Partner
Microsoft 365 Partner is a program designed to help businesses leverage the Microsoft 365 suite of products and services to enhance productivity, collaboration, and security.… - Microsoft Power Platform Partner
Microsoft Power Platform Partner is a collaborative network of organizations that specialize in delivering solutions and services built on the Microsoft Power Platform. This… - Dynamics 365 Partner
Dynamics 365 Partner is a collaborative network of organizations that specialize in providing solutions and services based on Microsoft's Dynamics 365 platform. This platform… - Vmware
VMware, Inc. is a global leader in cloud infrastructure and digital workspace technology. Founded in 1998, VMware pioneered virtualization technology, enabling businesses to run… - Intuit Accountants
Intuit Accountants is a division of Intuit Inc., a leading financial software company that provides solutions for accounting professionals. The company focuses on delivering… - Sas
SAS is the leader in business analytics software and services, and the largest independent vendor in the business intelligence market. Through innovative solutions, SAS helps… - Sailpoint
SailPoint Technologies Holdings, Inc. is a leading provider of identity governance solutions, helping organizations manage and secure their digital identities. Founded in 2005…