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)

378
2.5k
other
62
A purely functional programming language with first class types
Created 2020-05-17
3,768 commits to main branch, last one 21 hours ago
57
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
29
JVM bytecode back end for Idris
Created 2016-07-17
3,632 commits to main branch, last one 19 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 8 months ago

Trending repositories for language Idris (view more)