affeldt-aist / infotheo

RepositoryStats indexes 595,856 repositories, of these affeldt-aist/infotheo is ranked #393,883 (34th percentile) for total stargazers, and #300,666 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #73/106.

affeldt-aist/infotheo has 7 open pull requests on Github, 84 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 6 open issues and 32 closed issues.

There have been 35 releases, the latest one was published on 2024-12-19 (2 days ago) with the name Infotheo 0.7.7.