claymager / idris2-pkgs

An unofficial Idris2 package repository for Nix

Date Created 2021-04-26 (3 years ago)

Commits 207 (last one 2 years ago)

Stargazers 46 (0 this week)

Watchers 8 (0 this week)

Forks 13

License mit

Ranking

RepositoryStats indexes 579,555 repositories, of these claymager/idris2-pkgs is ranked #479,804 (17th percentile) for total stargazers, and #244,081 for total watchers. Github reports the primary language for this repository as Nix, for repositories using this language it is ranked #596/792.

claymager/idris2-pkgs is also tagged with popular topics, for these it's ranked: nix (#478/585)

Other Information

claymager/idris2-pkgs has 2 open pull requests on Github, 11 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 3 open issues and 5 closed issues.

All Topics

nix idris2

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

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

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

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

updated: 2024-10-24 @ 01:22pm, id: 361722603 / R_kgDOFY9y6w