agda-lang

There are 0 repository under agda-lang topic.

AI2001_Category-Source_Code-SC-Agda
seanpm2001 / AI2001_Category-Source_Code-SC-Agda
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Agda category for AI2001, containing Agda programming language datasets
agda agda-lang ai ai-2001 ai-2001-dataset ai-2001-development ai2001 ai2001-dataset ai2001-development artificial-intelligence dataset gpl3 gplv3 md r-language rmarkdown-language source-code-dataset txt agda-language agda-sc-dataset
Language:R 3
SNU_2D_ProgrammingTools_IDE_Agda
seanpm2001 / SNU_2D_ProgrammingTools_IDE_Agda
The Agda Programming language IDE submodule for SNU Programming Tools (2D Mode)
agda agda-lang ide web-ide gpl3 gplv3 txt md snu snu-2d snu-development snu-programming-tools snu-2d-programmingtools snu-programmingtools snuprogrammingtools snu2d-programmingtools programming
Language:Agda 2
pthariensflame / agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
agda agda-lang agda-library algebraic-structures formal-proofs math mathematics ring-theory
Language:Agda 1