Trending repositories for language Idris

Last 3 days (new repositories)

no newly created repositories trending in the last 3 days

Last 3 days (absolute gain)

no repositories trending in the last 3 days

Last 3 days (relative gain)

no repositories trending in the last 3 days

Last week (new repositories)

no newly created repositories trending in the last week

Last week (absolute gain)

no repositories trending in the last week

Last week (relative gain)

no repositories trending in the last week

Last month (new repositories)

no newly created repositories trending in the last month

Last month (absolute gain)

idris-lang/Idris2

A purely functional programming language with first class types

2,527 (+18)

joelberkeley/spidr

Accelerated machine learning with dependent types

79 (+4)

apache-2.0

stefan-hoeck/idris2-pack

No description

105 (+4)

bsd-3-clause

singnet/ai-dsl

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

73 (+2)

mit

stefan-hoeck/idris2-tutorial

No description

196 (+2)

bsd-3-clause

Russoul/Idris2-Effect

Experimental effects library for Idris 2

41 (+1)

bsd-3-clause

Last month (relative gain)

joelberkeley/spidr

Accelerated machine learning with dependent types

79 (+5%)

apache-2.0

stefan-hoeck/idris2-pack

No description

105 (+4%)

bsd-3-clause

singnet/ai-dsl

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

73 (+3%)

mit

Russoul/Idris2-Effect

Experimental effects library for Idris 2

41 (+3%)

bsd-3-clause

stefan-hoeck/idris2-tutorial

No description

196 (+1%)

bsd-3-clause

idris-lang/Idris2

A purely functional programming language with first class types

2,527 (+0.7%)

Last 12-months (new repositories)

no newly created repositories trending in the last 12 months

Last 12-months (absolute gain)

idris-lang/Idris2

A purely functional programming language with first class types

2,527 (+267)

stefan-hoeck/idris2-tutorial

No description

196 (+46)

bsd-3-clause

stefan-hoeck/idris2-pack

No description

105 (+31)

bsd-3-clause

joelberkeley/spidr

Accelerated machine learning with dependent types

79 (+25)

apache-2.0

singnet/ai-dsl

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

73 (+24)

mit

idris-community/idris2-lsp

Language Server for Idris2

164 (+17)

bsd-3-clause

mmhelloworld/idris-jvm

JVM bytecode back end for Idris

469 (+14)

bsd-3-clause

edwinb/Yaffle

A core language and API for dependently typed languages

89 (+7)

stefan-hoeck/idris2-dom

Javascript DOM bindings for Idris2

50 (+6)

bsd-2-clause

channable/dbcritic

No description

174 (+6)

bsd-3-clause

frex-project/idris-frex

No description

47 (+4)

edwinb/SPLV20

SPLV20 course notes

106 (+4)

Russoul/Idris2-Effect

Experimental effects library for Idris 2

41 (+3)

bsd-3-clause

ECburx/Idris2GL

A Graphics Library for Idris 2.

72 (+3)

gpl-3.0

typedefs/typedefs

Programming language agnostic type construction language based on polynomials.

366 (+3)

agpl-3.0

bamboo/idris2dart

The Dart backend for Idris 2.

50 (+2)

stefan-hoeck/idris2-elab-util

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

76 (+2)

bsd-2-clause

chrrasmussen/Idris2-Erlang

Erlang code generator for Idris 2

141 (+2)

eayus/sirdi

Package manager for Idris

35 (+1)

gpl-3.0

algebraic-dev/idris-4-noobs

📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).

46 (+1)

Last 12-months (relative gain)

singnet/ai-dsl

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

73 (+49%)

mit

joelberkeley/spidr

Accelerated machine learning with dependent types

79 (+46%)

apache-2.0

stefan-hoeck/idris2-pack

No description

105 (+42%)

bsd-3-clause

stefan-hoeck/idris2-tutorial

No description

196 (+31%)

bsd-3-clause

stefan-hoeck/idris2-dom

Javascript DOM bindings for Idris2

50 (+14%)

bsd-2-clause

idris-lang/Idris2

A purely functional programming language with first class types

2,527 (+12%)

idris-community/idris2-lsp

Language Server for Idris2

164 (+12%)

bsd-3-clause

frex-project/idris-frex

No description

47 (+9%)

edwinb/Yaffle

A core language and API for dependently typed languages

89 (+9%)

Russoul/Idris2-Effect

Experimental effects library for Idris 2

41 (+8%)

bsd-3-clause

ECburx/Idris2GL

A Graphics Library for Idris 2.

72 (+4%)

gpl-3.0

bamboo/idris2dart

The Dart backend for Idris 2.

50 (+4%)

edwinb/SPLV20

SPLV20 course notes

106 (+4%)

channable/dbcritic

No description

174 (+4%)

bsd-3-clause

mmhelloworld/idris-jvm

JVM bytecode back end for Idris

469 (+3%)

bsd-3-clause

eayus/sirdi

Package manager for Idris

35 (+3%)

gpl-3.0

stefan-hoeck/idris2-elab-util

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

76 (+3%)

bsd-2-clause

algebraic-dev/idris-4-noobs

📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).

46 (+2%)

chrrasmussen/Idris2-Erlang

Erlang code generator for Idris 2

141 (+1%)

typedefs/typedefs

Programming language agnostic type construction language based on polynomials.

366 (+0.8%)

agpl-3.0