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.
🚀 Native iOS and Android Apps with JavaScript
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
Native Hyperloop examples in Titanium.
Bootstrap Button widget for Appcelerator (Titanium)
Patchwork now rename to [alloy], alloy is a simple toolkit that makes your iOS / OS X apps development more easier.
MLMD: a programming-free AI platform to predict and design materials
[UNMAINTAINED] Alloy TableView Form Widget