isovector / certainty-by-construction

Source material for Certainty by Construction

isovector
isovector
Date Created 2022-10-13 (2 years ago)
Commits 681 (last one about a year ago)
Stargazers 41 (0 this week)
Watchers 3 (0 this week)
Forks 12
License unknown
Ranking

RepositoryStats indexes 632,768 repositories, of these isovector/certainty-by-construction is ranked #540,580 (15th percentile) for total stargazers, and #417,530 for total watchers. Github reports the primary language for this repository as TeX, for repositories using this language it is ranked #1,783/2,000.

isovector/certainty-by-construction is also tagged with popular topics, for these it's ranked: functional-programming (#627/668),  book (#591/633),  math (#461/509)

Other Information

isovector/certainty-by-construction has Github issues enabled, there are 4 open issues and 4 closed issues.

Homepage URL: https://leanpub.com/certainty-by-construction/

Star History

Github stargazers over time

45454040353530302525202015151010550020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

4444443.53.5333333Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25

Recent Commit History

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

7007006006005005004004003003002002001001000020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

7070606050504040303020201010002022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
88776655443322110020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

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

TeXTeXHaskellHaskellMakefileMakefileCSSCSSShellShell

updated: 2025-03-16 @ 09:23pm, id: 550610189 / R_kgDOINGlDQ