Tejpal Singh

self-improving agent in 169 lines. one tool (bash), one loop. grows by writing mods that hot-reload into its own runtime.

Use zkEmail to prove that you own a Coinbase account

Turn your ~/.claude history into a shareable Quartz knowledge base.

A tool that reads your Claude Code session history from the ~/.claude folder and generates a browsable, wiki-style website from it, so past research and decisions become searchable and shareable.

Tokenizer cost markup between Claude model versions, measured on your own Claude Code sessions.

A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs directly on Anthropic's Agents SDK

No description.

Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse environments

Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.

The fastest, most feature-complete zkVM for developers.

Aave Protocol Version 1.0 - Decentralized Lending Pools

Core contracts of Morpho's protocol V1.

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

An unofficial mirror of Why3 (http://why3.lri.fr/)