Statistics for language Idris

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

Most starred repositories for language Idris (view more)

idris-lang
Idris2 idris-lang
379
2.5k
other
63
A purely functional programming language with first class types
compiler hacktoberfest dependent-types
Created 2020-05-17
3,787 commits to main branch, last one 4 days ago
edwinb
Idris2-boot edwinb
57
901
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
mmhelloworld
idris-jvm mmhelloworld
26
470
bsd-3-clause
30
JVM bytecode back end for Idris
jvm java idris
Created 2016-07-17
3,636 commits to main branch, last one 11 days ago
typedefs
typedefs typedefs
18
367
agpl-3.0
15
Programming language agnostic type construction language based on polynomials.
types f-algebras marshalling type-theory serialization category-theory type-definitions serialization-library
Created 2017-10-09
423 commits to master branch, last one 3 years ago
stefan-hoeck
idris2-tutorial stefan-hoeck
29
202
bsd-3-clause
11
This repository has no description...
Created 2021-12-29
62 commits to main branch, last one 9 days ago
channable
dbcritic channable
2
173
bsd-3-clause
27
This repository has no description...
Created 2021-03-15
48 commits to master branch, last one 10 days 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)
idris-lang
idris-lang/Idris2

A purely functional programming language with first class types

2,544 (+2)
Last 3 days (relative gain)
idris-lang
idris-lang/Idris2

A purely functional programming language with first class types

2,544 (+0.1%)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
idris-lang
idris-lang/Idris2

A purely functional programming language with first class types

2,544 (+4)
Last week (relative gain)
idris-lang
idris-lang/Idris2

A purely functional programming language with first class types

2,544 (+0.2%)
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
idris-lang
idris-lang/Idris2

A purely functional programming language with first class types

2,544 (+16)
stefan-hoeck
stefan-hoeck/idris2-tutorial

No description

202 (+5)
bsd-3-clause
stefan-hoeck
stefan-hoeck/idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

79 (+2)
bsd-2-clause
joelberkeley
joelberkeley/spidr

Accelerated machine learning with dependent types

82 (+2)
apache-2.0
singnet
singnet/ai-dsl

Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.

75 (+1)
mit
Last month (relative gain)
stefan-hoeck
stefan-hoeck/idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

79 (+3%)
bsd-2-clause
stefan-hoeck
stefan-hoeck/idris2-tutorial

No description

202 (+3%)
bsd-3-clause
joelberkeley
joelberkeley/spidr

Accelerated machine learning with dependent types

82 (+3%)
apache-2.0
singnet
singnet/ai-dsl

Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.

75 (+1%)
mit
idris-lang
idris-lang/Idris2

A purely functional programming language with first class types

2,544 (+0.6%)
Last 12-months (new repositories)
no newly created repositories trending in the last 12 months
Last 12-months (absolute gain)
idris-lang
idris-lang/Idris2

A purely functional programming language with first class types

2,544 (+257)
stefan-hoeck
stefan-hoeck/idris2-tutorial

No description

202 (+49)
bsd-3-clause
joelberkeley
joelberkeley/spidr

Accelerated machine learning with dependent types

82 (+27)
apache-2.0
stefan-hoeck
stefan-hoeck/idris2-pack

No description

105 (+26)
bsd-3-clause
singnet
singnet/ai-dsl

Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.

75 (+23)
mit
Last 12-months (relative gain)
joelberkeley
joelberkeley/spidr

Accelerated machine learning with dependent types

82 (+49%)
apache-2.0
singnet
singnet/ai-dsl

Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.

75 (+44%)
mit
stefan-hoeck
stefan-hoeck/idris2-pack

No description

105 (+33%)
bsd-3-clause
stefan-hoeck
stefan-hoeck/idris2-tutorial

No description

202 (+32%)
bsd-3-clause
stefan-hoeck
stefan-hoeck/idris2-dom

Javascript DOM bindings for Idris2

51 (+13%)
bsd-2-clause