Arrow's impossibility theorem in Lean

Fast Rust port of Steve Yegge's beads: local-first, non-invasive issue tracker storing tasks in SQLite with JSONL export for git collaboration

LLM Council works together to answer your hardest questions

A command-line interface for Fastmail

Gas Town - multi-agent workspace manager

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

🧠 Context Engineering Research - Not just another agent collection, but using research and context engineering to function as a collective. Hub-and-spoke coordination through Claude Code.

A directory of privacy-preserving tools and infrastructure for the Ethereum ecosystem that leverage the Tor network

Paladin is a platform for building programmable privacy preserving tokens on EVM, with integrated client and wallet. Support for several privacy frameworks including ZKP tokens, issuer-backed token…

润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新中国人的核心宗教，核心信念。

Implementation for https://eprint.iacr.org/2025/1300

💸 The web3 wallet that makes crypto self-custody ⚡ easy and 🛡️ secure via hybrid account abstraction. EIP-7702 ready.

This is only the beginning.

FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI…

Zero Knowledge Proofs MCP Server

Moved to the main defuddle repo. Command line utility to extract clean html, markdown and metadata from web pages.

Diamond iO implementation https://eprint.iacr.org/2025/236

📦 Repomix is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) or other AI tools lik…

Semaphore v4 implemented in Rust

Authentication & payments on the web

Demonstrate zero cost memory transfer between CPU and GPU in Metal (for apple silicon)

Generic backend to host your phantom-zone

All-in-one steganography suite

Solve puzzles. Learn CUDA.

Command-line productivity booster, offers quick access to files and directories, inspired by autojump, z and v.

Production build of Gauss Labs' MP-PSI API using 2PC and FHE