bor0 / gidti

Book: Introduction to Dependent Types with Idris

Date Created 2018-08-01 (6 years ago)
Commits 328 (last one 2 years ago)
Stargazers 77 (0 this week)
Watchers 9 (0 this week)
Forks 4
License other
Ranking

RepositoryStats indexes 622,269 repositories, of these bor0/gidti is ranked #362,228 (42nd percentile) for total stargazers, and #228,148 for total watchers.

bor0/gidti is also tagged with popular topics, for these it's ranked: books (#188/265)

Other Information

bor0/gidti has Github issues enabled, there is 1 open issue and 21 closed issues.

Homepage URL: https://leanpub.com/gidti

Star History

Github stargazers over time

808070706060505040403030202010100020192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

9999998.58.588888820232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

6 commits on the default branch (master) since jan '22

66554433221100Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

300300250250200200150150100100505000201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
2525202015151010550020192019202020202021202120222022202320232024202420252025

Languages

We don't have any language data for this repository

It's a mystery

updated: 2025-02-25 @ 08:40pm, id: 143169935 / R_kgDOCIiZjw