I love to develop and especially try to solve "unsolvable" problems.
- La Suisse. ;-)
-
10:12
(UTC +02:00)
Pinned Loading
-
SecuredChat
SecuredChat PublicP2P browser chat (WebRTC, serverless) + a git-file message bus for multi-agent fleets — humans, AI sessions, CI, and deterministic tools as equal peers. No server, no broker, no vendor.
-
claude-code-guide
claude-code-guide PublicThe Complete Claude Code Guide — comprehensive HTML reference + Android Termux setup script
Python 1
-
proof-anywhere
proof-anywhere PublicPortable proof verification across all devices. Lean 4 via proot-distro, nanoda_lib, and beyond.
Shell
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



