Directory

Open-source vector search engine written in Rust with filterable HNSW indexes, sparse and multi-vector support, REST/gRPC APIs and a managed cloud

Algorithmic trading platform built on the open-source LEAN engine, with cloud backtesting, research notebooks and brokerage-connected live trading

Open-source message broker in Erlang supporting AMQP 0-9-1 and 1.0, MQTT, STOMP and Streams, with routing, acknowledgements and quorum queues

Extensible launcher for macOS (with Windows and iOS versions) combining app search, clipboard history, snippets, window management and a store of community extensions

Static analysis engine that matches code patterns written in the target language's own syntax, with an LGPL community edition and a commercial AppSec platform

Channel-based team messaging platform from Salesforce with threads, huddles, canvases, workflow automation and an extensive bot and app API

Commercial statistical software from StataCorp widely used in economics and social science, with editions BE/SE/MP, a command language, Mata and comprehensive PDF manuals

Salesforce's visual analytics platform: Tableau Desktop authoring (now with a free edition), Tableau Cloud and Server for sharing, and Tableau Next for CRM analytics

WireGuard-based mesh overlay network with a hosted coordination service, identity-provider login, access policies, MagicDNS and features such as Tailscale SSH, Serve and Funnel

Infrastructure-as-code tool that provisions cloud and SaaS resources from HCL configurations through a plan-and-apply workflow, licensed under BSL 1.1

PostgreSQL extension for time-series data adding hypertables, compression and continuous aggregates, from the company now named Tiger Data

Cloud-native reverse proxy and ingress controller that discovers routes from Docker, Kubernetes and other providers and automates TLS through ACME

Markup-based typesetting system with an Apache-2.0 compiler written in Rust and a collaborative web app, positioned as a faster, simpler alternative to LaTeX

Commercial terminal built in Rust that groups output into blocks, adds an IDE-style input editor and integrates AI agents for command generation and debugging

Open-source vector database in Go with pluggable vectorizer modules, hybrid BM25 and vector search, multi-tenancy and a managed cloud

Wolfram Research's proprietary technical computing system built on the Wolfram Language, with notebooks, symbolic and numeric computation, visualization, machine learning and curated data

Video meetings and webinar platform, now packaged as Zoom Workplace with team chat, phone, whiteboard, AI Companion and developer APIs and SDKs