Statistics for language Idris
RepositoryStats tracks 584,771 Github repositories, of these 26 are reported to use a primary language of Idris.
Most starred repositories for language Idris (view more)
A purely functional programming language with first class types
Created
2020-05-17
3,768 commits to main branch, last one 21 hours ago
A dependently typed programming language, a successor to Idris
Created
2019-03-07
1,284 commits to master branch, last one 4 years ago
JVM bytecode back end for Idris
Created
2016-07-17
3,632 commits to main branch, last one 19 days ago
Programming language agnostic type construction language based on polynomials.
Created
2017-10-09
423 commits to master branch, last one 3 years ago
This repository has no description...
Created
2021-12-29
60 commits to main branch, last one 3 months ago
This repository has no description...
Created
2021-03-15
44 commits to master branch, last one 8 months ago
Trending repositories for language Idris (view more)
Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
no repositories trending in the last 3 days
Last 3 days (relative gain)
no repositories trending in the last 3 days
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
no repositories trending in the last week
Last week (relative gain)
no repositories trending in the last week
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.
73
(+2)
mit
Last month (relative gain)
singnet/ai-dsl
Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
73
(+3%)
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.
73
(+24)
mit
Last 12-months (relative gain)
singnet/ai-dsl
Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
73
(+49%)
mit