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)

374
2.5k
other
63
A purely functional programming language with first class types
Created 2020-05-17
3,765 commits to main branch, last one 13 days ago
58
902
other
60
A dependently typed programming language, a successor to Idris
Created 2019-03-07
1,284 commits to master branch, last one 4 years ago
26
469
bsd-3-clause
28
JVM bytecode back end for Idris
Created 2016-07-17
3,632 commits to main branch, last one 5 days ago
18
366
agpl-3.0
15
Programming language agnostic type construction language based on polynomials.
Created 2017-10-09
423 commits to master branch, last one 3 years ago
28
196
bsd-3-clause
10
This repository has no description...
Created 2021-12-29
60 commits to main branch, last one 3 months ago
2
174
bsd-3-clause
27
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)