johnyf / tool_lists

Links to tools by subject

Date Created 2013-09-24 (11 years ago)

Commits 1 (last one about a year ago)

Stargazers 368 (0 this week)

Watchers 44 (0 this week)

Forks 81

License cc0-1.0

Ranking

RepositoryStats indexes 579,238 repositories, of these johnyf/tool_lists is ranked #113,089 (80th percentile) for total stargazers, and #47,991 for total watchers.

johnyf/tool_lists is also tagged with popular topics, for these it's ranked: tools (#263/892), static-analysis (#215/505)

Other Information

johnyf/tool_lists has 4 open pull requests on Github, 17 pull requests have been merged over the lifetime of the repository.

All Topics

tools smtlib synthesis verification formal-methods model-checking theorem-prover proof-assistant static-analysis theorem-proving satisfiability-solver binary-decision-diagrams satisfiability-modulo-theories

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

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

Yearly Commits

Commits to the default branch (main) per year

Issue History

Github Issues disabled for this repository

Languages

We don't have any language data for this repository

It's a mystery

updated: 2024-11-05 @ 01:00pm, id: 13052738 / R_kgDOAMcrQg