Skip to content
#

idris-lang

Star

Here are 3 public repositories matching this topic...

Language: All
Filter by language
All 3 Idris 2 R 1
AI2001_Category-Source_Code-SC-Idris

seanpm2001 / AI2001_Category-Source_Code-SC-Idris

Sponsor
Star 2

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

ai gplv3 artificial-intelligence dataset idris r-language md txt gpl3 idris-lang rmarkdown-language ai2001 ai-2001 ai2001-dataset ai-2001-dataset ai2001-development ai-2001-development source-code-dataset idris-language idris-sc-dataset
  • Updated Sep 20, 2023
  • R

Add this topic to your repo

To associate your repository with the idris-lang topic, visit your repo's landing page and select "manage topics."

Learn more