#

ai-assisted-programming

Here is 1 public repository matching this topic...

twoLoop-40 / idris2-python-boilerplate

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

Improve this page

Add a description, image, and links to the ai-assisted-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ai-assisted-programming topic, visit your repo's landing page and select "manage topics."