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 194 public repositories matching this topic...
🚀 Native iOS and Android Apps with JavaScript
-
Updated
Mar 12, 2025 - Objective-C
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
-
Updated
Mar 11, 2025 - Python
Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
-
Updated
Feb 20, 2025 - Rust
Native Hyperloop examples in Titanium.
-
Updated
Mar 6, 2024 - JavaScript
Bootstrap Button widget for Appcelerator (Titanium)
-
Updated
May 2, 2017 - JavaScript
Patchwork now rename to [alloy], alloy is a simple toolkit that makes your iOS / OS X apps development more easier.
-
Updated
Dec 4, 2017 - Objective-C
MLMD: a programming-free AI platform to predict and design materials
-
Updated
Feb 25, 2025 - Python
- Followers
- 4 followers
- Organization
- AlloyTools
- Website
- alloytools.org
- Wikipedia
- Wikipedia