Functional Language Datasets ML Frameworks
Datasets for functional and statically-typed programming languages (Haskell, F*, Frege, Agda, etc.). Does NOT include imperative, dynamically-typed, or general-purpose scripting languages.
There are 26 functional language datasets frameworks tracked. The highest-rated is seanpm2001/AI2001_Category-Source_Code-SC-Flix at 25/100 with 2 stars.
Get all 26 projects as JSON
curl "https://pt-edge.onrender.com/api/v1/datasets/quality?domain=ml-frameworks&subcategory=functional-language-datasets&limit=20"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
| # | Framework | Score | Tier |
|---|---|---|---|
| 1 |
seanpm2001/AI2001_Category-Source_Code-SC-Flix
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Flix category for AI2001, containing... |
|
Experimental |
| 2 |
seanpm2001/AI2001_Category-Source_Code-SC-Agda
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Agda category for AI2001, containing... |
|
Experimental |
| 3 |
seanpm2001/AI2001_Category-Source_Code-SC-Coq
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Coq category for AI2001, containing... |
|
Experimental |
| 4 |
seanpm2001/AI2001_Category-Source_Code-SC-Idris
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Idris category for AI2001,... |
|
Experimental |
| 5 |
seanpm2001/AI2001_Category-Source_Code-SC-FStar
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:FStar category for AI2001,... |
|
Experimental |
| 6 |
seanpm2001/AI2001_Category-Source_Code-SC-Fantom
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Fantom category for AI2001,... |
|
Experimental |
| 7 |
seanpm2001/AI2001_Category-Source_Code-SC-FLUX
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:FLUX category for AI2001, containing... |
|
Experimental |
| 8 |
seanpm2001/AI2001_Category-Source_Code-SC-Fluent
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Fluent category for AI2001,... |
|
Experimental |
| 9 |
seanpm2001/AI2001_Category-Source_Code-SC-FLOW-MATIC
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:FLOW-MATIC category for AI2001,... |
|
Experimental |
| 10 |
seanpm2001/AI2001_Category-Source_Code-SC-Fancy
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Fancy category for AI2001,... |
|
Experimental |
| 11 |
seanpm2001/AI2001_Category-Source_Code-SC-PureScript
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:PureScript category for AI2001,... |
|
Experimental |
| 12 |
seanpm2001/AI2001_Category-Source_Code-SC-Haskell
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Haskell category for AI2001,... |
|
Experimental |
| 13 |
seanpm2001/AI2001_Category-Source_Code-SC-Fortran
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Fortran category for AI2001,... |
|
Experimental |
| 14 |
seanpm2001/AI2001_Category-Source_Code-SC-Fortran95
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Fortran95 category for AI2001,... |
|
Experimental |
| 15 |
seanpm2001/AI2001_Category-Source_Code-SC-Isabelle
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Isabelle category for AI2001,... |
|
Experimental |
| 16 |
seanpm2001/AI2001_Category-Source_Code-SC-Factor
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Factor category for AI2001,... |
|
Experimental |
| 17 |
seanpm2001/AI2001_Category-Source_Code-SC-Darcs-Patch
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Darcs Patch category for AI2001,... |
|
Experimental |
| 18 |
seanpm2001/AI2001_Category-Source_Code-SC-Frege
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Frege category for AI2001,... |
|
Experimental |
| 19 |
seanpm2001/AI2001_Category-Source_Code-SC-Untyped-Plutus-Core
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Untyped Plutus Core category for... |
|
Experimental |
| 20 |
seanpm2001/AI2001_Category-Source_Code-SC-Fennel
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Fennel category for AI2001,... |
|
Experimental |
| 21 |
seanpm2001/AI2001_Category-Source_Code-SC-C2Hs-Haskell
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:C2Hs-Haskell category for AI2001,... |
|
Experimental |
| 22 |
seanpm2001/AI2001_Category-Source_Code-SC-FIRRTL
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:FIRRTL category for AI2001,... |
|
Experimental |
| 23 |
seanpm2001/AI2001_Category-Source_Code-SC-Cabal-Config
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Cabal Config TS category for AI2001,... |
|
Experimental |
| 24 |
seanpm2001/AI2001_Category-Source_Code-SC-Faust
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Faust category for AI2001,... |
|
Experimental |
| 25 |
seanpm2001/AI2001_Category-Source_Code-SC-Futhark
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Futhark category for AI2001,... |
|
Experimental |
| 26 |
seanpm2001/AI2001_Category-Source_Code-SC-Literate-Haskell
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Literate Haskell category for... |
|
Experimental |