GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Build software better, together

#

alloy

Star
alloy-analyzer logo

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 367 public repositories matching this topic...

Language: All
Filter by language
All 367 JavaScript 61 Rust 54 Alloy 43 Python 32 Go 22 Java 20 TypeScript 17 Shell 15 TeX 14 HTML 7
Sort: Most stars
Sort options
Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

foundry-rs / foundry

Star 10.8k

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

testing rust framework bytecode compiler toolkit tooling ethereum dapp smart-contracts blockchain solidity fuzzing compilers alloy eth tempo evm ir vyper
  • Updated Nov 12, 2026
  • Rust

tidev / titanium-sdk

Sponsor
Star 2.8k

🚀 Native iOS and Android Apps with JavaScript & TypeScript

nodejs javascript android ios mobile cross-platform native titanium alloy hacktoberfest mobile-development
  • Updated Nov 11, 2026
  • Objective-C

grafana / alloy-scenarios

Star 400

A collection of working Alloy scenarios

kubernetes sdk tutorials alloy keep otel
  • Updated Nov 12, 2026
  • Python

s1ddok / Alloy

Star 390

Make usage of Metal API a pleasure

swift metal gpu ml alloy metalkit metal-api
  • Updated Oct 8, 2024
  • Swift

fizzbee-io / fizzbee

Star 377

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

testing prism ltl property-based-testing testing-tools formal-methods alloy formal-verification formal-languages model-based-testing tla model-based-development pluscal tla-plus tlaplus model-based-systems-engineering alloy-analyzer conformance-testing
  • Updated Nov 10, 2026
  • Go

Josh015 / Alloy

Star 275

Alloy physical shader framework for Unity.

skin csharp unity shaders graphics unity3d transmission hlsl alloy shaderlab hdr custom-shaders
  • Updated Apr 17, 2018
  • ShaderLab

qntx / erc8004

Sponsor
Star 166

ERC-8004 Trustless Agents for TypeScript and Rust

ethereum alloy trustless agentic-ai erc8004
  • Updated Nov 8, 2026
  • TypeScript

alloy-rs / trie

Star 163

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 Nov 9, 2026
  • Rust

saidsef / grafana-loki-on-k8s

Sponsor
Star 127

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 Nov 9, 2026
  • Makefile

leruaa / alloy-mev

Star 121

An Alloy transport to send transaction bundles via Flashbots.

alloy mev flashbots
  • Updated Sep 13, 2025
  • Rust

KhronosGroup / Vulkan-MemoryModel

Star 117

Vulkan Memory Model

vulkan alloy litmus-test vulkan-memorymodel
  • Updated Oct 6, 2026
  • C++

jasonkneen / TiCons-CLI

Sponsor
Star 109

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

Star 108

Canonical type definitions for EIP-155 chains

rust ethereum alloy
  • Updated Nov 9, 2026
  • Rust

trimethyl / trimethyl

Star 100

Titanium toolchain with superpower and wrapper around bugs.

framework titanium alloy
  • Updated May 26, 2022
  • JavaScript

FokkeZB / nl.fokkezb.loading

Star 92

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

Star 87

Circular Progressbar Widget for Alloy

widget titanium alloy
  • Updated Sep 30, 2017
  • JavaScript

Jiaxuan-Ma / MatDesign

Star 84

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

dgehringer / sqsgenerator

Star 80

A tool for finding optimized SQS structures tool written in C++

random openmp mpi python3 alloy materials-science
  • Updated Nov 7, 2026
  • C++

tidev / hyperloop-examples

Sponsor
Star 78

Native Hyperloop examples in Titanium.

javascript android ios native sample-app alloy hyperloop
  • Updated Mar 6, 2024
  • JavaScript

eliegkassouf / nl.fokkezb.button

Star 72

Bootstrap Button widget for Appcelerator (Titanium)

javascript widget titanium appcelerator alloy custom-fonts button-widget
  • Updated May 2, 2017
  • JavaScript
Followers
4 followers
Organization
AlloyTools
Website
github.com/topics/alloy-analyzer
Wikipedia
Wikipedia
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.