AI2001_Category-Source_Code-SC-Idris and AI2001_Category-Source_Code-SC-Haskell

These two tools are ecosystem siblings, representing distinct datasets for different functional programming languages (Idris and Haskell) within the same overarching AI2001 category scheme for source code.

AI2001_Category-Source_Code-SC-Idris
23
Experimental
AI2001_Category-Source_Code-SC-Haskell
23
Experimental
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-Idris

seanpm2001/AI2001_Category-Source_Code-SC-Idris

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

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

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