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 312 public repositories matching this topic...
🚀 Native iOS and Android Apps with JavaScript & TypeScript
-
Updated
Jul 23, 2026 - Objective-C
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
-
Updated
Jul 8, 2026 - Go
Rust SDK for ERC-8004: Onchain AI agent execution registry.
-
Updated
Jul 20, 2026 - Rust
Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
-
Updated
Jun 29, 2026 - Rust
Observability: Grafana, Loki, Alloy, Beyla, Promtail, Tempo, Prometheus, Mimir, Pyroscope , LGTM Stack, logs, metrics and tracing
-
Updated
Jul 22, 2026 - Makefile
MatDesign: a programming-free AI platform to predict and design materials
-
Updated
Dec 24, 2025 - Python
Native Hyperloop examples in Titanium.
-
Updated
Mar 6, 2024 - JavaScript
- Followers
- 4 followers
- Organization
- AlloyTools
- Website
- github.com/topics/alloy-analyzer
- Wikipedia
- Wikipedia