AI2001_Category-Source_Code-SC-Agda and AI2001_Category-Source_Code-SC-Haskell

AI2001_Category-Source_Code-SC-Agda
24
Experimental
AI2001_Category-Source_Code-SC-Haskell
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-Haskell

seanpm2001/AI2001_Category-Source_Code-SC-Haskell

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

Related comparisons

AI2001_Category-Source_Code-SC-Agda and AI2001_Category-Source_Code-SC-Idris 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-PureScript AI2001_Category-Source_Code-SC-Agda and AI2001_Category-Source_Code-SC-Idris 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