Developer Tools Startups

Athanor builds Kairos, a verification engine for hardware and software that uses formal tools to prove or refute equivalence for RTL optimizations, carrying machine-checked proof and measured area reductions. It also maintains Pythia, an open-source Lean 4 tactic library for theorem proving, serving engineering teams that require formally verified computational claims.

1 investor

Athena builds an AI agent system with an institutional knowledge graph that learns and operates within companies by continuously extracting and organizing facts from meetings, documents, and email to maintain accurate organizational memory.

1 investor

Atmosera develops the Atmosera Management Platform (AMP), a proprietary tool for managing, monitoring, and optimizing Microsoft Azure cloud resources and infrastructure deployments. The platform serves organizations seeking comprehensive Azure management and compliance capabilities.

1 investor

Atom Stars builds games, virtual worlds, and gamified applications for brands using gaming technologies and design expertise. The company serves enterprise clients and brand owners seeking to launch games, metaverse experiences, and AI-powered gaming solutions quickly.

1 investor

The company provides IT service solutions designed to improve customer experience through integration with team workflows and objectives.

1 investor

Atomicorp provides security and compliance automation for workloads deployed across cloud and datacenter environments, built on the OSSEC open source foundation. The platform detects malicious activity and protects critical business workloads regardless of deployment location.

1 investor

Atomized automates cloud infrastructure deployment and management for development teams by connecting GitHub repositories to AWS accounts, giving engineers control over their own infrastructure without requiring cloud expertise.

1 investor

atopile provides a code-based programming language for designing electronic circuit boards, allowing engineers to automate and reuse designs instead of relying on graphical design interfaces.

1 investor

Atrisa provides an AI-powered assistant for analog circuit design, enabling engineers to create designs, debug circuits, and run simulations through natural language interaction.

1 investor

Atsumell provides AI-native products and consulting services to transform software development workflows in Japan's IT industry. The company offers a specification editor (Kakusill), partner management platform, and AI agents to restructure the entire value chain of system development from requirements definition through automation.

1 investor

A form builder that generates forms from an Attio CRM workspace schema, with submissions writing directly back to the CRM to create or update records and list entries. Aimed at teams using Attio, it supports conditional logic, embeddable forms, smart field types, and file uploads.

1 investor

Attrecto is a digital solutions agency that builds custom software, web, and mobile applications and AI/data solutions, and provides consulting, staff augmentation, and corporate training. It serves businesses across industries including banking, insurance, telecommunications, healthcare, retail, and automotive.

1 investor

Audobox provides software for collecting user feedback directly within applications, designed to be accessible to both developers and end users.

1 investor

Aurorin builds a modern CAD platform designed to accelerate engineering iteration by reducing software latency and integrating AI-native workflows. The company targets engineers and product teams who need faster design feedback cycles across industries including aerospace, robotics, and medical devices.

1 investor

The Australian Technologies Competition is a national awards and acceleration program for Australian technology scale-ups with global growth potential across sectors including clean energy, fintech, medtech, and advanced manufacturing. The program provides mentoring, masterclasses, networking, and investor connections to help emerging technology companies develop and scale their businesses internationally.

1 investor

Autentika provides analysis and optimization services for existing software solutions, helping companies identify performance bottlenecks, technical debt, and user experience issues without requiring a full rebuild. The company combines data analysis, user research, and technical expertise to recommend improvements that extend product lifespan and reduce operational costs.

1 investor

Authing provides an identity cloud (IDaaS) platform offering authentication, single sign-on, multi-factor authentication, unified permission management, and event-driven identity automation via APIs and SDKs. It serves enterprises and developers across B2B, B2C, B2E, and IoT scenarios in industries such as finance, manufacturing, healthcare, automotive, and technology, with a focus on the Chinese market.

1 investor

Autolab is an autoresearch platform that uses autonomous AI agents to run the machine learning research loop, proposing experiments, writing code, training and evaluating models, and iterating against a user-defined eval and goal. It runs thousands of experiments in parallel on a customer's own GPUs or cloud account, serving ML teams working on pre-training, fine-tuning, post-training, and inference optimization.

1 investor

Autoheal provides an AI-powered platform for engineering organizations to automate software development lifecycle tasks and operational management. It is designed for enterprise platform engineering teams to reduce manual overhead and improve developer productivity through autonomous agents.

1 investor

Autolab is an autoresearch platform for AI model training that uses autonomous AI agents to plan, code, run, and score machine learning experiments in parallel across a customer's own compute, iterating until a defined goal and eval metric are met. It serves ML teams working on pre-training, fine-tuning, post-training, and inference optimization, running on the customer's cluster or cloud account so code, data, and weights stay within their network.

1 investor

AutomatePro provides test automation and DevOps software solutions specifically designed for ServiceNow enterprise cloud platforms. The company serves Fortune 500 and FTSE 100 companies and their system integrators by enabling faster test automation and improved software quality.

1 investor

Automatika develops software infrastructure for intelligent robots and physical agents using computer vision, control theory, and machine learning. The company was founded as a spin-off from Inria, France's national research institute for computer science and AI.

1 investor

Transcodes provides a biometric authentication and access-control layer for internal admin tools and AI agents, using passkeys, security keys, and one-time passwords instead of passwords or social logins. It offers role-based access control, step-up verification for sensitive actions, audit logs, encrypted backups, and Slack/webhook alerts for engineering and operations teams building internal backoffice applications.

1 investor

AutonomIQ offers an AI-driven, low-code test automation platform that generates automation scripts from plain English using natural language processing, with autonomous discovery, self-healing, and parallel test execution across browsers and operating systems. It targets software development and QA teams looking to reduce testing time, effort, and cost while maintaining quality throughout the application lifecycle.

1 investor