Repository navigation
Alloy Analyzer
- Repository
- AlloyTools
- Website
- alloytools.org
- Wikipedia
- 维基百科
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.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
🚀 Native iOS and Android Apps with JavaScript & TypeScript
Alloy physical shader framework for Unity.
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
Command-Line version of TiCons for generating icons and splash screens for Titanium & Alloy projects.
An Alloy transport to send transaction bundles via Flashbots.
Titanium toolchain with superpower and wrapper around bugs.
The widget provides a simple loading mask that can be easily styled and configured.
Circular Progressbar Widget for Alloy
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
🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.
A command line tool written in Python/C++ for finding optimized SQS structures