Starred repositories
AI agents running research on single-GPU nanochat training automatically
Create executable documents that demonstrate an agent's work
An agentic skills framework & software development methodology that works.
Maintained - uBlock Origin filter list to hide YouTube Shorts
Easily convert your Day One journals into Obsidian markdown.
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Introductory lecture notes on programmable cryptography
Threshold HA CometBFT/Tendermint remote signer
E2E Testing Library for Celestia App, Celestia Node and the EVStack
CLI tool for downloading Celestia node snapshots
An extremely fast Python package and project manager, written in Rust.
Source code for "Building Cryptographic Proofs from Hash Functions"
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
The Cosmos SDK implementation of Hyperlane.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
Smart contracts for onchain verification of SP1.
The game-changing wallet for Ethereum and all EVM chains
The Mullvad VPN client app for desktop and mobile
This is a solidity implementation of IBC v2.