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 54 public repositories matching this topic...
Native Hyperloop examples in Titanium.
-
Updated
Mar 6, 2024 - JavaScript
Bootstrap Button widget for Appcelerator (Titanium)
-
Updated
May 2, 2017 - JavaScript
[UNMAINTAINED] Alloy TableView Form Widget
-
Updated
Jun 9, 2020 - JavaScript
Titanium SDK development tools and UI package for the Pulsar text editor
-
Updated
Oct 30, 2025 - JavaScript
PurgeTSS is a toolkit designed to make it easier for Titanium developers to create visually attractive mobile apps. It offers features like customizable utility classes, support for icon fonts, a basic animation module, a simple grid system, and a "shades" command for generating custom colors.
-
Updated
Nov 20, 2025 - JavaScript
⭐ Axway Amplify module for using nativeloop with Appcelerator Titanium SDK Framework
-
Updated
Apr 11, 2022 - JavaScript
Reactive UI framework for Titanium Alloy
-
Updated
Jan 25, 2023 - JavaScript
Axway Amplify module that adds some enhancements for Appcelerator Titanium Alloy
-
Updated
May 17, 2023 - JavaScript
iPad popover-like component for Titanium Alloy projects
-
Updated
May 9, 2014 - JavaScript
A small library to get the URL of the desired YouTube video ID to use it natively in Ti.Media.VideoPlayer.
-
Updated
May 26, 2022 - JavaScript
Simple toast notification poping from the bottom of the screen on demand.
-
Updated
Oct 13, 2017 - JavaScript
JavaScript-based project for an eMSP and CPMSs (OCPP Server)
-
Updated
Jun 6, 2023 - JavaScript
Axway Amplify modules that to detect that a screenshot was taken on iOS with Appcelerator Titanium apps
-
Updated
May 17, 2023 - JavaScript
- Followers
- 4 followers
- Organization
- AlloyTools
- Website
- github.com/topics/alloy-analyzer
- Wikipedia
- Wikipedia