Repositories list

• alloytools.github.io

  Public
  Website for Alloytools

  HTML

  •

  MIT License

  •15•13•3•1•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•138•0•1•Updated Jun 16, 2025Jun 16, 2025

• 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.

  Java

  •

  Other

  •134•807•39•1•Updated Jun 13, 2025Jun 13, 2025

• homebrew-core

  Public

  AlloyTools/homebrew-core’s past year of commit activity
  🍻 Default formulae for the missing package manager for macOS (or Linux)

  Ruby

  •

  BSD 2-Clause "Simplified" License

  •13k•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

  •163•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

  •17•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

  •410•0•0•0•Updated Jun 21, 2023Jun 21, 2023

• glucose

  Public
  The glucose SAT solver

  C++

  •

  MIT License

  •21•0•0•0•Updated Jun 21, 2023Jun 21, 2023