# AlloyTools/org.alloytools.alloy

<https://repo.masters-masters.com/en/repos/AlloyTools/org.alloytools.alloy>

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

AlloyTools/org.alloytools.alloy has 883 stars on GitHub. Its RepoMasters card: Beta tier. Alloy is a language for describing structures and a tool for…

| Field | Value |
| --- | --- |
| Owner | [AlloyTools](https://repo.masters-masters.com/en/owners/AlloyTools) |
| Stars | 883 |
| Forks | 151 |
| Language | [Java](https://repo.masters-masters.com/en/languages/java) |
| License | None |
| Created | 2017 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [AlloyTools/org.alloytools.alloy](https://github.com/AlloyTools/org.alloytools.alloy) |

## Repository

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by AlloyTools

- [AlloyTools/models · ★ 145 · Alloy · Prototype](https://repo.masters-masters.com/en/repos/AlloyTools/models)

## Nearby in Java

- [martin90s/ImagePicker · ★ 883 · Java · Beta](https://repo.masters-masters.com/en/repos/martin90s/ImagePicker)
- [RichardGong/PlayWithCompiler · ★ 883 · Java · Beta](https://repo.masters-masters.com/en/repos/RichardGong/PlayWithCompiler)
- [Cap-go/capacitor-updater · ★ 883 · Java · Beta](https://repo.masters-masters.com/en/repos/Cap-go/capacitor-updater)
- [samskivert/jmustache · ★ 883 · Java · Beta](https://repo.masters-masters.com/en/repos/samskivert/jmustache)
- [FluentLenium/FluentLenium · ★ 883 · Java · Beta](https://repo.masters-masters.com/en/repos/FluentLenium/FluentLenium)
- [kstyrc/embedded-redis · ★ 883 · Java · Beta](https://repo.masters-masters.com/en/repos/kstyrc/embedded-redis)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.