AI2001_Category-Source_Code-SC-Agda and AI2001_Category-Source_Code-SC-Coq

These are ecosystem siblings—both are specialized dataset repositories for dependently-typed functional languages used in formal verification and proof assistance, designed to be collected and utilized as separate components of the larger AI2001 machine learning training dataset project.

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

seanpm2001/AI2001_Category-Source_Code-SC-Coq

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Coq category for AI2001, containing Coq 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-Haskell

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