AI2001_Category-Source_Code-SC-Haskell and AI2001_Category-Source_Code-SC-Isabelle
These two repositories are ecosystem siblings, representing distinct dataset categories within the same overarching AI2001 project, each dedicated to source code in a specific functional programming language (Haskell and Isabelle).
Maintenance
0/25
Adoption
2/25
Maturity
9/25
Community
12/25
Maintenance
0/25
Adoption
2/25
Maturity
9/25
Community
12/25
Stars: 2
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-Haskell
seanpm2001/AI2001_Category-Source_Code-SC-Haskell
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Haskell category for AI2001, containing Haskell programming language datasets
About AI2001_Category-Source_Code-SC-Isabelle
seanpm2001/AI2001_Category-Source_Code-SC-Isabelle
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Isabelle category for AI2001, containing Isabelle programming language datasets
Related comparisons
AI2001_Category-Source_Code-SC-Haskell and AI2001_Category-Source_Code-SC-Agda
AI2001_Category-Source_Code-SC-Haskell and AI2001_Category-Source_Code-SC-PureScript
AI2001_Category-Source_Code-SC-Haskell and AI2001_Category-Source_Code-SC-Idris
AI2001_Category-Source_Code-SC-Haskell and AI2001_Category-Source_Code-SC-Idris
Scores updated daily from GitHub, PyPI, and npm data. How scores work