15 Oct 04:36

twoLoop-40

v1.0.0 - Initial Release: Production-Ready Boilerplate Latest

Latest

🎉 Initial Release

Production-ready boilerplate for type-driven AI code generation with Idris2.

✨ Features

✅ Idris2 → Python conversion with runtime checks
✅ Automatic test generation from type signatures
✅ Dependent types → comprehensive test suites
✅ Claude Code integration with slash commands
✅ Two complete examples with 45+ tests (100% passing)

🚀 Quick Start

```bash
git clone https://github.com/twoLoop-40/idris2-python-boilerplate.git
cd idris2-python-boilerplate
bash .claude/setup_project.sh

Try the examples

cd examples/01_basic
idris2 -o func func.idr && ./build/exec/func
python func.py
pytest test_func.py -v
```

📦 What's Included

Type-driven development workflow - Precise specifications with Idris2
2 working examples - From basic to advanced dependent types
45+ auto-generated tests - All passing ✅
Complete documentation - README, examples, contributing guide
MIT licensed - Use in any project

🎯 Benefits

Eliminates infinite debugging loops by:

Writing precise specifications with dependent types
Getting compiler verification before code generation
Auto-generating comprehensive test suites
Catching bugs at type-check time instead of runtime

📚 Learn More

Made with ❤️ for type-driven development

Assets 2