wenkokke / schmitty

Agda bindings to SMT-LIB2 compatible solvers.

wenkokke
wenkokke
Date Created 2020-08-17 (4 years ago)
Commits 168 (last one 2 years ago)
Stargazers 96 (0 this week)
Watchers 11 (0 this week)
Forks 8
License other
Ranking

RepositoryStats indexes 632,768 repositories, of these wenkokke/schmitty is ranked #315,278 (50th percentile) for total stargazers, and #186,076 for total watchers. Github reports the primary language for this repository as Agda, for repositories using this language it is ranked #17/40.

Other Information

wenkokke/schmitty has 1 open pull request on Github, 29 pull requests have been merged over the lifetime of the repository.

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

There have been 2 releases, the latest one was published on 2021-07-26 (3 years ago) with the name v1.0.1.

All Topics
agda smt-solver

Star History

Github stargazers over time

1001009090808070706060505040403030202010100020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

121211.511.5111110.510.510109.59.59920232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

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

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

Yearly Commits

Commits to the default branch (main) per year

14014012012010010080806060404020200020202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
141412121010886644220020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

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

AgdaAgdaShellShell

updated: 2025-03-07 @ 05:42am, id: 288259623 / R_kgDOES5-Jw