bamboo / idris2dart

The Dart backend for Idris 2.

bamboo
bamboo
Date Created 2020-08-29 (4 years ago)
Commits 188 (last one 3 years ago)
Stargazers 50 (0 this week)
Watchers 8 (0 this week)
Forks 5
License other
Ranking

RepositoryStats indexes 638,253 repositories, of these bamboo/idris2dart is ranked #494,240 (23rd percentile) for total stargazers, and #238,752 for total watchers. Github reports the primary language for this repository as Idris, for repositories using this language it is ranked #19/28.

bamboo/idris2dart is also tagged with popular topics, for these it's ranked: flutter (#2,899/3749),  dart (#1,562/2007)

Other Information

bamboo/idris2dart has Github issues enabled, there is 1 open issue and 6 closed issues.

Star History

Github stargazers over time

505045454040353530302525202015151010550020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

9999998.58.588888820232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

0 commits on the default branch (main) since jan '22

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (main) per year

12012010010080806060404020200020202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
776655443322110020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

The primary language is Idris but there's also others...

IdrisIdrisMakefileMakefileDartDart

updated: 2025-03-07 @ 08:52am, id: 291342738 / R_kgDOEV2Jkg