# johnyf/tool\_lists

<https://repo.masters-masters.com/en/repos/johnyf/tool_lists>

[Home](https://repo.masters-masters.com/en) › [johnyf](https://repo.masters-masters.com/en/owners/johnyf) › [tool\_lists](https://repo.masters-masters.com/en/repos/johnyf/tool_lists)

johnyf/tool\_lists has 396 stars on GitHub. Its RepoMasters card: Alpha tier. Links to tools by subject

| Field | Value |
| --- | --- |
| Owner | [johnyf](https://repo.masters-masters.com/en/owners/johnyf) |
| Stars | 396 |
| Forks | 83 |
| Language | No language |
| License | CC0-1.0 |
| Created | 2013 |
| Topics | tools, verification, synthesis, static-analysis, binary-decision-diagrams, model-checking, theorem-proving, proof-assistant, satisfiability-solver, satisfiability-modulo-theories |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [johnyf/tool\_lists](https://github.com/johnyf/tool_lists) |

## Repository

Links to tools by subject

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by johnyf

- [johnyf/openstreetmap · ★ 101 · MATLAB · Prototype](https://repo.masters-masters.com/en/repos/johnyf/openstreetmap)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.