TypeSafe AI

TypeSafe

TypeSafe develops artificial intelligence models for software developers to automate decision-making, classification, and routing tasks within their applications.

Safe Intelligence

This company develops formal verification and validation software for machine learning models used by developers in finance, mobility, robotics and aviation sectors.

Neuromorphic Labs

This company develops artificial intelligence infrastructure software providing verifiable trust and governance for production systems to organisations deploying models and agents at scale.

Found AI

This company develops a context engine and intelligence platform to automate complex workflows and operational decisions for enterprises with physical operations.

Hyphen AI

This company develops an artificial intelligence platform to automate cloud infrastructure deployment and access management for software developers and engineering teams.

Actual AI

This company develops an autonomous agentic platform for engineering management to automate workflows and maintain architectural consistency for software development teams.

Decision Computing

This company provides a platform for businesses to build and manage traceable AI agents for automating complex document workflows and insurance claims.

OrbDB Labs

This company develops software providing reliability layers and infrastructure for enterprise artificial intelligence automation to ensure mathematically guaranteed output and controlled risk levels.