Skip to content

@AlloyTools AlloyTools

All

    Repositories list

    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 mec…
      Java
      •
      Other
      •149•873•47•4•Updated Jun 11, 2026Jun 11, 2026

    • alloytools.github.io

      Public
      Website for Alloytools
      HTML
      •
      MIT License
      •16•13•3•13•Updated Nov 3, 2025Nov 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.
      Alloy
      •
      Apache License 2.0
      •30•143•0•2•Updated Jun 16, 2025Jun 16, 2025

    • homebrew-core

      Public
      🍻 Default formulae for the missing package manager for macOS (or Linux)
      Ruby
      •
      BSD 2-Clause "Simplified" License
      •14k•0•0•0•Updated Mar 17, 2025Mar 17, 2025

    • electrod

      Public
      Formal analysis for the Electrod formal specification language
      OCaml
      •
      Other
      •5•2•0•0•Updated Jan 6, 2025Jan 6, 2025

    • cadical

      Public
      CaDiCaL SAT Solver
      C++
      •
      MIT License
      •189•0•0•0•Updated Mar 6, 2024Mar 6, 2024

    • minisatprover

      Public
      The Pseudo-Boolean Solver MiniSat+
      C++
      •
      Other
      •13•0•0•0•Updated Jun 22, 2023Jun 22, 2023

    • gini

      Public
      A fast SAT solver
      Go
      •
      MIT License
      •19•1•0•0•Updated Jun 21, 2023Jun 21, 2023

    • lingeling

      Public
      Lingeling SAT Solver
      C
      •
      MIT License
      •30•0•0•0•Updated Jun 21, 2023Jun 21, 2023

    • minisat

      Public
      A minimalistic and high-performance SAT solver
      C++
      •
      Other
      •420•0•0•0•Updated Jun 21, 2023Jun 21, 2023

    • glucose

      Public
      The glucose SAT solver
      C++
      •
      MIT License
      •27•0•0•0•Updated Jun 21, 2023Jun 21, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.