proptest-derive

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

A Git-compatible VCS that is both simple and powerful

Search infrastructure for AI

Development at the speed of light

A high-performance observability data pipeline.

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Simple, Elastic-quality search for Postgres

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

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

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

Space and Time | Proof of SQL

The Deterministic Foundation for your SDLC

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

The Feldera Incremental Computation Engine

A graphical server OS optimized for self-hosting

A graphical server OS optimized for self-hosting

Internet Computer blockchain source: the client/replica software run by nodes

Noir is a domain specific language for zero knowledge proofs

The current, performant & industrial strength version of Holochain on Rust.

High-performance, well-tested & documented core libraries for Ethereum, in Rust

STARK-based virtual machine

The official Rust implementation of Conflux protocol. https://doc.confluxnetwork.org

Experimental WASM Microkernel Operating System

Scalable graph analytics database powered by a multithreaded, vectorized temporal engine, written in Rust

Zcash - Financial Privacy in Rust 🦓

Nix binary cache implemented in rust (maintainer: @Mic92)

Next generation map vector tiles format

A flexible toolkit for building real-time blockchains

The proof systems used by Mina

Cross platform application for controlling settings of Soundcore headphones, earbuds, and speakers. Supports desktop (CLI and GUI) and Android.

CRDT implementation which is compatible with https://github.com/yjs/yjs

Vector Remap Language

VApp Container with Move Language for Bitcoin ecosystem

A library providing networking utilities for NordVPN VPN and meshnet functionality

Execution client for Seismic

Madara is a powerful hybrid Starknet client written in Rust.

Open-source secret scanner in Rust. Service-specific detectors, SIMD on the CPU and an optional GPU path, live verification of which leaked keys are still active, and SARIF output.

The Chainflip backend repo, including the Chainflip Node and CFE.

Hierarchical Unified Graph Representation for quantum and classical programs

Declarative Nix CI system for clowns

Zcash full node, built for scale.

Telcoin Network protocol.