The financial transactions database designed for mission critical safety and performance.

Audio synthesis, processing, & analysis platform for iOS, macOS and tvOS

Trigger.dev – build and deploy fully‑managed AI agents and workflows

Google Cloud Client Library for Java

Nix Packages collection & NixOS

A high performance caching library for Java

CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊

YDB is an open source Distributed SQL Database that combines high availability and scalability with strong consistency and ACID transactions

A query and indexing engine for Redis, providing secondary indexing, full-text search, vector similarity search and aggregations.

AI Agents & MCPs & AI Workflow Automation • (~400 MCP servers for AI agents) • AI Automation / AI Agent with MCPs • AI Workflows & AI Agents • MCPs for AI Agents

Migrate C code to Rust

SGLang is a high-performance serving framework for large language models and multimodal models.

Open-source developer platform to power your entire infra and turn scripts into webhooks, workflows and UIs. Fastest workflow engine (13x vs Airflow). Open-source alternative to Retool and Temporal.

A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!

Visual Studio Code

The leading data integration platform for ETL / ELT data pipelines from APIs, databases & files to data warehouses, data lakes & data lakehouses. Both self-hosted and Cloud-hosted.

Temporal service

Lean 4 programming language and theorem prover

A platform for community discussion. Free, open, simple.

A React-based UI toolkit for the web

A concise API for exploratory data visualization implementing a layered grammar of graphics

Geometry library for topological robustness

Wasm/JS runtime for Rive

Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

ClickHouse® is a real-time analytics database management system