seanpm2001/AI2001_Category-Source_Code-SC-Agda
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Agda category for AI2001, containing Agda programming language datasets
31
/ 100
Emerging
Curated Agda source code samples organized within the broader AI2001 machine learning dataset framework, designed for training language models on functional programming patterns and dependent type system implementations. The collection structures real-world Agda code as labeled training data, integrating with AI2001's multi-language source code taxonomy to support model development across diverse programming paradigms.
No commits in the last 6 months.
Stale 6m
No Package
No Dependents
Maintenance
0 / 25
Adoption
3 / 25
Maturity
16 / 25
Community
12 / 25
Stars
3
Forks
1
Language
R
License
GPL-3.0
Category
Last pushed
May 11, 2023
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/rag/seanpm2001/AI2001_Category-Source_Code-SC-Agda"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.