Skip to content
@AlloyTools

AlloyTools

Popular repositories Loading

  1. org.alloytools.alloy 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 switch…

    Java 872 149

  2. models models Public

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

    Alloy 143 30

  3. alloytools.github.io alloytools.github.io Public

    Website for Alloytools

    HTML 13 16

  4. electrod electrod Public

    Forked from grayswandyr/electrod

    Formal analysis for the Electrod formal specification language

    OCaml 2

  5. gini gini Public

    Forked from go-air/gini

    A fast SAT solver

    Go 1 1

  6. minisat minisat Public

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++ 1

Repositories

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
    Java 872 149 47 4 Updated Jun 11, 2026
  • alloytools.github.io Public

    Website for Alloytools

    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 143 Apache-2.0 30 0 2 Updated Jun 16, 2025
  • homebrew-core Public Forked from Homebrew/homebrew-core

    🍻 Default formulae for the missing package manager for macOS (or Linux)

    AlloyTools/homebrew-core's past year of commit activity
    Ruby 0 BSD-2-Clause 14,273 0 0 Updated Mar 17, 2025
  • electrod Public Forked from grayswandyr/electrod

    Formal analysis for the Electrod formal specification language

    AlloyTools/electrod's past year of commit activity
    OCaml 2 5 0 0 Updated Jan 6, 2025
  • cadical Public Forked from arminbiere/cadical

    CaDiCaL SAT Solver

    AlloyTools/cadical's past year of commit activity
    C++ 0 MIT 189 0 0 Updated Mar 6, 2024
  • minisatprover Public Forked from niklasso/minisatp

    The Pseudo-Boolean Solver MiniSat+

    AlloyTools/minisatprover's past year of commit activity
    C++ 0 15 0 0 Updated Jun 22, 2023
  • gini Public Forked from go-air/gini

    A fast SAT solver

    AlloyTools/gini's past year of commit activity
    Go 1 MIT 19 0 0 Updated Jun 21, 2023
  • lingeling Public Forked from arminbiere/lingeling

    Lingeling SAT Solver

    AlloyTools/lingeling's past year of commit activity
    C 0 MIT 31 0 0 Updated Jun 21, 2023
  • minisat Public Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    AlloyTools/minisat's past year of commit activity
    C++ 0 424 0 0 Updated Jun 21, 2023
View all repositories

People

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

Most used topics

Loading…