The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Visualize Ownership and Lifetimes in Rust
Comfortably monitor your Internet traffic 🕵️♂️
An extremely fast Python package and project manager, written in Rust.
The Rust web framework for lazy developers.
Command line interface for supplying proofs to the Nexus network.
YC (S26) | Record your screen 24/7 and plug into your agents. Local, private, secure. Connect to OpenClaw, Hermes agent and 100+ apps
Main repository for the Linera protocol
A markup-based typesetting system that is powerful and easy to learn.
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
Generate any location from the real world in Minecraft with a high level of detail.
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
Give agents an operating system as a library. Runs in your existing backend – no sandboxes, VMs, or SaaS. Powered by WebAssembly & V8 isolates.
A Language Server for Postgres
Oxidized Astrodynamics
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
An extremely fast Python linter and code formatter, written in Rust.
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
Empowering everyone to build reliable and efficient software.
The Nexus zkVM: The zero-knowledge virtual machine
🤱🏻 Turn any webpage into a desktop app with one command.
Fullstack app framework for web, desktop, and mobile.