Developer Tools Startups

Theorem.dev provides verified software engineering through lf-lean, an AI-powered translation tool that converts formal mathematical proofs from Rocq to Lean significantly faster than manual translation.

1 investor

Thepeer builds payment infrastructure that enables businesses to offer faster, more reliable payment experiences to their customers, allowing transfers, account funding, and payments through a unified platform. The company serves businesses across Africa with APIs and easy-to-use solutions for payment processing.

1 investor

Thesys builds Generative UI technology that lets teams create AI products with real-time interfaces that adapt to context and user intent. It provides tools for developers building AI-driven, dynamic user experiences.

1 investor

Stake is a digital real estate investment platform that enables global property ownership by providing access to curated real estate funds and fractional ownership opportunities. The platform serves investors worldwide seeking exposure to property markets across the Middle East, South Asia, and the United States.

1 investor

Think-Reason-Learn (TRL) is an open-source decision harness that combines machine learning and language models, using a language model to answer plain-language questions about each case while learning from past outcomes which questions matter. It produces fast, low-cost, explainable predictions on text, transcripts, video or image evidence for use cases such as startup outcomes, pitch assessment, litigation, earnings calls, clinical trials, insurance claims and loan applications.

1 investor

Deploy is a game and software development studio with expertise in tools such as Unity, Unreal Engine, Ruby, and UX design, working on client projects. It positions itself as a team-based studio that takes on and delivers development work.

1 investor

Thorgate is a product development agency that builds web and mobile applications for startups and corporations, with particular expertise serving traditional industries like forestry and energy that are adopting digital technologies. Based in Estonia and London, the team combines design, development, and business strategy across a range of technology domains.

1 investor

ThoughtData provides unified observability and IT monitoring solutions for enterprises to reduce downtime, optimize infrastructure performance, and detect cybersecurity threats across applications, networks, and IT infrastructure.

1 investor

RingCaptcha provides SMS-based verification and customer engagement tools for businesses, including one-time password delivery, fraud detection, and direct messaging capabilities. The platform helps companies screen leads, verify user identity, and communicate with customers while blocking fraudulent activity.

1 investor

Redwood Software provides workload automation and managed file transfer solutions that orchestrate, manage, and monitor workflows across applications, middleware, and infrastructure in cloud or on-premise environments for enterprise customers globally.

1 investor

Tilebox is a platform for teams building geospatial products that combines a live geospatial data catalog, workflow coordination, and job-level logging and tracing in one system. It lets engineers query data across open and commercial sources, run their own processing code on infrastructure they control, and debug failures, with support for agents to write, run, and fix workflows.

1 investor

Tilework (Nori) provides infrastructure for running AI coding agents, letting engineering teams use any agent, model, compute provider, and integration with a portable context layer, security, routing, and observability built in. It targets developer and engineering organizations with use cases like on-call first response, documentation upkeep, and internal Q&A.

1 investor

Tilted lets users define AI agents by persona, tools, and behavior and publish them to a marketplace, with an encrypted vault that connects agents to over 1,000 services. It offers a free tier that scales up to larger studios.

1 investor

Vector is an open-source tool for collecting, transforming, and routing logs and metrics through configurable pipelines. It supports multiple sources, transforms, and sinks (such as Datadog, Kafka, Elasticsearch, AWS S3, and Splunk) and can be deployed in distributed, centralized, or stream-based topologies.

1 investor

Timekit is a scheduling platform that scans calendars for availability and enables businesses and teams to manage customer bookings. It provides customizable appointment scheduling, team distribution, notifications, and integrations for organizations of any size.

1 investor

timer.now is a browser-based timing toolkit offering countdowns, intervals, and specialized timers for cooking, studying, workouts, and focus work, with all processing occurring locally on the user's device.

1 investor

Timerise builds custom, fully-owned booking systems for businesses whose booking flow is core to their operations, delivered as a fixed-price project with complete code and IP handoff rather than a SaaS subscription. Its building blocks include a booking API, admin panel, booking pages and services catalog, plus data migration from existing platforms and multi-year post-delivery support.

1 investor

TinaCMS is a Git-backed content management system with an open-source frontend that lets developers work with Markdown files in a repository while giving editors a visual editing interface. It targets teams building or maintaining websites, supporting branching, merging, and version control workflows.

1 investor

Tipe is an open-source, headless CMS that lets teams edit, preview, and publish content for their applications. It enables non-technical team members to manage dynamic content and gather feedback before publishing, with setup handled by a developer.

1 investor

TIS is a digital experience agency that designs customized quoting and proposal solutions within HubSpot for professional services companies seeking enhanced branding and structured presentation of their offerings.

1 investor

Paper Instruments develops frontier AI models and tooling for knowledge work, including agent-first office document libraries and models tailored for white-collar professional services.

1 investor

Tnkr is a platform for documenting, sharing, and collaborating on open-source robotics and "physical intelligence" projects, where builders can publish assembly instructions, bills of materials, control software, and model training data. It serves robotics developers and contributors building projects ranging from humanoids to quadrupeds, with AI assistance to guide builds.

1 investor

Tnkr is a collaboration platform for open-source robotics and physical-intelligence projects, letting makers document hardware assembly, bills of materials, control software, and training data in one place. It offers a project directory and AI-guided build instructions so contributors can build, remix, and contribute to robots ranging from humanoids to quadrupeds.

1 investor

Tobiko builds a data transformation platform with state-aware architecture designed to reduce warehouse costs and build times for data engineering teams. The company, now part of Fivetran, serves growing startups and enterprises seeking more efficient data workflows.

1 investor