# AlloyTools/models

<https://repo.masters-masters.com/en/repos/AlloyTools/models>

[Home](https://repo.masters-masters.com/en) › [AlloyTools](https://repo.masters-masters.com/en/owners/AlloyTools) › [models](https://repo.masters-masters.com/en/repos/AlloyTools/models)

AlloyTools/models has 145 stars on GitHub. Its RepoMasters card: Prototype tier. A public repository to host Alloy models. This repository holds public models…

| Field | Value |
| --- | --- |
| Owner | [AlloyTools](https://repo.masters-masters.com/en/owners/AlloyTools) |
| Stars | 145 |
| Forks | 30 |
| Language | [Alloy](https://repo.masters-masters.com/en/languages/alloy) |
| License | Apache-2.0 |
| Created | 2017 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [AlloyTools/models](https://github.com/AlloyTools/models) |

## Repository

A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by AlloyTools

- [AlloyTools/org.alloytools.alloy · ★ 881 · Java · Beta](https://repo.masters-masters.com/en/repos/AlloyTools/org.alloytools.alloy)

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