twoLoop-40 / idris2-python-boilerplate Star 1 Code Issues Pull requests Type-driven AI code generation with Idris2 dependent types - Production-ready boilerplate python template boilerplate dependent-types code-generation type-driven-development idris2 ai-assisted-programming Updated Oct 15, 2025 Shell
aixier / claude-code-training Star 0 Code Issues Pull requests Interactive Claude Code training course with modules for agents, commands, skills, hooks, MCPs, settings, and hands-on projects training documentation developer-tools course-material prompt-engineering claude-code ai-assisted-programming cli-guide Updated Nov 19, 2025 HTML