AI2001_Category-Source_Code-SC-Agda and AI2001_Category-Source_Code-SC-Idris

These are ecosystem siblings, representing two distinct programming language categories within the same larger AI2001 dataset project.

AI2001_Category-Source_Code-SC-Agda
24
Experimental
AI2001_Category-Source_Code-SC-Idris
23
Experimental
Maintenance 0/25
Adoption 3/25
Maturity 9/25
Community 12/25
Maintenance 0/25
Adoption 2/25
Maturity 9/25
Community 12/25
Stars: 3
Forks: 1
Downloads: —
Commits (30d): 0
Language: R
License: GPL-3.0
Stars: 2
Forks: 1
Downloads: —
Commits (30d): 0
Language: R
License: GPL-3.0
Stale 6m No Package No Dependents
Stale 6m No Package No Dependents

About AI2001_Category-Source_Code-SC-Agda

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.

About AI2001_Category-Source_Code-SC-Idris

seanpm2001/AI2001_Category-Source_Code-SC-Idris

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Idris category for AI2001, containing Idris programming language datasets

Related comparisons

AI2001_Category-Source_Code-SC-Agda and AI2001_Category-Source_Code-SC-Haskell AI2001_Category-Source_Code-SC-Agda and AI2001_Category-Source_Code-SC-Coq AI2001_Category-Source_Code-SC-Agda and AI2001_Category-Source_Code-SC-Haskell AI2001_Category-Source_Code-SC-Agda and AI2001_Category-Source_Code-SC-Isabelle

Scores updated daily from GitHub, PyPI, and npm data. How scores work