Statistics for language Idris

RepositoryStats tracks 619,747 Github repositories, of these 26 are reported to use a primary language of Idris.

Most starred repositories for language Idris (view more)

381
2.6k
other
64
A purely functional programming language with first class types
Created 2020-05-17
3,813 commits to main branch, last one 24 hours ago
57
899
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
473
bsd-3-clause
29
JVM bytecode back end for Idris
Created 2016-07-17
3,637 commits to main branch, last one about a month ago
18
367
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
33
211
bsd-3-clause
11
This repository has no description...
Created 2021-12-29
66 commits to main branch, last one 5 days ago
36
173
bsd-3-clause
15
Language Server for Idris2
Created 2020-12-25
387 commits to main branch, last one 14 days ago

Trending repositories for language Idris (view more)