Popular repositories Loading

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 switch…

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

Alloy 144 30
Website for Alloytools

HTML 13 16

Showing 10 of 11 repositories

org.alloytools.alloy Public
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.

AlloyTools/org.alloytools.alloy's past year of commit activity
AlloyTools/alloytools.github.io's past year of commit activity

HTML
13
MIT
16 3 13
Updated Nov 3, 2025
models Public
A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

AlloyTools/models's past year of commit activity

Alloy
144
Apache-2.0
30 0 2
Updated Jun 16, 2025
AlloyTools/homebrew-core's past year of commit activity

Ruby
0
BSD-2-Clause
14,123 0 0
Updated Mar 17, 2025
AlloyTools/electrod's past year of commit activity

OCaml
2 5 0 0
Updated Jan 6, 2025
AlloyTools/cadical's past year of commit activity

C++
0
MIT
186 0 0
Updated Mar 6, 2024
AlloyTools/minisatprover's past year of commit activity

C++
0 15 0 0
Updated Jun 22, 2023
AlloyTools/gini's past year of commit activity

Go
1
MIT
18 0 0
Updated Jun 21, 2023
AlloyTools/lingeling's past year of commit activity

C
0
MIT
31 0 0
Updated Jun 21, 2023
AlloyTools/minisat's past year of commit activity

C++
0 422 0 0
Updated Jun 21, 2023

This organization has no public members. You must be a member to see who’s a part of this organization.

Loading…

Loading…