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)
singnet/ai-dsl
Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
65
(+1)
mit
Last month (relative gain)
singnet/ai-dsl
Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
65
(+2%)
mit
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.
65
(+26)
mit
stefan-hoeck/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
73
(+1)
bsd-2-clause
Last 12-months (relative gain)
singnet/ai-dsl
Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
65
(+67%)
mit
stefan-hoeck/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
73
(+1%)
bsd-2-clause