Empowering everyone to build reliable and efficient software.

An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

A modern runtime for JavaScript and TypeScript.

An extremely fast Python package and project manager, written in Rust.

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

A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.

🔮 ChatGPT Desktop Application (Mac, Windows and Linux)

Secure and fast microVMs for serverless computing.

A library for building fast, reliable and evolvable network services.

A high-performance observability data pipeline.

Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

Spotify for the terminal written in Rust 🚀

Distributed transactional key-value database, originally created to complement TiDB

⬛️ CLI tool and library for saving complete web pages as a single HTML file

Ping, but with a graph

open source training courses about distributed database and distributed systems

Tools for concurrent programming in Rust

A markdown terminal slideshow tool

Fast, collaborative live terminal sharing over the web

Postgres with GPUs for ML/AI apps.

The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL

Open-source, cloud-native, unified observability database for metrics, logs and traces, supporting SQL/PromQL/Streaming.

Interactive JSON filter using jq

Fast web applications through dynamic, partially-stateful dataflow

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Borgo is a statically typed language that compiles to Go.

Build Postgres Extensions with Rust!

A curated list of replacements for existing software written in Rust

Kubernetes Rust Kubelet

Mirror of https://gitlab.redox-os.org/redox-os/tfs