Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress.

Get the main content of any page as Markdown.

Highlight and capture the web in your favorite browser. The official Web Clipper extension for Obsidian.

the runtime your coding agents live on

like netcat, but over Tailscale's data plane, without Tailscale's control plane

eRPC — fault-tolerant evm rpc proxy

Lightweight Rust LSP optimized for low memory usage

Vim - the text editor - for macOS

Ambire Wallet: making self-custody easy and secure for the EVM ecosystem

DeepSeek Harness: Everything is a Plugin.

Unlocking _everything_ on the CPU with DRAM scrambling

A relative time formatting library, with no code.

Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

World's fastest and most advanced password recovery utility

Mono-repository for Ledger Wallet apps and related packages

Git at scale platform

Backstitch: Real-Time Version Control for Godot

Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

A site for gas tools, fees, and more

ClickHouse® is a real-time analytics database management system

macOS and Linux VMs on Apple Silicon to use in CI and other automations

Ownerless, neutral fork of wei-names: .gwei names on Ethereum. Fixed length-based fees, burned not collected, no admin. Contracts + dapp + gns-utils SDK.

Monocoque is a high-performance messaging kernel for Rust, not just a library.

Rust's extended standard library: simplicity, performance and supply chain security for everyone.

An 8-stage vulnerability-discovery agent.