Statistics for language Idris
RepositoryStats tracks 579,551 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,765 commits to main branch, last one 13 days 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 5 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 7 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)
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
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