KonjacSource / ShiTT

ShiTT is a toy proof assistant. (This project will be rewritten soon)

KonjacSource
KonjacSource
Date Created 2024-08-27 (7 months ago)
Commits 88 (last one 5 months ago)
Stargazers 34 (0 this week)
Watchers 1 (0 this week)
Forks 1
License bsd-3-clause
Ranking

RepositoryStats indexes 638,211 repositories, of these KonjacSource/ShiTT is ranked #584,438 (8th percentile) for total stargazers, and #561,344 for total watchers. Github reports the primary language for this repository as Haskell, for repositories using this language it is ranked #1,454/1,506.

KonjacSource/ShiTT is also tagged with popular topics, for these it's ranked: programming-language (#721/751)

Other Information

KonjacSource/ShiTT has Github issues enabled, there are 4 open issues and 4 closed issues.

There have been 9 releases, the latest one was published on 2024-10-08 (6 months ago) with the name Binary.

Star History

Github stargazers over time

3535303025252020151510105500Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25Apr '25Apr '25

Watcher History

Github watchers over time, collection started in '23

22221111110000Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25Apr '25Apr '25

Recent Commit History

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

90908080707060605050404030302020101000Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25Apr '25Apr '25

Yearly Commits

Commits to the default branch (main) per year

9090808070706060505040403030202010100020242024

Issue History

Total Issues
Open Issues
Closed Issues
887766554433221100Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25Apr '25Apr '25

Languages

The only known language in this repository is Haskell

HaskellHaskell

updated: 2025-03-31 @ 03:52pm, id: 848260699 / R_kgDOMo9uWw