ProxySite

#

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 264 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 bytecode compiler tooling ethereum dapp blockchain solidity fuzzing compilers alloy eth evm ir

Updated Feb 24, 2026
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 Feb 24, 2026
Objective-C

s1ddok / Alloy

Make usage of Metal API a pleasure

swift metal gpu ml alloy metalkit metal-api

Updated Oct 8, 2024
Swift

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 Feb 18, 2026
Python

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

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 Feb 24, 2026
Rust

saidsef / grafana-loki-on-k8s

Observability: Grafana, Loki, Alloy, Beyla, Promtail, Tempo, Prometheus, Mimir, Pyroscope , LGTM Stack, logs, metrics and tracing

monitoring grafana logging prometheus alloy loki kubernetes-monitoring tempo observability mimir tracing-collector tracing-applications promtail kubernetes-tracing lgtm-stack beyla

Updated Feb 23, 2026

qntx / erc8004

ERC-8004 Trustless Agents Rust SDK.

ethereum alloy trustless agentic-ai erc8004

Updated Feb 23, 2026
Rust

leruaa / alloy-mev

An Alloy transport to send transaction bundles via Flashbots.

alloy mev flashbots

Updated Sep 13, 2025
Rust

KhronosGroup / Vulkan-MemoryModel

Vulkan Memory Model

vulkan alloy litmus-test vulkan-memorymodel

Updated Jun 26, 2025
C++

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

alloy-rs / chains

Canonical type definitions for EIP-155 chains

rust ethereum alloy

Updated Feb 23, 2026
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

Jiaxuan-Ma / MatDesign

MatDesign: 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 Dec 24, 2025
Python

tidev / hyperloop-examples

Native Hyperloop examples in Titanium.

javascript android ios native sample-app alloy hyperloop

Updated Mar 6, 2024
JavaScript

phuchoang2603 / realtime-credit-card-fraud-detection

Scalable Realtime Credit Card Fraud Detection (CCFD) system

kubernetes terraform grafana alloy traefik loki tempo argocd

Updated Oct 29, 2025
Smarty

eliegkassouf / nl.fokkezb.button

Bootstrap Button widget for Appcelerator (Titanium)

javascript widget titanium appcelerator alloy custom-fonts button-widget

Updated May 2, 2017
JavaScript

FokkeZB / Tracker

Tracker 4 Compassion

app titanium appcelerator alloy

Updated Aug 7, 2018
JavaScript

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