danwt

specl. A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.

event-2022-hackatom. Archived. HackATOM 2022 Seoul Interchain Security Track bootstrapping!

demo-gmail-organiser. Automatically classify and organize Gmail emails using LLM-powered categorization. Stateless, taxonomy-driven, runs incrementally.

gerr. Go library for Google API guideline error types https://cloud.google.com/apis/design/errors#handling_errors

claude-memory-skill. Give Claude Code persistent memory across sessions with natural language search over your conversation history

demo-fast-commit. Zero-config CLI tool that analyses git diffs with an LLM and creates atomic conventional commits