Lists (1)
Stars
Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more
An implementation of the HPKE hybrid encryption standard (RFC 9180)
Skills for Real Engineers. Straight from my .agents directory.
Build your own Claude Code from scratch. 🔍 Claude Code 开源了 50 万行代码，读不动？用 ~5000 行 TypeScript / Python 从零复现核心架构，11 章分步教程带你理解 coding agent 精髓
OpenLoomi is an open-source AI coworker. It connects your work tools, understands what you’re working on, and tells you what needs your attention, why it matters, and what to do next. It’s your ope…
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
PDF Parser for AI-ready data. Automate PDF accessibility. Open-source.
from vibe coding to agentic engineering - practice makes claude perfect
AI agents running research on single-GPU nanochat training automatically
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
An agentic skills framework & software development methodology that works.
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Persistent Context Across Sessions for Every Agent – Captures everything your agent does during sessions, compresses it with AI, and injects relevant context back into future sessions. Works with C…
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Persistent file-based planning for AI coding agents and long-running tasks. Crash-proof markdown plans, session recovery after /clear and compaction, per-turn re-injection against context rot, dete…
Privacy-first tooling for the Ethereum ecosystem
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
Building a Secure and Interoperable Future for AI-Driven Payments.
Python tool for converting files and office documents to Markdown.
Implementation of the Google Zero-Knowledge library for Identity Protocols.
A private payment system for Ethereum-based blockchains, with no trusted setup.
garbled-snark-verifier repository