# johnyf/tool\_lists

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

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

johnyf/tool\_lists, dépôt open source à 396 étoiles sur GitHub. Carte Alpha de RepoMasters. Links to tools by subject

| Champ | Valeur |
| --- | --- |
| Propriétaire | [johnyf](https://repo.masters-masters.com/owners/johnyf) |
| Étoiles | 396 |
| Forks | 83 |
| Langage | Sans langage |
| Licence | CC0-1.0 |
| Création | 2013 |
| Sujets | tools, verification, synthesis, static-analysis, binary-decision-diagrams, model-checking, theorem-proving, proof-assistant, satisfiability-solver, satisfiability-modulo-theories |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [johnyf/tool\_lists](https://github.com/johnyf/tool_lists) |

## Fiche du dépôt

Links to tools by subject

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de johnyf

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.