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)

idris-lang/Idris2

A purely functional programming language with first class types

2,544 (+2)

Last 3 days (relative gain)

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/Idris2

A purely functional programming language with first class types

2,544 (+4)

Last week (relative gain)

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/Idris2

A purely functional programming language with first class types

2,544 (+16)

stefan-hoeck/idris2-tutorial

No description

202 (+5)

bsd-3-clause

stefan-hoeck/idris2-elab-util

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

79 (+2)

bsd-2-clause

joelberkeley/spidr

Accelerated machine learning with dependent types

82 (+2)

apache-2.0

singnet/ai-dsl

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

75 (+1)

mit

channable/dbcritic

No description

173 (+1)

bsd-3-clause

Last month (relative gain)

stefan-hoeck/idris2-elab-util

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

79 (+3%)

bsd-2-clause

stefan-hoeck/idris2-tutorial

No description

202 (+3%)

bsd-3-clause

joelberkeley/spidr

Accelerated machine learning with dependent types

82 (+3%)

apache-2.0

singnet/ai-dsl

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

75 (+1%)

mit

idris-lang/Idris2

A purely functional programming language with first class types

2,544 (+0.6%)

channable/dbcritic

No description

173 (+0.6%)

bsd-3-clause

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,544 (+257)

stefan-hoeck/idris2-tutorial

No description

202 (+49)

bsd-3-clause

joelberkeley/spidr

Accelerated machine learning with dependent types

82 (+27)

apache-2.0

stefan-hoeck/idris2-pack

No description

105 (+26)

bsd-3-clause

singnet/ai-dsl

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

75 (+23)

mit

mmhelloworld/idris-jvm

JVM bytecode back end for Idris

470 (+15)

bsd-3-clause

idris-community/idris2-lsp

Language Server for Idris2

165 (+14)

bsd-3-clause

stefan-hoeck/idris2-dom

Javascript DOM bindings for Idris2

51 (+6)

bsd-2-clause

channable/dbcritic

No description

173 (+6)

bsd-3-clause

stefan-hoeck/idris2-elab-util

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

79 (+5)

bsd-2-clause

edwinb/Yaffle

A core language and API for dependently typed languages

89 (+5)

edwinb/SPLV20

SPLV20 course notes

107 (+5)

frex-project/idris-frex

No description

47 (+4)

typedefs/typedefs

Programming language agnostic type construction language based on polynomials.

367 (+4)

agpl-3.0

Russoul/Idris2-Effect

Experimental effects library for Idris 2

41 (+3)

bsd-3-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)

bamboo/idris2dart

The Dart backend for Idris 2.

50 (+2)

ECburx/Idris2GL

A Graphics Library for Idris 2.

72 (+2)

gpl-3.0

eayus/sirdi

Package manager for Idris

35 (+1)

gpl-3.0

chrrasmussen/Idris2-Erlang

Erlang code generator for Idris 2

140 (+1)

Last 12-months (relative gain)

joelberkeley/spidr

Accelerated machine learning with dependent types

82 (+49%)

apache-2.0

singnet/ai-dsl

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

75 (+44%)

mit

stefan-hoeck/idris2-pack

No description

105 (+33%)

bsd-3-clause

stefan-hoeck/idris2-tutorial

No description

202 (+32%)

bsd-3-clause

stefan-hoeck/idris2-dom

Javascript DOM bindings for Idris2

51 (+13%)

bsd-2-clause

idris-lang/Idris2

A purely functional programming language with first class types

2,544 (+11%)

frex-project/idris-frex

No description

47 (+9%)

idris-community/idris2-lsp

Language Server for Idris2

165 (+9%)

bsd-3-clause

Russoul/Idris2-Effect

Experimental effects library for Idris 2

41 (+8%)

bsd-3-clause

stefan-hoeck/idris2-elab-util

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

79 (+7%)

bsd-2-clause

edwinb/Yaffle

A core language and API for dependently typed languages

89 (+6%)

edwinb/SPLV20

SPLV20 course notes

107 (+5%)

algebraic-dev/idris-4-noobs

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

46 (+5%)

bamboo/idris2dart

The Dart backend for Idris 2.

50 (+4%)

channable/dbcritic

No description

173 (+4%)

bsd-3-clause

mmhelloworld/idris-jvm

JVM bytecode back end for Idris

470 (+3%)

bsd-3-clause

eayus/sirdi

Package manager for Idris

35 (+3%)

gpl-3.0

ECburx/Idris2GL

A Graphics Library for Idris 2.

72 (+3%)

gpl-3.0

typedefs/typedefs

Programming language agnostic type construction language based on polynomials.

367 (+1%)

agpl-3.0

chrrasmussen/Idris2-Erlang

Erlang code generator for Idris 2

140 (+0.7%)