#

alloy

In computer science and software engineering, Alloy is a declarative

specification language for expressing complex structural constraints and

behavior in a software system. Alloy provides a simple structural modeling tool

based on first-order logic. Alloy is targeted at the creation of micro-models

that can then be automatically checked for correctness. Alloy specifications

can be checked using the Alloy Analyzer.

Here are 210 public repositories matching this topic...

foundry-rs / foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

testing rust framework tooling ethereum dapp blockchain solidity fuzzing alloy eth evm seth dapptools mainnet-fork

Updated Jun 29, 2025
Rust

tidev / titanium-sdk

🚀 Native iOS and Android Apps with JavaScript & TypeScript

nodejs javascript android ios mobile cross-platform native titanium alloy hacktoberfest mobile-development

Updated Jun 20, 2025
Objective-C

s1ddok / Alloy

Make usage of Metal API a pleasure

swift metal gpu ml alloy metalkit metal-api

Updated Oct 8, 2024
Swift

Josh015 / Alloy

Alloy physical shader framework for Unity.

skin csharp unity shaders graphics unity3d transmission hlsl alloy shaderlab hdr custom-shaders

Updated Apr 17, 2018
ShaderLab

fizzbee-io / fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

prism ltl formal-methods alloy formal-verification formal-languages tla pluscal tla-plus tlaplus alloy-analyzer

Updated Jun 26, 2025
Python

alloy-rs / trie

Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles

ethereum blockchain merkle trie mpt rlp alloy foundry ethereum-blockchain merkle-patricia-trie ethereum-rlp reth foundry-rs triehash alloy-rs rust-ethereum merkle-patricia

Updated Jun 20, 2025
Rust

jasonkneen / TiCons-CLI

Command-Line version of TiCons for generating icons and splash screens for Titanium & Alloy projects.

android ios icons titanium unmaintained alloy

Updated Apr 12, 2024
JavaScript

KhronosGroup / Vulkan-MemoryModel

Vulkan Memory Model

vulkan alloy litmus-test vulkan-memorymodel

Updated Jun 26, 2025
C++

leruaa / alloy-mev

An Alloy transport to send transaction bundles via Flashbots.

alloy mev flashbots

Updated Oct 28, 2024
Rust

trimethyl / trimethyl

Titanium toolchain with superpower and wrapper around bugs.

framework titanium alloy

Updated May 26, 2022
JavaScript

FokkeZB / nl.fokkezb.loading

The widget provides a simple loading mask that can be easily styled and configured.

android ios titanium appcelerator archived alloy axway

Updated Mar 18, 2018
JavaScript

manumaticx / circularprogress

Circular Progressbar Widget for Alloy

widget titanium alloy

Updated Sep 30, 2017
JavaScript

tidev / hyperloop-examples

Native Hyperloop examples in Titanium.

javascript android ios native sample-app alloy hyperloop

Updated Mar 6, 2024
JavaScript

alloy-rs / chains

Canonical type definitions for EIP-155 chains

rust ethereum alloy

Updated Jun 9, 2025
Rust

eliegkassouf / nl.fokkezb.button

Bootstrap Button widget for Appcelerator (Titanium)

javascript widget titanium appcelerator alloy custom-fonts button-widget

Updated May 2, 2017
JavaScript

Jiaxuan-Ma / MLMD

MLMD: a programming-free AI platform to predict and design materials

machine-learning material-design regression classification alloy transfer-learning feature-engineering active-learning multiobjective ai-platform streamlit surrogate-optimization

Updated Feb 25, 2025
Python

FokkeZB / Tracker

Tracker 4 Compassion

app titanium appcelerator alloy

Updated Aug 7, 2018
JavaScript

alexlee002 / alloy

Patchwork now rename to [alloy], alloy is a simple toolkit that makes your iOS / OS X apps development more easier.

macos activerecord ios alloy patchwork model-mapping network-wrapper

Updated Dec 4, 2017
Objective-C

codelab-monitoring

qclaogui / codelab-monitoring

Little helper to run Grafana LGTMP Stack(Loki Grafana Tempo Mimir Pyroscope) in Docker or Kubernetes.

docker kubernetes monitoring alloy loki tempo observability mimir monitoring-mixins pyroscope grafana-alloy

Updated Jun 27, 2025
Makefile

cairoeth / rustmate

🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.

rust ethereum stylus alloy arbitrum

Updated Jan 12, 2024
Rust

Followers: 4 followers
Organization: AlloyTools
Website: github.com/topics/alloy-analyzer
Wikipedia: Wikipedia