Trending repositories for language Idris
Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
Last 3 days (relative gain)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
Last week (relative gain)
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
Last month (relative gain)
Last 12-months (new repositories)
no newly created repositories trending in the last 12 months
Last 12-months (absolute gain)
singnet/ai-dsl
Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
71
(+23)
mit
stefan-hoeck/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
76
(+2)
bsd-2-clause
algebraic-dev/idris-4-noobs
📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
46
(+1)
Last 12-months (relative gain)
singnet/ai-dsl
Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
71
(+48%)
mit
stefan-hoeck/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
76
(+3%)
bsd-2-clause
algebraic-dev/idris-4-noobs
📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
46
(+2%)