Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: agda-lang

pthariensflame/agda-fumulas

An exploration of fumulas in Agda—a new perspective on ring theory

Language: Agda - Size: 92.8 KB - Last synced: 19 days ago - Pushed: 19 days ago - Stars: 1 - Forks: 0

seanpm2001/SNU_2D_ProgrammingTools_IDE_Agda

The Agda Programming language IDE submodule for SNU Programming Tools (2D Mode)

Language: Agda - Size: 1.39 MB - Last synced: 27 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 2

seanpm2001/AI2001_Category-Source_Code-SC-Agda

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

Language: R - Size: 2.47 MB - Last synced: 27 days ago - Pushed: about 1 year ago - Stars: 3 - Forks: 1

Related Keywords
agda 3 agda-lang 3 txt 2 md 2 gplv3 2 gpl3 2 artificial-intelligence 1 ai2001-development 1 dataset 1 r-language 1 ai2001-dataset 1 rmarkdown-language 1 ai2001 1 ai-2001-development 1 ai-2001-dataset 1 ai-2001 1 ai 1 agda-sc-dataset 1 agda-language 1 web-ide 1 source-code-dataset 1 snuprogrammingtools 1 snu2d-programmingtools 1 snu-programmingtools 1 snu-programming-tools 1 snu-development 1 snu-2d-programmingtools 1 snu-2d 1 snu 1 programming 1 ide 1 ring-theory 1 mathematics 1 math 1 formal-proofs 1 algebraic-structures 1 agda-library 1