twoLoop-40/idris2-python-boilerplate

Type-driven AI code generation with Idris2 dependent types - Production-ready boilerplate

/ 100

Experimental

No Package No Dependents

Maintenance 6 / 25

Adoption 1 / 25

Maturity 9 / 25

Community 0 / 25

Stars

Forks

—

Language

Shell

License

MIT

Category

Last pushed

Oct 15, 2025

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/twoLoop-40/idris2-python-boilerplate"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

ash-project/igniter

A code generation and project patching framework.

IntelLabs/encrypted-computing-sdk

Intel’s HERACLES accelerator introduces a new set of fundamental instructions, the Polynomial...

hypergol/hypergol

Hypergol is a Data Science/Machine Learning productivity toolkit to accelerate any projects into...

d-led/gen_server_virtual_time

virtual time-based extension to the GenServer behavior that allows testing time-based processes...

hyperpolymath/anvomidaviser

Convert ISU notation to formal figure skating programs via Anvomidav