derivative

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

Warp is an agentic development environment, born out of the terminal.

Search infrastructure for AI

Get 10X more out of Claude Code, Codex or any coding agent

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

Community-built comprehensive 2D content creation appplication for graphic design, digital art, and interactive real-time motion graphics powered by a node-based procedural graphics engine

FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications

A high-performance observability data pipeline.

A simple, decentralized mesh VPN with WireGuard support.

Incremental engine for long horizon agents 🌟 Star if you like it!

Command-line client for WebSockets, like netcat (or curl) for ws:// with advanced socat-like functions

Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/

A fast type checker and language server for Python

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

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

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

Build system, successor to Buck

由 Rust & Tokio 驱动的哔哩哔哩同步工具

The Orchestration Engine To Deliver Self-Service Infrastructure ⚡️

Cairo is the first Turing-complete language for creating provable programs for general computation.

Monorepo for Javascript WebAssembly packages by Wasmer

PyTorch Single Controller

A Rust implementation of the Starlark language

A completely decentralized alternative to the current-day web.

A configurable, high-performance routing runtime for Apollo Federation 🚀

🌊 Continuously synchronize the systems where your data lives, to the systems where you _want_ it to live, by managing your data flows with Estuary. 🌊

Discord bot command framework for serenity, with advanced features like edit tracking and flexible argument parsing

Toolkit for real-time, low latency, programmable video and audio mixing.

A Wayland Compositor

A client and server implementation of the OPC UA specification written in Rust

rbuilder is a blazingly fast, state of the art Ethereum MEV-Boost block builder written in Rust

A flexible toolkit for building real-time blockchains

PCB tooling by Diode Computers, Inc.

Distributed immutable data store with strong encryption and authentication

Logos blockchain node

Another typechecker for Hack, built by Slack

Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/

Service to provide historical messages to Twitch chat clients

Modern healthcare clinical data repository. Built for performance and scale.

An open-source protocol and distributed network for confidential coordination.

Warp 客户端中文本地化与自定义改造（fork from warpdotdev/warp）

Atlaspack is the frontend bundler used to build Atlassian products, written in JavaScript and Rust by core contributors of Parcel.

A TiKV based `c dynamic library` for extending storage system in TiDB cluster

A toy document DB mainly created for self-education and fun

Rewrite of indexer-service in Rust with TAP payments implementation

OpenWarp x86_64 build

Rust implementation of HEM calculation