Language Breakdown
Lines of code distribution across 6 owned repositories
T-Shaped Developer
T-shapedDeep in Rust with broad versatility
Collaboration Network
Global Impact visualization
Repos
28
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Top Repositories
Anonymous rate-limited credentials (IETF ARC) for censorship-resistant, un-blockable network access — let Tor/anonymous traffic carry a cryptographic proof of good standing instead of relying on IP reputation.
Formally Verified Arguments of Knowledge in Lean
Self-hosted AI workspace.
local first and private by default transcription tools with ✨ fun features ✨
A verifiable, non-panopticon audio guardian: a microphone that cryptographically proves what it ISN'T doing. In-enclave detection on OP-TEE remote attestation (Arm TrustZone + Veraison); output bound to the attested key; key destroyed on tamper.
Public fork of IQ Gateway, preserving upstream history and attribution.
BSC-native launchpad for agent tokens with presales, refunds, and PancakeSwap graduation.
Agent wallet infrastructure — encrypted keys, policy enforcement, credential proxy, auth platform. Self-hostable, multi-tenant, open source.
Agent-invokable template that creates a real on-chain yes/no prediction market on Hyperbet's lvr_amm Solana program and publishes a self-contained trading page in one shot.
Open Source Impact
Contributions to external projects
