seanpm2001/AI2001_Category-Source_Code-SC-Agda
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Agda category for AI2001, containing Agda programming language datasets
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.
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/ml-frameworks/seanpm2001/AI2001_Category-Source_Code-SC-Agda"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Compare
Higher-rated alternatives
seanpm2001/AI2001_Category-Source_Code-SC-Flix
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Flix category for AI2001, containing Flix programming...
seanpm2001/AI2001_Category-Source_Code-SC-Fancy
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Fancy category for AI2001, containing Fancy programming...
seanpm2001/AI2001_Category-Source_Code-SC-Coq
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Coq category for AI2001, containing Coq programming...
seanpm2001/AI2001_Category-Source_Code-SC-PureScript
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:PureScript category for AI2001, containing PureScript...
seanpm2001/AI2001_Category-Source_Code-SC-FStar
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:FStar category for AI2001, containing F* programming...