Lists (11)
Stars
Typescript/React Library for AI Chat💬🚀
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
Tama is a developer tool for building formally verified Ethereum smart contracts in Verity
Building blocks for frontier OpenAI agents in Rust. Nanocodex empowers you with Codex-level performance anywhere.
Start with a spark, not a token. Every project is a Capsule - identity, backing, receipts, Meme Engine memory - not a coin. Farcaster-native, on Base.
Home of JAW.id: Identity-Centric Smart Account Infrastructure
Cross-platform, cross-blockchain wallet library.
Your Web3 Wallet that just works. EIP-7702 ready.
Ambire Wallet: making self-custody easy and secure for the EVM ecosystem
Solutions to exercises from MoonMath Manual to zkSNARKs.
Paperweight scans your inbox to map your digital footprint, then helps you take back control and delete your data. Local-first and open source.
Mirror of https://codeberg.org/UnifiedPush/specifications
learn vim from your terminal with spaced repetition
Enhanced and security-focused fork of Signal.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Privacy-first tooling for the Ethereum ecosystem
vinegar.vim: Combine with netrw to create a delicious salad dressing
A Claude or Codex skill for deliberate skill development during AI-assisted coding
A modern, self-hosted backup solution for secure, encrypted backups across local and cloud storage.
Ghidra is a software reverse engineering (SRE) framework
A plain-text memory system for AI agents. Clone it, point your agent at it, start remembering.
A tiling window manager for macOS based on binary space partitioning