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

Lightweight coding agent that runs in your terminal

A smarter cd command. Supports all major shells.

A syntax-highlighting pager for git, diff, grep, and blame output

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

A Git-compatible VCS that is both simple and powerful

A massively parallel, high-level programming language

Spotify for the terminal written in Rust 🚀

ElKowars wacky widgets

⚓ Solana Program Framework

Kani Rust Verifier

Rust implementation of the Ethereum Virtual Machine.

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

The filesystem for agents.

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

A well-maintained fork of the dotenv crate

The Halo2 zero-knowledge proving system

Libraries for finite field, elliptic curve, and polynomial arithmetic

☠️ Common Security Exploits and Protections on Solana

An AT Protocol implementation prioritizing community safety and self-governance, written in Rust.

Surfpool is where developers start their Solana journey.

Rust-language assets for Zcash

A Rust implementation of the Groth16 zkSNARK

The ZK Compression Protocol For Solana

Rust SDK for The Open Network

A TUI for controlling and monitoring Framework Computers hardware built in Rust

Solana program parsing toolkit

Noname: a programming language to write zkapps

Extracts IDL from Solana Rust contracts